![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Cock.
Friday 17 April 2026, 14:00-15:00
lads2's list
A personal list of talks.
Contact: LΓ©o Stefanesco
4 upcoming talks View 1722 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Computer Laboratory Security Seminar
The Epstein Files vs ExtremeBB
Logic and Semantics Seminar (Computer Laboratory)
Non-Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Formalisation of mathematics with interactive theorem provers
Faithful Logic Embeddings in HOL: Deep and Shallow, Propositional and Quantified
Computer Laboratory Systems Research Group Seminar
Run Time Reoptimization for Modern Heterogenous Systems
β οΈ In part a round-table discussion; this talk will not be online/hybrid or recorded
RSE Seminars
High-performance computing with the Julia language
Computer Laboratory Security Seminar
Self-Auditable Key Transparency at Scale
Logic and Semantics Seminar (Computer Laboratory)
Layered monoidal theories
Formalisation of mathematics with interactive theorem provers
The Serre finiteness theorem in Cubical Agda
Computer Laboratory Systems Research Group Seminar
Automatically Formally Verified Hardware using Aristotle
Computer Laboratory Security Seminar
Digital platforms and health disinformation
Logic and Semantics Seminar (Computer Laboratory)
The Cognitive and Human Factors of Formal Methods
Formalisation of mathematics with interactive theorem provers
Certifying Synthetic Mathematics in Lean
Formalisation of mathematics with interactive theorem provers
HoTTLean: Semantics of HoTT in Lean
Computer Laboratory Security Seminar
Abusability of Automation Apps in Intimate Partner Violence
Logic and Semantics Seminar (Computer Laboratory)
Nitro Isolation Engine: formally verifying a production hypervisor
RSE Seminars
UBiKuity: Trying to get RSE right on the first try
Formalisation of mathematics with interactive theorem provers
Aristotle, an AI theorem prover using Lean
RSE Seminars
RO-Crate: Packaging research outputs with their metadata for reproducibility across domains
SANDWICH Seminar (Computer Laboratory)
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Formalisation of mathematics with interactive theorem provers
Lean4Less: Translating Lean to Smaller Theories via an Extensional-to-Intensional Translation
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Formalisation of mathematics with interactive theorem provers
Integrating Formal and Informal Reasoning
RSE Seminars
From Bottlenecks to Breakthroughs: Understanding GPU Performance with NVIDIA Profiling and Debugging Tools
SANDWICH Seminar (Computer Laboratory)
Decision procedures for parametric multi-width bitvectors
Logic and Semantics Seminar (Computer Laboratory)
Semantics for Reactive Probabilistic Programming
Formalisation of mathematics with interactive theorem provers
Combining Two Representations of Matrices for a Formalization of the Perron-Frobenius Theorem
RSE Seminars
Lost software, Polar Research Ships, Antarctica, and Doom: Rescuing 30+ years of raw scientific vessel underway data
SANDWICH Seminar (Computer Laboratory)
Soteria and Compositional Symbolic Execution Γ la Carte
Formalisation of mathematics with interactive theorem provers
Human oriented tools for theorem proving in Lean
RSE Seminars
Automatic differentiation - an RSE's eye view
Computer Laboratory Security Seminar
Examining Shocks to Ransomware Groups: The Effects of Law Enforcement Interventions and Internal Disputes on Leak Site Uptime
compiler socials
Full Stack Verification of CHERI systems
Computer Laboratory Systems Research Group Seminar
Two talk double feature: NetFridgeS and The Small World Web of AI
β οΈ This is a double-header (two talks for the price of one)
Computer Laboratory Systems Research Group Seminar
Two talk double feature: NetFridgeS and The Small World Web of AI
β οΈ NOTE LOCATION/TIME - This is a double-header (two talks for the price of one)
Logic and Semantics Seminar (Computer Laboratory)
Liberating synthetic quasi-coherence from syntax
Formalisation of mathematics with interactive theorem provers
Lambda-Superposition for Successful Hammering
Computer Laboratory Systems Research Group Seminar
Specializing Reinforcement Learning Techniques for Database Systems
Computer Laboratory Systems Research Group Seminar
Fast and Accurate Flow Mining in High-Speed Networks with Sketches
β οΈ Please note unusual SRG/NETOS time / location.
Computer Laboratory Security Seminar
Catch Me If You Scan: A Longitudinal Analysis of Stalkerware Evasion Tactics
Logic and Semantics Seminar (Computer Laboratory)
Cospans of finite sets
Formalisation of mathematics with interactive theorem provers
A Lean Tactic to Automatically Generalize Proofs
RSE Seminars
Portable AI software with PyTorch and Lightning
RSE Seminars
Building Reproducible Machine Learning Pipelines for inference of Galaxy Properties at Scale
Computer Laboratory Security Seminar
Scalable and Verifiable Carbon Accounting in Supply Chains: Towards an Integrated Framework
Logic and Semantics Seminar (Computer Laboratory)
The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem
Formalisation of mathematics with interactive theorem provers
Using interactive theorem provers in physics
RSE Seminars
SerialKVM - the cheapest Software KVM
Logic and Semantics Seminar (Computer Laboratory)
Semiring Semantics: Algebraic Properties vs. Logical Results
Formalisation of mathematics with interactive theorem provers
The Road to Formalising 8-Dimensional Sphere Packing in Lean
RSE Seminars
Chunked file formats for massive imaging datasets
Logic and Semantics Seminar (Computer Laboratory)
On Solution Discovery via Reconfiguration
ack55's list
Coinductive predicates in Lean
Logic and Semantics Seminar (Computer Laboratory)
Fibred models of dual-context type theory and internal universes in models of HoTT
Computer Laboratory Computer Architecture Group Meeting
Fault-Tolerant System-on-Chip Design for Harsh Space Environments
β οΈ Note unusual time
compiler socials
MLIR (Un)School Meets UK Compiler Community: Public Workshop
Computer Laboratory Systems Research Group Seminar
Adaptive Resource Allocation for Low-Latency LLM Serving in Dynamic Environments
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
Computer Laboratory Security Seminar
Modelling the language of extremist communities
Computer Laboratory Security Seminar
Trio of talks: actionable security and privacy, security and privacy perceptions in South Asia, and reproductive security and privacy on TikTok in the post-Roe era
Computer Laboratory Security Seminar
"Please Verify": How Human Behavior Undermines Blockchain Security
Formalisation of mathematics with interactive theorem provers
Formalising the Multigraded Proj Construction in Lean 4
Computer Laboratory Security Seminar
Systems & Cryptography Research in Defense of Democracy
Logic and Semantics Seminar (Computer Laboratory)
A unified treatment of commuting tensor products
compiler socials
Translation Validation for LLVM's AArch64 Backend
Computer Laboratory Security Seminar
Safer (cyber)spaces: Reconfiguring Digital Security Towards Solidarity
Computer Laboratory Computer Architecture Group Meeting
More ARMs than arms: From Sunk to Silicon Supremacy
SANDWICH Seminar (Computer Laboratory)
Dependent Linear Type Theory via Bunched(less) Implications
SANDWICH Seminar (Computer Laboratory)
Confluence of Term Rewriting Systems with Variable Binding
SANDWICH Seminar (Computer Laboratory)
Executable Specification of a Production Hypervisor
SANDWICH Seminar (Computer Laboratory)
Type Checking is Proof Reductions in Classical Linear Logic
SANDWICH Seminar (Computer Laboratory)
SANDWICH Day
SANDWICH Seminar (Computer Laboratory)
An Invitation to Synthetic Domain Theory
Logic and Semantics Seminar (Computer Laboratory)
Aeneas: Rust Verification by Functional Translation
Formalisation of mathematics with interactive theorem provers
Universal Diophantine Equations in Isabelle
Computer Laboratory Security Seminar
007: End-to-End Encrypted Audio Calls via Blind Audio Mixing
SANDWICH Seminar (Computer Laboratory)
Automated Methods for Logic-Based Higher-Order Program Verification
Computer Laboratory Systems Research Group Seminar
AI Meets Economics: The Case of Auction-Assisted AI Systems in Cloud-Edge Continuum
Formalisation of mathematics with interactive theorem provers
Completeness Theorems for Variations of Higher-Order Logic
β οΈ CANCELLED
RSE Seminars
Fortitude: A Modern Fortran Linter
tcg40's list
AI Accelerators 101
Computer Laboratory Security Seminar
Two Tales of End-to-End Encryption
SANDWICH Seminar (Computer Laboratory)
Heyting Algebras and Higher-Order Logic
RSE Seminars
A Modular OCR Solution for Logographic Scripts: From Labeling to Recognition and User Interface Design
Computer Laboratory Security Seminar
Harnessing the Power, Managing the Risk: The Future of AI, Data, and Cybersecurity
SANDWICH Seminar (Computer Laboratory)
PNVI-ae-udi: the last (most recent) C memory object model
Logic and Semantics Seminar (Computer Laboratory)
A topological proof of the H-colouring dichotomy
Formalisation of mathematics with interactive theorem provers
Algebraic Geometry in Mathlib
Computer Laboratory Security Seminar
Kintsugi: A Decentralized E2EE Key Recovery Protocol
SANDWICH Seminar (Computer Laboratory)
A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors
Formalisation of mathematics with interactive theorem provers
Formalizing Fermat: an update
Computer Laboratory Systems Research Group Seminar
The Case for Decentralized Scheduling in Modern Datacenters
SANDWICH Seminar (Computer Laboratory)
Toward a liquid call-by-push-value
Computer Laboratory Computer Architecture Group Meeting
Equality Saturation and Industrial Circuit Design
Logic and Semantics Seminar (Computer Laboratory)
On morphisms between diagrams, and strictification of (β,n)-categories
compiler socials
User-extensible and Productive Programming of Specialized Hardware
Computer Laboratory Systems Research Group Seminar
Shape-shifting Elephants: Multi-modal Transport for Integrated Research Infrastructure
Computer Laboratory Systems Research Group Seminar
Mitigating the Risks of Metastable Failures in Distributed Systems
Logic and Semantics Seminar (Computer Laboratory)
Interventions and Counterfactuals for the Working Programmer
SANDWICH Seminar (Computer Laboratory)
The 2-Category of Graded Monads
Logic and Semantics Seminar (Computer Laboratory)
Number of quantifiers in 3-variable logic on linear orders
Formalisation of mathematics with interactive theorem provers
Verified Unsolvability of Temporal Planning
Computer Laboratory Security Seminar
Fighting cancer and fake news: A battle against misinformation
SANDWICH Seminar (Computer Laboratory)
A Typed, Algebraic Approach to Parsing
Computer Laboratory Security Seminar
βTo Report or Not to Report: is that the Question?β Exploring Young People's Reporting Practices of Illicit Drug Ads on Social Media
Formalisation of mathematics with interactive theorem provers
Formal verification of the 5th Busy Beaver value
RSE Seminars
Project management by and for RSEs
Formalisation of mathematics with interactive theorem provers
Why do I write proofs?
β οΈ NOTE UNUSUAL DAY
tcg40's list
CASCADE Poster Social (+ Compiler Tech Talk)
SANDWICH Seminar (Computer Laboratory)
Skew structure in categories
Logic and Semantics Seminar (Computer Laboratory)
Axiomatization of infinity-categories
Computer Laboratory Security Seminar
Towards a Faster Finality Protocol for Ethereum
Logic and Semantics Seminar (Computer Laboratory)
CRIS: The power of imagination in specification and verification
SANDWICH Seminar (Computer Laboratory)
Free algebras for free theories
Computer Laboratory Security Seminar
Challenges and tensions around online safety, security and privacy
RSE Seminars
The Rise of Self-Driving Labs: Automation of Scientific Workflows with Agentic Artificial Intelligence
Computer Laboratory Security Seminar
Downvoted to Oblivion: Censorship in Online, LGBTQ+ Communities
Formalisation of mathematics with interactive theorem provers
Formalising Brauer Group and Group Cohomology in Lean4
Computer Laboratory Computer Architecture Group Meeting
HPCA, CGO & CC 2025 practice presentations
Computer Laboratory Security Seminar
Physical-Layer Security of Satellite Communications Links
SANDWICH Seminar (Computer Laboratory)
Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic
Formalisation of mathematics with interactive theorem provers
Algebraising foundations of elliptic curves
compiler socials
Equality Saturation in a Real-World Machine Learning Compiler
Wednesday Seminars - Department of Computer Science and Technology
Hardware Datapath: For Machine Learning and Beyond
Computer Laboratory Security Seminar
Designing Counter Strategies against Online Harms
SANDWICH Seminar (Computer Laboratory)
Generalised J rules and simultaneous pattern matching of equalities
Formalisation of mathematics with interactive theorem provers
Formalisation of Combinatorial Optimisation in Isabelle/HOL: Network Flows
Computer Laboratory Security Seminar
Researchersβ experiences with vulnerability disclosures
SANDWICH Seminar (Computer Laboratory)
What does it take to certify a conversion checker?
Computer Laboratory Security Seminar
Police responses to young peopleβs experiences of cyberstalking
Formalisation of mathematics with interactive theorem provers
Prospects for formalizing the theory of weak infinite-dimensional categories
Computer Laboratory Systems Research Group Seminar
The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems
SANDWICH Seminar (Computer Laboratory)
The Denotational Semantics of SSA
Formalisation of mathematics with interactive theorem provers
Decision Procedures for Bitvector Reasoning in Lean
Computer Laboratory Systems Research Group Seminar
OSDB: Turning the Tables on Kernel Data
SANDWICH Seminar (Computer Laboratory)
Decision Procedures for Bitvector Reasoning in Lean
Computer Laboratory Security Seminar
A detailed analysis of how locks and physical security become vulnerable to attack
Formalisation of mathematics with interactive theorem provers
How to teach Fourier analysis to a large library of formalised mathematics
Computer Laboratory Security Seminar
Beyond Whack-A-Mole: Disrupting Online Crime and Harms through Law Enforcement and Industry Efforts
SANDWICH Seminar (Computer Laboratory)
Substitution, Normalization, and Formalization
Formalisation of mathematics with interactive theorem provers
Automatic Verification of BitVector Identities in SSA-Based Compiler IRs
Computer Laboratory Systems Research Group Seminar
Flow-based Encrypted Traffic Analysis
β οΈ https://teams.microsoft.com/l/meetup-join/19:meeting_ZDhlNGE0YTAtMDY5Mi00NGZhLTljOGEtM2ZiNGEyY2Y4Nzc2@thread.v2/0?context=%7B%22Tid%22:%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22,%22Oid%22:%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7D
RSE Seminars
Moving mesh methods in Firedrake
Computer Laboratory Security Seminar
Cyber security and privacy issues raised by mobile data extraction for evidential purposes.Β
SANDWICH Seminar (Computer Laboratory)
Mixed Linear-Cartesian Theories as Substitution Monoids
Computer Laboratory Security Seminar
Bluesky and the AT Protocol: Usable Decentralized Social Media
Formalisation of mathematics with interactive theorem provers
Computer Algebra and the Formalisation of New Mathematics
RSE Seminars
GitHub Essentials for Researchers
Computer Laboratory Computer Architecture Group Meeting
Automated Reasoning at AWS, and Applications in Cryptography
β οΈ Note unusual time
Computer Laboratory Security Seminar
On the critical path to implant backdoors and the effectiveness of potential mitigation techniques: Learnings from XZ
SANDWICH Seminar (Computer Laboratory)
Unrolling Lists
Computer Laboratory Systems Research Group Seminar
Programmable Kernel Abstractions Wanted for Fun (and Profit)!
Computer Laboratory Security Seminar
Design and Verification of Byzantine Fault Tolerant CRDTs
Formalisation of mathematics with interactive theorem provers
Formalizing the divided power envelope in Lean
Computer Laboratory Systems Research Group Seminar
Compiling Distributed System Models with PGo, and Beyond
Computer Laboratory Security Seminar
Federated Deep Learning for Intrusion Detection in Smart Critical Infrastructure
SANDWICH Seminar (Computer Laboratory)
Do You Really Understand Incompleteness?
Computer Laboratory Security Seminar
Tracking the Takes and Trajectories of News Narratives from Trustworthy and Worrisome Websites
Formalisation of mathematics with interactive theorem provers
A tour in (formalised) type theory
RSE Seminars
Supporting Digital Humanities Students
Computer Laboratory Security Seminar
Decision-making in cybercriminal underground spaces. Where to go, and why?
SANDWICH Seminar (Computer Laboratory)
Executable Separation Logic Specifications in CN
Formalisation of mathematics with interactive theorem provers
Equational theories project: metatheorems and how to formalise them
RSE Seminars
Talk Cancelled: Less is more
Computer Laboratory Security Seminar
Developing Technical Interventions for Technical Abuse
SANDWICH Seminar (Computer Laboratory)
Toward a Coq formalisation of the Arm architecture
SANDWICH Seminar (Computer Laboratory)
On the Operational Theory of the CPS-Calculus
Formalisation of mathematics with interactive theorem provers
New Foundations: the story of a large formalisation project
Computer Laboratory Systems Research Group Seminar
Modelling orchestration
RSE Seminars
An AI tool for Dementia.
SANDWICH Seminar (Computer Laboratory)
Traversing the Eckmann-Hilton Hyperclock
Formalisation of mathematics with interactive theorem provers
Computer environments for math problem solving
RSE Seminars
Open source research software project life cycles: understanding project maturity successes, and challenge events
Formalisation of mathematics with interactive theorem provers
Reasoning with Kan fillings about Morse reductions
Computer Laboratory Security Seminar
The Curious Case of Big Phishes in The Netherlands
SANDWICH Seminar (Computer Laboratory)
Some cool facts about dualities
RSE Seminars
Nonlinear Preconditioning for Implicit Solution of Discretized PDEs
β οΈ Note change of venue
Computer Laboratory Security Seminar
Latency-aware routing in mix networks
lc985's list
Cambridge Compiler Social Talks
Computer Laboratory Security Seminar
Data-Agnostic Model Poisoning to Manipulating Federated Learning
Computer Laboratory Systems Research Group Seminar
Compiling Distributed System Models with PGo, and Beyond
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Logic and Semantics Seminar (Computer Laboratory)
Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
Computer Laboratory Computer Architecture Group Meeting
Kanagawa: How Wavefront Threading Enables Effective High-Level Synthesis
β οΈ https://www.microsoft.com/en-us/research/people/dlo/
Computer Laboratory Systems Research Group Seminar
Picos β Interoperable effects based concurrency for OCaml
mb2663's list
Hyperblock Scheduling for Verified High-Level Synthesis
Computer Laboratory Systems Research Group Seminar
PaSh: Scaling out Shell Programs, Automatically
Formalisation of mathematics with interactive theorem provers
Alpha-Beta Pruning Explored, Extended and Verified
RSE Seminars
Time-parallel integration and phase averaging for the rotating shallow water equations on the sphere
Computer Laboratory Security Seminar
How Misinformation Creators (Ab)use Generative AI Tools
Computer Laboratory Security Seminar
The end of world as we know it
RSE Seminars
Who said using GPUs was straightforward? - Straightforward GPU programming in SYCL and OpenMP
Computer Laboratory Computer Architecture Group Meeting
For ML and With ML: The New Normal in System Design
Formalisation of mathematics with interactive theorem provers
Little theories for big formal proofs
Formalisation of mathematics with interactive theorem provers
Teaching using a proof assistant and controlled natural language
Computer Laboratory Systems Research Group Seminar
Towards identifying neglected, obsolete and abandoned IoT and OT devices
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Logic and Semantics Seminar (Computer Laboratory)
A selective and biased choice of techniques for building a distributed data store
Formalisation of mathematics with interactive theorem provers
Scientific Computing in Lean
Computer Laboratory Security Seminar
Automated detection of cryptocurrency investment scams at scale
Formalisation of mathematics with interactive theorem provers
Condensed Type Theory
RSE Seminars
Optimal approaches with Zig
Logic and Semantics Seminar (Computer Laboratory)
Comodule representations of Second-order functionals
β οΈ Note the unusual date and time.
Formalisation of mathematics with interactive theorem provers
Can a computer judge interestingness?
β οΈ (NOTE UNUSUAL DAY/TIME)
Computer Laboratory Security Seminar
A biography of Tor - a cultural and technological history of power, privacy, and global politics at the internet's core
Formalisation of mathematics with interactive theorem provers
Formalising Theory of Combinatorial Optimisation
β οΈ Online
RSE Seminars
Tagging Anglo-Saxon Stone Sculptures Using Multi-Label Image Classification ML Techniques
Computer Laboratory Security Seminar
Applications of proofs to network security
Computer Laboratory Security Seminar
Legal Concepts in Cybersecurity and Privacy for Digital & Smart Environments
Computer Laboratory Computer Architecture Group Meeting
Compiler and Architectural Support for Whole-System Persistence
Computer Laboratory Systems Research Group Seminar
Tech law vs tech design: why can't we be friends?
lc985's list
Democratizing Data Science by Leveraging Structure
Computer Laboratory Systems Research Group Seminar
A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications
Computer Laboratory Security Seminar
Data Poisoning and Fakes in Mobile, Web and Cyber Physical Systems
Formalisation of mathematics with interactive theorem provers
Lawvere Theories in Lean
β οΈ Online
Computer Laboratory Systems Research Group Seminar
Enabling Efficient and Scalable DRAM Read Disturbance Mitigation via New Experimental Insights into Modern DRAM Chips / Methodologies, Workloads, and Tools for Processing-in-Memory: Enabling the Adoption of Data-Centric Architectures.
Computer Laboratory Security Seminar
Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
Logic and Semantics Seminar (Computer Laboratory)
Choice Principles in Observational Type Theory
Computer Laboratory Computer Architecture Group Meeting
Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration
Computer Laboratory Computer Architecture Group Meeting
Representing Data Collections for Analysis and Transformation
Formalisation of mathematics with interactive theorem provers
Formalising (part of) the Diagonal Ramsey Paper
Computer Laboratory Security Seminar
How to Catch an AI Liar: Lie Detection in Black-Box LLMs by Asking Unrelated Questions
Logic and Semantics Seminar (Computer Laboratory)
Epimorphisms and Acyclic Types in Univalent Mathematics
Formalisation of mathematics with interactive theorem provers
The Mandelbrot set is connected (and other Lean explorations)
Computer Laboratory Systems Research Group Seminar
Using outbreak games to learn about real outbreaks
β οΈ Zoom link: https://cam-ac-uk.zoom.us/j/82748387727?pwd=QThrbVVkL2tJZnZOM2dRUUFnNVdqQT09 Meeting ID: 827 4838 7727 Passcode: 339671
Computer Laboratory Security Seminar
Characterizing Machine Unlearning through Definitions and Implementations
Computer Laboratory Computer Architecture Group Meeting
OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis
Formalisation of mathematics with interactive theorem provers
Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry
Computer Laboratory Systems Research Group Seminar
How debuggable is your (compiler-optimised) program?
RSE Seminars
Pydantic: A Package for Picky Python Programmers
Computer Laboratory Computer Architecture Group Meeting
Compiler Testing with Relaxed Memory Models with L. Geeson
Computer Laboratory Security Seminar
Owl - an augmented password-authenticated key exchange protocol
Logic and Semantics Seminar (Computer Laboratory)
Synthesis modulo oracles
Formalisation of mathematics with interactive theorem provers
Structures in dependent type theory
β οΈ Online
Computer Laboratory Security Seminar
Securing the WebPKI in Practice: A tour of the technologies, politics and open problems
Formalisation of mathematics with interactive theorem provers
How to prove Fermat's Last Theorem
β οΈ Online
RSE Seminars
NixOS: Pros and cons of truly reproducible builds
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
Computer Laboratory Security Seminar
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
Formalisation of mathematics with interactive theorem provers
Comparative Formalisation of Kneser's theorem in Isabelle/HOL and Lean
Computer Laboratory Security Seminar
One Protocol to Rule Them All? On Securing Interoperable Messaging
Logic and Semantics Seminar (Computer Laboratory)
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
Logic and Semantics Seminar (Computer Laboratory)
Towards Secure Distributed Choreographies
Computer Laboratory Security Seminar
A Comprehensive Study of the Extremist Narratives and the Role of Alternative Social Networks that Facilitate Radical Discourse
SANDWICH Seminar (Computer Laboratory)
A Denotational Approach to Release/Acquire Concurrency
Computer Laboratory Security Seminar
Two Sides of the Same Crime
RSE Seminars
Debugging HPC applications
Formalisation of mathematics with interactive theorem provers
Towards Autoformalization and Mathematical Reasoning using language models
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Testing GPU Memory Consistency at Large
Computer Laboratory Security Seminar
Differential Privacy: Theory to Practice for the 2020 US Census
Computer Laboratory Security Seminar
Securing Supply Chains with Compilers
Computer Laboratory Security Seminar
25 years of crypto wars and privacy tussles β where next?
Computer Laboratory Security Seminar
Human-producible Adversarial Examples
Computer Laboratory Security Seminar
Machine Learning needs Better Randomness Standards: Randomised Smoothing and PRNG-based attacks
Logic and Semantics Seminar (Computer Laboratory)
A categorical semantics for neural networks
Computer Laboratory Systems Research Group Seminar
DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing
RSE Seminars
How not to write a convection parameterisation code?
RSE Seminars
Teaching RSE for Digital Humanities
Computer Laboratory Security Seminar
Red teaming privacy-preserving systems using AI
Computer Laboratory Computer Architecture Group Meeting
Unlocking the Power of Data-Centric Acceleration for Modern Applications
Computer Laboratory Systems Research Group Seminar
Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
RSE Seminars
Sustainability at The Netherlands eScience Center
RSE Seminars
Widening Participation in the R Project
Computer Laboratory Security Seminar
Data, Identity and Governance: Evolution and Trajectory of Digital Public Infrastructure in India
SANDWICH Seminar (Computer Laboratory)
Computing inverses in higher categories
Computer Laboratory Systems Research Group Seminar
K9db: Privacy-Compliant Storage For Web Applications By Construction
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
SANDWICH Seminar (Computer Laboratory)
Type theoretic approaches to semistrictness
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
RSE Seminars
Code Execution during peer review with CODECHECK
Logic and Semantics Seminar (Computer Laboratory)
Software for Compositional Modeling
Computer Laboratory Security Seminar
CIA to AIC: Why Cyber Must Enable the Business
SANDWICH Seminar (Computer Laboratory)
Higher-Order Algebraic Effects and Handlers
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
RSE Seminars
A random walk through Julia
Computer Laboratory Security Seminar
A Tale of Two Internet (In)Security Problems
SANDWICH Seminar (Computer Laboratory)
A couple of things Iβve learned about algebraically universal categories
RSE Seminars
Facing the MUSIC: towards a robust and flexible research code for stellar hydrodynamics
SANDWICH Seminar (Computer Laboratory)
Generic bidirectional typing for dependent type theories
SANDWICH Seminar (Computer Laboratory)
Definitional Functoriality for Dependent (Sub)Types
SANDWICH Seminar (Computer Laboratory)
Polymorphic Subtyping with Polarisation: β Β± β
Computer Laboratory Security Seminar
On the Insecurity of PLC Systems
Computer Laboratory Computer Architecture Group Meeting
Modern Cache Prefetching and Page Size Aware Cache Prefetching
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
SQuadS: Self-Serve System Services for new Hardware-Software Cooperation
Hardware for Machine Learning
Tenstorrent - building AI/ML accelerators
Computer Laboratory Security Seminar
EviHunter: Identifying Digital Forensic Artifacts from Android Apps/Devices via Static & Dynamic Analysis + Androidβ’ App Forensic Artifacts Database
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
Computer Laboratory Systems Research Group Seminar
Memo: an incremental computation library that powers Dune
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Computer Laboratory Security Seminar
A View of the Dark Web through the Lens of NLP and Language Modeling
Formalisation of mathematics with interactive theorem provers
Roth numbers: Upper, lower bounds, and related constructions
β οΈ Note: different room, MR20 this time
Computer Laboratory Computer Architecture Group Meeting
Wally: Bridging he CPU Education-Implementation Gap
β οΈ Note unusual time
Computer Laboratory Security Seminar
The Unlearning Problem(s)
Logic and Semantics Seminar (Computer Laboratory)
Formalizing General Calculi with Binders in Rewriting Logic
Formalisation of mathematics with interactive theorem provers
Formalizing the change of variables formula for integrals in mathlib
β οΈ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Computer Laboratory Systems Research Group Seminar
Monitoring and Improving QoE for the home network via large scale CPE deployment.
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Logic and Semantics Seminar (Computer Laboratory)
RoboCert: A Formal Specification Notation for Robotic Software
Formalisation of mathematics with interactive theorem provers
Formalizing algebraic number theory, recent progress and future challenges
β οΈ Note: different room, MR20 this time
RSE Seminars
Benchmarking with ReFrame
Computer Laboratory Security Seminar
The Nym mixnet: Design and Evaluation
Formalisation of mathematics with interactive theorem provers
The leanest automata
β οΈ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Computer Laboratory Computer Architecture Group Meeting
Synthesizing Accelerators for FPGAs the Functional Way
Formalisation of mathematics with interactive theorem provers
Formalising ErdΕs and Larson: Ordinal Partition Theory
Computer Laboratory Systems Research Group Seminar
Past, Present and Future of Wireless Networking
RSE Seminars
Automated and Semi-Automated bug finding for Fortran
Logic and Semantics Seminar (Computer Laboratory)
Making concurrency functional
Formalisation of mathematics with interactive theorem provers
Explaining mathematics using formalized mathematics
β οΈ Hybrid talk (please see abstract for link)
Computer Laboratory Systems Research Group Seminar
In-Network Machine Learning for Market Prediction Using Limit Order Books
RSE Seminars
Packaging and Publishing your Python code
Computer Laboratory Security Seminar
The INCEL Movement: A New Form of Technology-Facilitated Abuse
Logic and Semantics Seminar (Computer Laboratory)
Compound Memory Models
Formalisation of mathematics with interactive theorem provers
Formalization of diagram chasing as a first-order logic in Coq
β οΈ Hybrid talk (please see abstract for link)
Computer Laboratory Security Seminar
Testing the Effectiveness of Targeted Financial Sanctions on Russia: Law or War?
Logic and Semantics Seminar (Computer Laboratory)
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
Formalisation of mathematics with interactive theorem provers
Smooth vector bundles in Lean
β οΈ Hybrid talk (please see abstract for link)
Computer Laboratory Systems Research Group Seminar
Insights into Routing on Service Addresses (ROSA)
Computer Laboratory Systems Research Group Seminar
Follow the Transistors, a New Approach to Systems Software
Logic and Semantics Seminar (Computer Laboratory)
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
Formalisation of mathematics with interactive theorem provers
Formalising modular forms, Eisenstein series and the statement of the modularity conjecture in Lean
Formalisation of mathematics with interactive theorem provers
The Locale-Centric Approach for Formalising Mathematical Hierarchies
Logic and Semantics Seminar (Computer Laboratory)
Graduality and Parametricity - Together again for the first time, for the second time
Logic and Semantics Seminar (Computer Laboratory)
Stochastic games and strategy complexity
Formalisation of mathematics with interactive theorem provers
[CANCELLED] Real Closed Field and Thom Encoding in Isabelle/HOL
β οΈ [CANCELLED, please check back for rescheduling]
Computer Laboratory Security Seminar
Algorithms and the criminal justice system: promises and challenges in deployment and research
Formalisation of mathematics with interactive theorem provers
Formalising TurΓ‘n's Graph Theorem in Isabelle/HOL
β οΈ Hybrid talk (please see abstract for link)
Computer Laboratory Security Seminar
On the motivations and challenges of affiliates involved in cybercrime
Logic and Semantics Seminar (Computer Laboratory)
The Functional Machine Calculus
Formalisation of mathematics with interactive theorem provers
Formalisation of the BalogβSzemerΓ©diβGowers Theorem in Isabelle/HOL
Computer Laboratory Security Seminar
No One to Blame, but... : Fear and Failure in Securing Large Organisations
Formalisation of mathematics with interactive theorem provers
From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics
Computer Laboratory Security Seminar
Binary Stars: How Crime Shapes Insurance and Insurance Shapes Crime
Formalisation of mathematics with interactive theorem provers
Some practical problems in formalising mathematics and how to solve them
β οΈ Hybrid talk (please see abstract for link)
Logic and Semantics Seminar (Computer Laboratory)
Bidirectional typing is not just an implementation technique
Formalisation of mathematics with interactive theorem provers
The Liquid Tensor Experiment
Computer Laboratory Security Seminar
Influence Policing: Mapping the Rise of Strategic Communications and Digital Behaviour Change within UK Law Enforcement and Security Services
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
When Concurrency Strikes
Formalisation of mathematics with interactive theorem provers
How Hilbert met Isabelle: Proof Between Generations
β οΈ Hybrid talk (please see abstract for link)
Formalisation of mathematics with interactive theorem provers
Formalised Mathematics: Obstacles and Achievements
Computer Laboratory Computer Architecture Group Meeting
Rivos Founder's Talk: Why RIsc-V? Why Open Source? Why is Architecture back?
β οΈ Note unusual time and location
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Computer Laboratory Security Seminar
A Sociotechnical Audit: Assessing Police use of Facial Recognition
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Computer Laboratory Systems Research Group Seminar
Consumer IoT devices Identification at the Edge
Computer Laboratory Security Seminar
The Security of Post-Quantum Telco Networks, or changing 10 billion door-locks in 197 countries
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Computer Laboratory Systems Research Group Seminar
Scene understanding in emergency response scenarios
Computer Laboratory Security Seminar
Bad men, good men, and loving women: Gender Constructions in the UKβs Online Action Counters Terrorism (ACT) Campaign
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
RSE Seminars
Rust: first impressions and rough guide
Computer Laboratory Security Seminar
Towards Meaningful Stochastic Defences in Machine Learning
Computer Laboratory Security Seminar
Picking on locks: early security, cybersecurity, and the sophisticated criminal trope.
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Computer Laboratory Systems Research Group Seminar
The Challenges of Controlling a Quantum Computer
RSE Seminars
Using SYCL kernels for Finite Element assembly
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
RSE Seminars
Using the LIKWID tool suite
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
RSE Seminars
A summary of the reproducibility initiative for SC21
Computer Laboratory Security Seminar
Secure and efficient networks
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Computer Laboratory Security Seminar
Technology-Facilitated Abuse: The Role of Tech in the Context of Intimate Partner Violence
Logic and Semantics Seminar (Computer Laboratory)
β-type theories and coherence problems
RSE Seminars
Latest RSE developments in RCS
Computer Laboratory Security Seminar
Generative Language Model, Deepfake, and Fake News 2.0: Scenarios and Implications
Logic and Semantics Seminar (Computer Laboratory)
Mixing finite and infinite structure
Logic and Semantics Seminar (Computer Laboratory)
Verification for free: using K to build a theorem prover for any language
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Computer Laboratory Security Seminar
Analog vs. Digital Epsilons: Implementation Considerations for Differential Privacy
Computer Laboratory Systems Research Group Seminar
Achieving Consistent Low Latency for Wireless Real-Time Communications with the Shortest Control Loop
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Computer Laboratory Systems Research Group Seminar
cISP: A Speed-of-Light Internet Service Provider
Computer Laboratory Security Seminar
Mapping the Geography of Cybercrime - findings from an expert survey
Computer Laboratory Systems Research Group Seminar
Building trustworthy multi-party systems in the cloud (without handling over the keys to the kingdom)
Computer Laboratory Systems Research Group Seminar
Trustworthy Digital Identity - Systems Architecture
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Computer Laboratory Security Seminar
No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis
Computer Laboratory Security Seminar
Exploring Internet services mis-configuration at scale
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Computer Laboratory Systems Research Group Seminar
Are we stuck with the current Internet Protocol (IP)? (And does it matter if we are?)
Computer Laboratory Security Seminar
Reward Sharing for Mixnets
Computer Laboratory Security Seminar
PostCog: A βSearch Engineβ Enabling Interdisciplinary Research into Underground Forums at Scale
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Order! A tale of money, intrigue, and specifications.
Computer Laboratory Security Seminar
Are You Really Muted?: A Privacy Analysis of Mute Buttons in Video Conferencing Apps
Computer Laboratory Security Seminar
VerLoc: Verifiable Localization in Decentralized Systems
Computer Laboratory Systems Research Group Seminar
Towards an Internet of Reality
Computer Laboratory Security Seminar
βYouβre never left alone:β the use of digital technologies in domestic abuse
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Computer Laboratory Security Seminar
The gap between research and practice in authentication
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
Computer Laboratory Security Seminar
Attacking and Fixing the Bitcoin Network
Computer Laboratory Systems Research Group Seminar
Internet Traffic Analysis at Scale
Computer Laboratory Security Seminar
Risk and Resilience: Promoting Adolescent Online Safety and Privacy through Human-Centered Computing
Computer Laboratory Security Seminar
Design rules and Maxims for insecurity engineering for lock designs
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
AI and Big Data for Social Good: From Covid Infection Study to Drug Repurposing for the Treatment of Alzheimerβs Disease
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Computer Laboratory Systems Research Group Seminar
Towards Digital Sovereignty in the Age of Hyper-giants
Computer Laboratory Security Seminar
Sex, money, and the mating market: How big data helps us understand sexual politics
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Computer Laboratory Systems Research Group Seminar
Software as a Network
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Computer Laboratory Systems Research Group Seminar
Turbocharging Serverless Research with vHive
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
Computer Laboratory Systems Research Group Seminar
Networked Systems in the Era of Programmable Dataplanes
Computer Laboratory Security Seminar
Machine Learning in context of Computer Security
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
Computer Laboratory Systems Research Group Seminar
Perception-Driven Optimization: A New Frontier for Scaling Internet Applications
Computer Laboratory Security Seminar
Trojan Source: Invisible Vulnerabilities
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Computer Laboratory Systems Research Group Seminar
Health Monitoring with Wireless Sensors and Machine Learning
Computer Laboratory Systems Research Group Seminar
Cache Networks with Optimality Guarantees
Computer Laboratory Security Seminar
Incident Response as a Lawyers' Service
Logic and Semantics Seminar (Computer Laboratory)
Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software
Computer Laboratory Systems Research Group Seminar
Assertions for Distributed Systems
Computer Laboratory Security Seminar
Transcending Transcend: Revisiting Malware Classification with Conformal Evaluation
Computer Laboratory Security Seminar
Hansa Market, Cyberbunker, and Encrochat: The Security Practices of Organized Crime
Computer Laboratory Systems Research Group Seminar
Towards Performant Networking from Low-Earth Orbit
Computer Laboratory Security Seminar
Why Johnny doesnβt write secure software?
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Computer Laboratory Systems Research Group Seminar
Making the Most of Massive Clusters
Computer Laboratory Security Seminar
Securing the Future: Futures Literacy in Cyber Security
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
Computer Laboratory Systems Research Group Seminar
Automerge: A New Foundation for Collaboration Software
Computer Laboratory Security Seminar
Teardown of encrypted USB Flash drives
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
Computer Laboratory Systems Research Group Seminar
AnyOpt: Predicting and Optimizing IP Anycast Performance
Computer Laboratory Security Seminar
Cybersecurity for Democracy: Providing Independent Auditing Frameworks for Platform Accountability
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
Computer Laboratory Security Seminar
Blind Backdoors in Deep Learning
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Computer Laboratory Systems Research Group Seminar
The Demikernel OS Architecture for Kernel-Bypass, Microsecond Systems
Computer Laboratory Security Seminar
Computational Methods to Measure and Mitigate Weaponized Online Information
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Computer Laboratory Systems Research Group Seminar
Cloud-native data systems for the post-Moore era
Computer Laboratory Security Seminar
Resilient Machine Learning: A Systems-Security Perspective
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
Computer Laboratory Systems Research Group Seminar
Programmable data plane
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
Computer Laboratory Systems Research Group Seminar
Why is Zoom so much more popular than standards-based videoconferencing?
Computer Laboratory Security Seminar
Super-Posters in Extremist Forums
Computer Laboratory Systems Research Group Seminar
Edge network opens the door of heterogeneous network federation
Computer Laboratory Systems Research Group Seminar
Revisiting MANETs in 2021
Computer Laboratory Security Seminar
It's not only the dark web: Distributed surface web marketplaces
Computer Laboratory Systems Research Group Seminar
Hey, you got your distributed algorithm in my ML!
Computer Laboratory Systems Research Group Seminar
Unsafe at Any Speed? Self-Driving Networks without Self-Crashing Networks
Computer Laboratory Systems Research Group Seminar
Internet Transparency
Computer Laboratory Systems Research Group Seminar
Leveraging over-provisioned WANs for next-generation services
RSE Seminars
Ripple: A C++ cross-GPU optimizing framework
Computer Laboratory Systems Research Group Seminar
Network Function Virtualization and its Application to Improve the Architecture and Protocols of Future Cellular Networks
Computer Laboratory Systems Research Group Seminar
Mapping Mobile Broadband Access
RSE Seminars
Full-stack CFD on AWS
Computer Laboratory Systems Research Group Seminar
iBox: Internet in a Box
Computer Laboratory Security Seminar
Apple, App Tracking Transparency, and the Hidden Costs of More Privacy
Computer Laboratory Systems Research Group Seminar
WLANs above 100 GHz: Mobility, Sensing, and Security
Computer Laboratory Systems Research Group Seminar
Teleoperating Mobile Things
RSE Seminars
Spack: the HPC package manager
Computer Laboratory Security Seminar
FastPay: High-Performance Byzantine Fault Tolerant Settlement
Computer Laboratory Systems Research Group Seminar
Examining Raft's behaviour during partial network failures
RSE Seminars
Running the CSC network
Computer Laboratory Security Seminar
Mix-net cryptoeconomics: Rebooting privacy-preserving communications as incentive-driven collaborative projects
Computer Laboratory Systems Research Group Seminar
Consumer IoT devices: Privacy Implications and Device Identification
Computer Laboratory Systems Research Group Seminar
Understanding the Weaponization of the Web via Data-Driven Analysis
Computer Laboratory Systems Research Group Seminar
Protection, restoration and expansion of the world's woodlands as Nature-based Solutions to the climate and biodiversity crises: how can computer science help?
Computer Laboratory Systems Research Group Seminar
Towards Grey Fault Tolerant Cloud Systems
Logic and Semantics Seminar (Computer Laboratory)
Unfinity Categories
Computer Laboratory Systems Research Group Seminar
Obstacles to Wearable Computing
Computer Laboratory Security Seminar
Dark web marketplaces and COVID-19: Flexible and resilient
Computer Laboratory Systems Research Group Seminar
DNA for archival storage
Computer Laboratory Security Seminar
Understanding Modern Phishing
Computer Laboratory Systems Research Group Seminar
Rearchitecting Kubernetes for the Edge
Computer Laboratory Security Seminar
Deep Learning Assisted Side-Channel Attacks
Computer Laboratory Security Seminar
Crowdsourcing Security Research: A case study of AdObserver
Computer Laboratory Systems Research Group Seminar
Designing Next Generation Network Interface Cards
Computer Laboratory Security Seminar
Dmitry goes to Hollywood: Criminal Excellence in (Cyber) La La Land
Computer Laboratory Systems Research Group Seminar
Programmable, Hardware-Based Routing and Scheduling
Computer Laboratory Security Seminar
A Liar and a Copycat: Nonverbal Coordination Increases with Lie Difficulty
Computer Laboratory Security Seminar
Cybersecurity Risk to Hospitals from Building Services
Computer Laboratory Systems Research Group Seminar
Pluginizing Internet Protocols
Logic and Semantics Seminar (Computer Laboratory)
Promising ARMv8/RISC-V relaxed memory
Computer Laboratory Systems Research Group Seminar
Practical Edge Computing for Mobile X Reality
Computer Laboratory Security Seminar
Towards Provable Physical Safety Against False Actuation Attacks in CPS
Computer Laboratory Systems Research Group Seminar
Let It Rain - Interactive Smart Building Data Visualisations for Real-time Sensor Readings
Computer Laboratory Systems Research Group Seminar
Running NFV Service Chains at the True Speed of the Underlying Hardware
Computer Laboratory Security Seminar
User Privacy Concerns and Preferences in Smart Buildings
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The Android Platform Security Model (and the security status of actual devices)
Computer Laboratory Systems Research Group Seminar
Load Migration in SDN Controllers
Computer Laboratory Security Seminar
Alternative sanctions for juvenile criminal hackers: The evaluation of the Dutch βHack_Rightβ intervention
Logic and Semantics Seminar (Computer Laboratory)
Fully Abstract Models of Call-by-Value Languages, Γ la O'Hearn & Riecke
Computer Laboratory Systems Research Group Seminar
On the Art of Wielding a Double-Edged Sword (or, Finessing Modern Networks)
Computer Laboratory Security Seminar
Cultural Convergence in the time of COVID
Logic and Semantics Seminar (Computer Laboratory)
LovΓ‘sz' Theorem and Comonads in Finite Model Theory
Computer Laboratory Systems Research Group Seminar
Mir-BFT: Robust Scaling of Classical BFT
Computer Laboratory Security Seminar
Hardware and Software Fingerprinting of Mobile Devices
Logic and Semantics Seminar (Computer Laboratory)
Free Commutative Monoids in Homotopy Type Theory
Computer Laboratory Security Seminar
SHB Seminar
Computer Laboratory Security Seminar
Eavesdropping at Scale: Shifting the Threat Model in Satellite Broadband
Logic and Semantics Seminar (Computer Laboratory)
Symmetric Arithmetic Circuits
Computer Laboratory Systems Research Group Seminar
The Battle for Bandwidth: Fairness and Heterogenous Congestion Control on Today's Internet
Computer Laboratory Security Seminar
Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble
Logic and Semantics Seminar (Computer Laboratory)
Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution
Computer Laboratory Systems Research Group Seminar
Enclave-Aware Compartmentalization and Secure Sharing with Sirius
Computer Laboratory Security Seminar
Sponge Examples: Energy-Latency Attacks on Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
Incrementality xor currency for monotone fixed points
Computer Laboratory Systems Research Group Seminar
Twins: White-Glove Approach for BFT Testing
Logic and Semantics Seminar (Computer Laboratory)
Higher Algebra in Computer Science
Computer Laboratory Systems Research Group Seminar
Bias in AI
Computer Laboratory Systems Research Group Seminar
Scaling AI Systems with Optical I/O
Computer Laboratory Systems Research Group Seminar
Smart Cities with Privacy Assurance
Computer Laboratory Systems Research Group Seminar
Sirius: A Flat Datacenter Network with Nanosecond Optical Switching
Computer Laboratory Systems Research Group Seminar
Systematic Rateless Coding for Efficient Data Transport in Data Centres
Computer Laboratory Systems Research Group Seminar
Caching with Delayed Hits
Computer Laboratory Systems Research Group Seminar
Untangling the Web by tracking our trackers
Computer Laboratory Systems Research Group Seminar
Service-Aware Provisioning for Greener & Smarter Cellular Networks
Computer Laboratory Systems Research Group Seminar
Battery-Free, Low-Cost Sensing with RFIDs
Computer Laboratory Systems Research Group Seminar
Building Enzian: a research computer
Computer Laboratory Systems Research Group Seminar
Latency-driven Performance in Data Centres
Computer Laboratory Security Seminar
TRRespass: Exploiting the Many Sides of Target Row Refresh
Computer Laboratory Systems Research Group Seminar
All for One and One for All: Decoupling IP in the Connection from the Endhost Communication.
Computer Laboratory Security Seminar
Collaborative Deanonymization
Computer Laboratory Systems Research Group Seminar
Spatio-Temporal Data Collection and Analysis for Developing Transport related Services
Computer Laboratory Security Seminar
Understanding Privacy-Related Questions on Stack Overflow
Computer Laboratory Security Seminar
The politics of data-driven governance
Computer Laboratory Systems Research Group Seminar
HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services
Computer Laboratory Security Seminar
Tech Abuse in the Intimate Partner Violence Setting: Issues, Challenges, and Mitigations
Computer Laboratory Systems Research Group Seminar
End-to-End Congestion Control via Endpoint-Centric, Wireless Physical-Layer Capacity Measurements
Computer Laboratory Security Seminar
SEAL: sealed-bid auction without auctioneers
Computer Laboratory Security Seminar
Trustable Hardware as a TOCTOU Problem: Overview and Potential Remedies
Computer Laboratory Systems Research Group Seminar
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Systematic Rateless Coding for Efficient Data Transport in Data Centres
Logic and Semantics Seminar (Computer Laboratory)
A Syntactic View of Computational Adequacy
RSE Seminars
Life is not FAIR but your software could be
Logic and Semantics Seminar (Computer Laboratory)
Tests and Proofs in Isabelle
Computer Laboratory Systems Research Group Seminar
Owl: OCaml Scientific and Engineering Computing
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Automating proof by induction in Isabelle/HOL using domain-specific languages
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Logic and Semantics Seminar (Computer Laboratory)
A duality theoretic view on limits of finite structures
Logic and Semantics Seminar (Computer Laboratory)
Cerberus C semantics & pointer provenance
Computer Laboratory Systems Research Group Seminar
Trip Report - CCC
RSE Seminars
Research in the Laboratory for Scientific Computing
Computer Laboratory Security Seminar
Product Design, Liability, and Insecurity Engineering
Logic and Semantics Seminar (Computer Laboratory)
Computation via Substructures
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Computer Laboratory Security Seminar
Measuring Cryptocurrency Fraud
Computer Laboratory Security Seminar
On the Effectiveness of Generating Adversarial Examples for Evading Blackbox Malware Classifiers
Computer Laboratory Systems Research Group Seminar
Securing IoT with Azure Sphere
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The SPHERE project
Computer Laboratory Systems Research Group Seminar
Controlling time in networking: from delay-tolerant networking to low-latency networking
Computer Laboratory Security Seminar
Security economics to inform behaviour change support
Computer Laboratory Systems Research Group Seminar
Information Exposure From Consumer IoT Devices: A Multidimensional Network-Informed Approach
RSE Seminars
Ptycho! Image processing diffraction patterns
Computer Laboratory Security Seminar
It's Damn Hard to Decentralise the Web
Computer Laboratory Systems Research Group Seminar
Self-Programming Networks: Applications to Financial Trading Systems
Computer Laboratory Systems Research Group Seminar
XOX Fabric: A hybrid approach to blockchain transaction execution
Computer Laboratory Systems Research Group Seminar
Dynamic Compilation and Optimization of Software Network Functions
Logic and Semantics Seminar (Computer Laboratory)
Quantum things 3 - Resources and Co-resources
Computer Laboratory Systems Research Group Seminar
FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second
Logic and Semantics Seminar (Computer Laboratory)
Modular Relaxed Dependencies in Weak Memory Concurrency
Computer Laboratory Security Seminar
Radio Protocol Vulnerabilities in 5G Networks
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Computer Laboratory Systems Research Group Seminar
Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 1 - Monads, comonads, and resource-limited computation
Computer Laboratory Security Seminar
Realistic Adversarial Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Fast and Efficient Deployment of Security Defenses via Microcode Customization
β οΈ Note unusual time and location
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Computer Laboratory Systems Research Group Seminar
Do switches dream of machine learning?
Computer Laboratory Security Seminar
Automatically Dismantling Online Dating Fraud
Computer Laboratory Systems Research Group Seminar
Asynchrony, Ordering, and Protocols
Computer Laboratory Computer Architecture Group Meeting
The new clang constant interpreter
Computer Laboratory Security Seminar
Reducing Metadata Leakage from Encrypted Files and Communication
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Agricultural Robotics
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Amulet and Auracle: Wearable Platforms for mHealth Research
Computer Laboratory Systems Research Group Seminar
How to Partition Resources and Eliminate (Most) OS Abstractions for Fast I/O
Computer Laboratory Systems Research Group Seminar
Context-Based Zero-Interaction Authentication
Computer Laboratory Security Seminar
An analysis of the threats of the consumer spyware industry
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Computer Laboratory Systems Research Group Seminar
Clustering insomnia pattern and learning sleep quality from daily logs
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Context and Behaviour Modelling of User and Urban Activities
Computer Laboratory Systems Research Group Seminar
The new USB4 standard
Computer Laboratory Security Seminar
Deploying Differential Privacy for the 2020 Census of Population and Housing
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Computer Laboratory Systems Research Group Seminar
Test Automation and Debug hardware for Chromebooks
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
Computer Laboratory Systems Research Group Seminar
Local-first software: Returning data ownership to users
RSE Seminars
The model is simple until proven otherwise
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The Smart Hospital Living Lab
Computer Laboratory Systems Research Group Seminar
Crostini - Architecture for running Linux VMs seamlessly and securely on Chrome OS
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Computer Laboratory Security Seminar
rust-vmm: Building the Virtualization Stack of the Future
Computer Laboratory Security Seminar
Firecracker microVMs - How to Securely Run Thousands of Workloads on a Single Host
Computer Laboratory Security Seminar
A Promise Is A Promise: The Effect Of Commitment Devices On Computer Security Intentions
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
A Decade of Ubiquitous Computing Research in Mental Health
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Computer Laboratory Systems Research Group Seminar
IPv6 over LPWAN: when 6LoWPAN is too heavy for (long range) IoT links!
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Computer Laboratory Systems Research Group Seminar
The Case For In-Network Computing On Demand
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Computer Laboratory Systems Research Group Seminar
Network Science and Telecommunications
Computer Laboratory Security Seminar
Securing Systems with Insecure Hardware
Computer Laboratory Systems Research Group Seminar
Debugging and Repairing P4 Programs
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Computer Laboratory Systems Research Group Seminar
LinuxKit: new ways of using Linux
Computer Laboratory Security Seminar
βDoing moreβ to keep children safe online β why the tech sector can only do so much
RSE Seminars
InSitu visualisation for large simulations
Computer Laboratory Systems Research Group Seminar
A Framework for Data Collection and Management for IoT
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Computer Laboratory Systems Research Group Seminar
Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.
Computer Laboratory Security Seminar
Thunderclap: Exploring Vulnerabilities Operating System IOMMU Protection via DMA from Untrustworthy Peripherals
Computer Laboratory Systems Research Group Seminar
Open Source Quantum Computing
RSE Seminars
Performance and scaling improvements for CASTEP
Computer Laboratory Systems Research Group Seminar
Performance Contracts for Software Network Functions
Computer Laboratory Systems Research Group Seminar
Accountable Systems and Google Maps
RSE Seminars
Webassembly for total beginners (like me)
Computer Laboratory Systems Research Group Seminar
Replace your exploit-ridden firmware with a Linux Kernel
Computer Laboratory Security Seminar
Keeping authorities honest with verifiable append-only logs, and making backdoored software updates detectable
Computer Laboratory Systems Research Group Seminar
From Unikernels to Nabla Containers
RSE Seminars
Introduction to the University HPC system (Cumulus)
Computer Laboratory Security Seminar
Evil on the Internet
Computer Laboratory Security Seminar
Trustworthy and Accountable Function-as-a-Service using Intel SGX
Computer Laboratory Systems Research Group Seminar
Dr Spin, or the Tao of Threes
Computer Laboratory Systems Research Group Seminar
The nitty gritty of doing a PhD
Computer Laboratory Security Seminar
Function-Based Access Control
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Computer Laboratory Systems Research Group Seminar
Cross-modality Inference in Ubiquitous Human Identification
Computer Laboratory Security Seminar
The ideal versus the real: A brief history of secure isolation in virtual machines and containers
RSE Seminars
Image Processing for Fluorescence Microscopy
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
Computer Laboratory Systems Research Group Seminar
Chromebooks, USB-C and Google PI/SI Research
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Computer Laboratory Security Seminar
Displacing big data: How cybercriminals cheat the system
Computer Laboratory Systems Research Group Seminar
The Elusive Internet Flatening: 10 Years of IXP Growth
Computer Laboratory Security Seminar
You think you're not a target? A tale of three developers
RSE Seminars
Using Revision Control - an introduction
Computer Laboratory Security Seminar
The Guardian Council: Using many-core architectures to support programmable hardware security
Computer Laboratory Systems Research Group Seminar
Privacy Trading in the Apps and IoT Age: Markets and Computation
Computer Laboratory Systems Research Group Seminar
Using large-scale simulation for the national assessment of Fibre-To-The-Premises and 5G deployment
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Computer Laboratory Systems Research Group Seminar
Understanding PCIe performance for end host networking
Computer Laboratory Systems Research Group Seminar
FEC killed the cut-through switch
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Computer Laboratory Systems Research Group Seminar
Enabling the Internet of Things - IoT Penetrate the Base of Pyramid in Sub-Saharan Africa
Computer Laboratory Security Seminar
Combating a hydra: Islamic State's digital jihad as a threat to international security
Computer Laboratory Systems Research Group Seminar
New projects in human-data interaction
Computer Laboratory Systems Research Group Seminar
Building modern dataflow systems
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Computer Laboratory Systems Research Group Seminar
Hardware-conscious data processing systems
β οΈ This talk has been cancelled and will be rescheduled.
Computer Laboratory Computer Architecture Group Meeting
Making Python Fast: Using Hardware-Software Co-design to Address Inefficiencies in Dynamic Language Runtimes
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
RSE Seminars
Parallel I/O and HDF5
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
Computer Laboratory Systems Research Group Seminar
Edge Computing through Distributed Trust and Programmable Privacy
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Computer Laboratory Security Seminar
Detecting Spies in Sensor-Rich Environments using Cyber-Physical Correlation
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Computer Laboratory Systems Research Group Seminar
Research Challenges and Solutions for IOT/CPS
Computer Laboratory Security Seminar
Ethical Issues in Network Measurement
Computer Laboratory Security Seminar
Data science approaches to understanding key actors on online hacking forums
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Computer Laboratory Systems Research Group Seminar
Quantifying Privacy Loss of Human Mobility Graph Topology
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Computer Laboratory Computer Architecture Group Meeting
Green Cache
Computer Laboratory Computer Architecture Group Meeting
Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency
Computer Laboratory Computer Architecture Group Meeting
Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Customising the system stack for data processing on modern hardware
Computer Laboratory Security Seminar
Wireless Physical-layer Security: Fundamentals and Jamming with Coding for Secrecy
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
Computer Laboratory Systems Research Group Seminar
My VM is Lighter (and Safer) than your Container
RSE Seminars
Debugging using valgrind
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Computer Laboratory Systems Research Group Seminar
Highly Energy Efficient Key-value Store for In-network Computing
Computer Laboratory Security Seminar
Large Scale Ubiquitous Data Sources for Crime Prediction
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Computer Laboratory Systems Research Group Seminar
Energy landscape of multivariate time series data
β οΈ starting time at 15:00! sorry for the confusion!
RSE Seminars
Profiling HPC applications
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
RSE Seminars
Using Python Packages - and interfacing
Computer Laboratory Security Seminar
Psychological predictors of risky online behaviour: The cases of online piracy and privacy
Computer Laboratory Security Seminar
Anonymity in Cryptocurrencies
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Computer Laboratory Systems Research Group Seminar
Analysis of Spatio-temporal Representations for Robust Footstep Recognition with Deep Residual Neural Networks
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
RSE Seminars
Docker Containers for Research
Computer Laboratory Security Seminar
The impact of cybercrime on businesses: A new conceptual framework and its application to Belgium
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Computer Laboratory Security Seminar
Bayes, not Naive: Security Bounds on Website Fingerprinting Defenses
Computer Laboratory Systems Research Group Seminar
Geolocated Datasets for Urban Science
Computer Laboratory Systems Research Group Seminar
Play it on the Edge - the Fun, the Risks, and the Lessons
RSE Seminars
Using the Git revision control system
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Computer Laboratory Systems Research Group Seminar
Does your smartwatch miss a (heart) beat? - Investigation of wearables for affective research
Computer Laboratory Systems Research Group Seminar
When Streaming and Active Queue Management Collides: Experiments with Chunklets
Computer Laboratory Systems Research Group Seminar
Correctness of Speculative Optimizations with Dynamic Deoptimization
Computer Laboratory Systems Research Group Seminar
Data Plane programmability: the next step in Software Defined NetworkingData Plane programmability: the next step in Software Defined Networking
Computer Laboratory Systems Research Group Seminar
Secure Multi-Party Linear Regression on High-Dimensional Data
Computer Laboratory Security Seminar
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing
Computer Laboratory Security Seminar
Analysis and Classification of Android Malware
Computer Laboratory Systems Research Group Seminar
The Rise of Augmented Intelligence in Edge Networks
Computer Laboratory Security Seminar
Conditional Linear Cryptanalysis
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
β οΈ NB: rescheduled from 2017/09/22
Computer Laboratory Systems Research Group Seminar
DataFlow SuperComputing for BigData
Computer Laboratory Security Seminar
Protecting Analog Sensor Security
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Computer Laboratory Systems Research Group Seminar
Enzian: A Research Computer for Rack-Scale and Datacenter Computing
Computer Laboratory Systems Research Group Seminar
GAON: General-purpose Application Offload to Near-Network Processors
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Computer Laboratory Systems Research Group Seminar
What is the Difference between Emulation and Virtualization?
Computer Laboratory Systems Research Group Seminar
PTPmesh: Data Center Network Latency Measurements Using PTP
Computer Laboratory Systems Research Group Seminar
Bringing the Web up to Speed with WebAssembly
Computer Laboratory Systems Research Group Seminar
Understanding Urban Events with CrowdSourced Data
Computer Laboratory Systems Research Group Seminar
Disk|Crypt|Net: rethinking the stack for high-performance video streaming
Computer Laboratory Computer Architecture Group Meeting
Redundancy in Deep Neural Networks and Its Impacts to Hardware Accelerator Design
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Computer Laboratory Systems Research Group Seminar
A deep dive into Multicore OCaml garbage collector
Computer Laboratory Systems Research Group Seminar
Classification of Twitter Accounts into Automated Agents and Human Users
Computer Laboratory Systems Research Group Seminar
Emu: Rapid Prototyping of Networking Services
Computer Laboratory Systems Research Group Seminar
Model based system configuration and tasteful hardware
Computer Laboratory Systems Research Group Seminar
Picosecond scale measurement for nanosecond scale networks
Computer Laboratory Security Seminar
abraCARDabra: understanding carding forums
Computer Laboratory Security Seminar
Anti-surveillance: Can Applied Cryptography, Law Enforcement, and Formal Methods be Friends?
Computer Laboratory Systems Research Group Seminar
Seeing is Believing: A state-based formalization of database isolation
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
Computer Laboratory Security Seminar
What could we actually do about radicalisation, both online and offline?
rdm34's list
The Biomaker Challenge: an introduction
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
β οΈ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Computer Laboratory Security Seminar
Improving the Impact of Smartphone Apps
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Computer Laboratory Computer Architecture Group Meeting
Energy-Quality Scalable Adaptive VLSI Circuits and Systems β The Way towards the Next 10X Energy Reduction
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Processors for the Data Center and Cloud of the Future
Computer Laboratory Systems Research Group Seminar
Routing the Future: Bootstrapping Internet Innovation
Computer Laboratory Systems Research Group Seminar
Open Source Network Tester on NetFPGA-SUME Platform
Computer Laboratory Systems Research Group Seminar
P4-NetFPGA
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Computer Laboratory Systems Research Group Seminar
200 ppi and other annoying things about displays
Computer Laboratory Systems Research Group Seminar
Pandia: comprehensive contention-sensitive thread placement
Computer Laboratory Security Seminar
Free-Form Gesture Passwords: Security, Memorability, Usability
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Computer Laboratory Systems Research Group Seminar
Where Has My Time Gone?
Computer Laboratory Systems Research Group Seminar
A Study of Bluetooth Low Energy Performance for Human Proximity Detection in the Workplace
Computer Laboratory Systems Research Group Seminar
Mobile Sensing at the Service of Mental Well-being: a Large-Scale Longitudinal Study
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Computer Laboratory Systems Research Group Seminar
Towards a Stateful Forwarding Abstraction for Software and Hardware Network Functions
Wednesday Seminars - Department of Computer Science and Technology
CHERI - Architectural support for software memory protection and compartmentalisation
Computer Laboratory Security Seminar
On the Privacy and Security of the Ultrasound Ecosystem
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Computer Laboratory Systems Research Group Seminar
A Digital Architecture for Future Cities
Computer Laboratory Systems Research Group Seminar
Groove Radio: A Bayesian Hierarchical Model for Personalized Playlist Generation
Computer Laboratory Systems Research Group Seminar
Lasp: Dataflow programming for large-scale distributed applications
Computer Laboratory Systems Research Group Seminar
Internet measurements in Africa
Computer Laboratory Systems Research Group Seminar
Internet Monitoring at Scale
Computer Laboratory Digital Technology Group (DTG) Meetings
The Next-Generation Vector Architecture for HPC
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
β οΈ Joint Logic and Semantics and Computer Architecture Seminar
Computer Laboratory Systems Research Group Seminar
Towards an SDN-enabled Federated Internet
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
Computer Laboratory Systems Research Group Seminar
High-level development and debugging of FPGA-based network programs
Computer Laboratory Security Seminar
Trends in Online Payment Security
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Computer Laboratory Systems Research Group Seminar
ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Computer Laboratory Systems Research Group Seminar
The Lift Project: Performance Portable GPU Code generation via Rewrite Rules
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Computer Laboratory Computer Architecture Group Meeting
The Future of Computer Architecture
Computer Laboratory Security Seminar
Reversing chip design for hardware security characterization
Computer Laboratory Computer Architecture Group Meeting
FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods
Computer Laboratory Programming Research Group Seminar
Automatic Identification and Parallelisation of General Reduction Operations
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Computer Laboratory Systems Research Group Seminar
Flexible Paxos: Reaching agreement without majorities
Computer Laboratory Systems Research Group Seminar
Tendermint: Byzantine Fault Tolerance in the age of Blockchains
Computer Laboratory Security Seminar
Drammer: Deterministic Rowhammer Attacks on Mobile Platforms
Computer Laboratory Systems Research Group Seminar
Open Connect Everywhere: A Glimpse at the Internet Ecosystem through the Lens of the Netflix CDN
Wednesday Seminars - Department of Computer Science and Technology
End-to-end encryption: Behind the scenes
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Computer Laboratory Security Seminar
Putting wireless signal security in a system security context
β οΈ note unusual date
Computer Laboratory Systems Research Group Seminar
Unik: A platform for automating unikernel compilation and deployment
Computer Laboratory Security Seminar
The Million-Key Question : Investigating the Origins of RSA Public Keys (Best Paper Award @ USENIX Security 2016)
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Computer Laboratory Systems Research Group Seminar
Firmament: fast, centralized cluster scheduling at scale
Computer Laboratory Security Seminar
Semantics derived automatically from language corpora necessarily contain human biases
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
Computer Laboratory Systems Research Group Seminar
A Changing Landscape: Securing The Internet of Things (IoT)
Computer Laboratory Systems Research Group Seminar
I(FIB)F: Iterated Bloom Filters for Routing in Named Data Networks
Computer Laboratory Systems Research Group Seminar
A system of cooperative security for the Internet and 5G
Computer Laboratory Systems Research Group Seminar
LEO: Scheduling Sensor Inference Algorithms across Heterogeneous Mobile Processors and Network Resources
Computer Laboratory Systems Research Group Seminar
Leveraging RDMA to Build a Real-Time Cloud for the Internet of Things
Logic and Semantics Seminar (Computer Laboratory)
Analysing Goedelβs T by means of ordinal assignment and collapsing
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic and Semantics Seminar (Computer Laboratory)
Making Reactive Programs Function
Computer Laboratory Systems Research Group Seminar
Would you use 20V 2.25A or 15V 3A to charge your Chromebook and once charged how would you run Android Apps?
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
β οΈ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Computer Laboratory Systems Research Group Seminar
FlashBlade: Hardware and Software Co-design
Computer Laboratory Computer Architecture Group Meeting
Design for Security Test against Fault Injection Attack, and Fast Test with Compressive Sensing
β οΈ Note unusual time and venue. Talk follows 14:00 to 14:45 talk.
Computer Laboratory Computer Architecture Group Meeting
Barrier-Aware Warp Scheduling for Throughput Processors
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Computer Laboratory Systems Research Group Seminar
Towards synchronized (and programmable) datacenters
Computer Laboratory Systems Research Group Seminar
Unikernels and Beyond: the future of application containers in the cloud
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Computer Laboratory Systems Research Group Seminar
A Fast and Practical Software Packet Scheduling Architecture
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Computer Laboratory Systems Research Group Seminar
Managing Privacy Trade-Offs in the Internet
Computer Laboratory Computer Architecture Group Meeting
OpenPiton
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Computer Laboratory Security Seminar
Cyberinsurance: good for your company, bad for your country?
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Computer Laboratory Systems Research Group Seminar
Ios: Why work when you can delegate?
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Computer Laboratory Systems Research Group Seminar
Optimal-Performance Next-Generation (Datacenter) Networks
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Computer Laboratory Systems Research Group Seminar
A Decade of IoT Standard Communication Protocols
Computer Laboratory Security Seminar
Understanding, Characterizing, and Detecting Facebook Like Farms
Computer Laboratory Systems Research Group Seminar
On PCIe Performance
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Computer Laboratory Systems Research Group Seminar
Measuring Urban Social Diversity Using Interconnected Geo-Social Networks
Computer Laboratory Systems Research Group Seminar
Do Not Believe Everything You Read in the Papers
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
β οΈ THIS TALK HAS BEEN CANCELLED/POSTPONED
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Systems Research Group Seminar
Is every java program a unikernel? An introduction to IncludeOS' design and foundations
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Computer Laboratory Systems Research Group Seminar
Exploring the Web Frontier
Computer Laboratory Security Seminar
Do You See What I See? Differential Treatment of Anonymous Users
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
β οΈ NOTE UNUSUAL VENUE This is the second seminar this week.
Computer Laboratory Systems Research Group Seminar
OS Design for Modern Hardware
Logic and Semantics Seminar (Computer Laboratory)
What is an Algorithm?
β οΈ NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Computer Laboratory Security Seminar
The Unfalsifiability of security claims
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Systems Research Group Seminar
An Overview on Bigraphs, Their Applications, and Future Research Directions
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Computer Laboratory Systems Research Group Seminar
Pelican: A Building Block for Exascale Cold Data Storage
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Computer Laboratory Systems Research Group Seminar
Even Faster VM Networking with Virtual Passthrough
Computer Laboratory Systems Research Group Seminar
Characterization of Professional Users Behavior in Major Online Social Networks
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Computer Laboratory Systems Research Group Seminar
Systems Software for The Machine
Computer Laboratory Systems Research Group Seminar
A First Look at the Internet Usage Context of Indigenous U.S. Populations
β οΈ CANCELLED.
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Computer Laboratory Systems Research Group Seminar
The Internet as your killer ICN use case
Computer Laboratory Security Seminar
Android security: Protecting users, a billion at a time
Computer Laboratory Systems Research Group Seminar
Cluster management at Google with Borg
Computer Laboratory Systems Research Group Seminar
Credit Cycle and Efficient Market Hypothesis - a practical point of view
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
Computer Laboratory Systems Research Group Seminar
FlowWatcher: Preventing Data Disclosure Vulnerabilities in Web Applications
Computer Laboratory Security Seminar
Identification and Investigation of Cyber Risk Hotspots in a Large Computer Network
Computer Laboratory Systems Research Group Seminar
No compromises: distributed transactions with consistency, availability, and performance
Computer Laboratory Security Seminar
Decertifying the Worst Voting Machine in the US: Lessons Learned and Looking Forward
Technical Talks - Department of Computer Science and Technology
nShield HSMs
β οΈ Food provided so please register for the talk so that we can gauge numbers.
Computer Laboratory Systems Research Group Seminar
Pro-Diluvian: Understanding Scoped-Flooding for Content Discovery in Information-Centric Networking
Computer Laboratory Systems Research Group Seminar
Durability and Access Control for Scalable Distributed Filesystems
Computer Laboratory Security Seminar
Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer
Computer Laboratory Systems Research Group Seminar
Reaching reliable agreement in an unreliable world
Computer Laboratory Systems Research Group Seminar
Clean Application Compartmentalization with SOAAP
Computer Laboratory Systems Research Group Seminar
Universal laws and architectures: theory and lessons from brains, nets, hearts, bugs, grids, flows, and zombies
Computer Laboratory Systems Research Group Seminar
Routes and Interconnectivity: An Internet Trend and an Architectural Proposal
Computer Laboratory Security Seminar
Massively Parallel Hardware Security Platform
Computer Laboratory Computer Architecture Group Meeting
The CAVA Computer: Exceptional Parallelism and Energy Efficiency
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
Unobtrusive Smartphone-based Mobile Health Systems: Experiences with Biological Rhythm Monitoring
Computer Laboratory Systems Research Group Seminar
Trust in Networks and Collaborating Networked Systems
Computer Laboratory Systems Research Group Seminar
IX: A Protected Dataplane Operating System for High Throughput and Low Latency
Computer Laboratory Security Seminar
Making Better Privacy Decisions in Ubiquitous Computing Environments
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
Computer Laboratory Systems Research Group Seminar
Next-generation data-parallel dataflow systems
Computer Laboratory Systems Research Group Seminar
The vision for a Data Transparency Lab
Computer Laboratory Security Seminar
Insecure processing of cookies in modern web applications and browsers
Computer Laboratory Systems Research Group Seminar
Life out on the Savannah... Formal Models meet Mixed-Reality Systems
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Computer Laboratory Systems Research Group Seminar
Rethinking State-Machine Replication for Multicore Architectures
Computer Laboratory Security Seminar
Massively Parallel Hardware Security Platform
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Computer Laboratory Security Seminar
Information-flow tracking for web technologies
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Computer Laboratory Systems Research Group Seminar
Summaries on mobile phones: Context learning and data simplification
Computer Laboratory Security Seminar
On the power of techniques for defeating code reuse attacks + some retrospective reflection on the DARPA CRASH program
Computer Laboratory Systems Research Group Seminar
Analytics on Graphs with a Trillion Edges
Computer Laboratory Security Seminar
The Dutch electronic patient record system and beyond - towards physician-controlled decentralized medical record exchange.
Computer Laboratory Security Seminar
Captchas - the state of play
Computer Laboratory Systems Research Group Seminar
Copy Content, Copy Friends: Studies of Content Curation and Social Bootstrapping on Pinterest
Computer Laboratory Security Seminar
Understanding and Fighting Malicious Activity on Online Social Networks
Computer Laboratory Computer Architecture Group Meeting
Harder, Better, Faster, Stronger - Elliptic Curve Discrete Logarithm Computations on FPGAs
Computer Laboratory Systems Research Group Seminar
Online Reputation Management: Estimating the Impact of Management Responses on Consumer Reviews
Computer Laboratory Systems Research Group Seminar
The SAFE Network from First Principles
Computer Laboratory Systems Research Group Seminar
Musketeer: all for one, one for all in data processing systems
Computer Laboratory Security Seminar
Chupja--PHY Covert Channels: Can you see the Idles?
Computer Laboratory Systems Research Group Seminar
Queues donβt matter when you can JUMP them!
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Computer Laboratory Systems Research Group Seminar
Saber: Line-Rate Stream Processing on Heterogeneous Architectures
Computer Laboratory Systems Research Group Seminar
On Factors Affecting the Usage and Adoption of a Nation-wide TV Streaming Service
Computer Laboratory Security Seminar
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
Computer Laboratory Systems Research Group Seminar
Rumors, cascades and word of mouth: observing virality on Facebook
Computer Laboratory Systems Research Group Seminar
Aestheticodes: Beautiful Interaction
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Computer Laboratory Systems Research Group Seminar
Computers, Clocks and Network Time: Everything you never wanted to know about time
Computer Laboratory Computer Architecture Group Meeting
Neural simulation on diverse computational hardware
Computer Laboratory Systems Research Group Seminar
GraphChi and GraphChi-DB: large-scale graph computation on just a PC
Computer Laboratory Security Seminar
Human factors and missed solutions to WWII Enigma design weaknesses
Computer Laboratory Computer Architecture Group Meeting
PSLP: Padded SLP Automatic Vectorization
Computer Laboratory Systems Research Group Seminar
Advanced Physical Layer Techniques for Wireless Multihop Networks
Computer Laboratory Systems Research Group Seminar
Computational Privacy: On the privacy-conscientious use of metadata
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Computer Laboratory Security Seminar
Single Password Authentication
Computer Laboratory Systems Research Group Seminar
First Impressions on the State of Cellular Data Connectivity in India
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Computer Laboratory Systems Research Group Seminar
CELAR+SCAN: Moving HPC to the cloud
Computer Laboratory Computer Architecture Group Meeting
Bringing computer vision to the masses
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Computer Laboratory Systems Research Group Seminar
Life in the Slow Lane
Computer Laboratory Security Seminar
Cloud-centric assured information sharing
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Computer Laboratory Systems Research Group Seminar
Bridging the gap between networking and end-host computing
Computer Laboratory Security Seminar
Hacking is not random: a case-control study of webserver-compromise risk
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Computer Laboratory Systems Research Group Seminar
Holistic GC: Coordinating Garbage Collection across Rack-scale Systems
Computer Laboratory Computer Architecture Group Meeting
Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Computer Laboratory Computer Architecture Group Meeting
USB Type-C: How hard is it to pick two resistors?
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
A random walk through open data and more
Computer Laboratory Systems Research Group Seminar
End-to-End Performance Isolation through Virtual Datacenters
Computer Laboratory Systems Research Group Seminar
A Look at the Consequences of Internet Censorship Through an ISP Lens
Computer Laboratory Systems Research Group Seminar
1) Mining Users' Significant Driving Routes with Low-power Sensors 2) DSP.Ear: Leveraging Co-Processor Support for Continuous Audio Sensing on Smartphones
Computer Laboratory Systems Research Group Seminar
The Wireless Ecosystem β An ICT4D Perspective
Computer Laboratory Systems Research Group Seminar
Modelling a Community's Health and Mobility Patterns with Mobile Phone Data
Computer Laboratory Systems Research Group Seminar
Faithful Reproduction of Network Experiments
Computer Laboratory Computer Architecture Group Meeting
RISC-V: A Free and Open Instruction Set Architecture
Computer Laboratory Systems Research Group Seminar
A crowdsourced approach for mobile sensing: How distributed data mining meets mobile devices
Computer Laboratory Systems Research Group Seminar
NetCheck: Network Diagnoses from Blackbox Traces
Computer Laboratory Security Seminar
Bitcoin as a source of verifiable public randomness
Computer Laboratory Security Seminar
DP5: Privacy-preserving Presence Protocols
Computer Laboratory Computer Architecture Group Meeting
Randomised testing of a microprocessor model using SMT-solver state generation
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Computer Laboratory Security Seminar
Micro-Policies: A Framework for Tag-Based Security Monitors
Computer Laboratory Security Seminar
From TLS to secure websites: the HTTPS landmine
Computer Laboratory Systems Research Group Seminar
The Architecture of Innovation: Tracking Face-to-Face Interactions with UbiComp Technologies
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Computer Laboratory Systems Research Group Seminar
Ideas for the FireBox Software Stack
Computer Laboratory Systems Research Group Seminar
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Modeling, Specifying, and Verifying X86 Hardware and Software
Computer Laboratory Security Seminar
Safe Shell Scripting with Capabilities and Contracts
Computer Laboratory Systems Research Group Seminar
Consistency and Reliability in Cloud-backed Storage Systems
Computer Laboratory Systems Research Group Seminar
Better Strategies for Data Collection in Sensor Networks
Computer Laboratory Systems Research Group Seminar
Network-Design Sensitivity Analysis
Computer Laboratory Systems Research Group Seminar
Daily Habits of Happy People: Accelerometers
Computer Laboratory Systems Research Group Seminar
Sampling Theory of Large Graphs
Computer Laboratory Systems Research Group Seminar
Enriching Electronic Textbooks
Logic and Semantics Seminar (Computer Laboratory)
Why Isnβt Verification Standard Practice?
Computer Laboratory Systems Research Group Seminar
Incoming.tv - Improving User Experience of Mobile Video through predictive prefetching
Computer Laboratory Systems Research Group Seminar
AWARE: Human & Social Context For Wellbeing
Computer Laboratory Systems Research Group Seminar
Engineering a Market: Concepts and Research on the HAT
Computer Laboratory Systems Research Group Seminar
Vehicular App Development: Opportunities and Challenges
Computer Laboratory Systems Research Group Seminar
The CHERI capability model: Revisiting RISC in an age of risk
Computer Laboratory Security Seminar
Trust, Religion, and Tribalism: Reflections on the Sociological Data from the Balkans
Computer Laboratory Systems Research Group Seminar
Unsynchronized Visual Communication
Computer Laboratory Systems Research Group Seminar
I'm the repro man: a rant and some incremental improvements on reproducibility in systems research
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Computer Laboratory Systems Research Group Seminar
Branch Consistency or how to design a version controlled database
Computer Laboratory Systems Research Group Seminar
From Big Data to banality of evil : toward an epistemological approach to ethics in Internet Era
Computer Laboratory Systems Research Group Seminar
Examining Region-Specific Third-Party Web Tracking Services
Computer Laboratory Security Seminar
Security, Reliability and Backdoors
Computer Laboratory Systems Research Group Seminar
The story of figure 12b - trials, terrors and tribulations in applied systems research
Computer Laboratory Security Seminar
Psychology of malware warnings
Computer Laboratory Security Seminar
Protecting Programs During Resource Retrieval
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Computer Laboratory Security Seminar
Website Fingerprinting
Computer Laboratory Systems Research Group Seminar
(How) can we secure Internet routing?
Computer Laboratory Systems Research Group Seminar
Measuring and Analyzing Online Advertising
Computer Laboratory Systems Research Group Seminar
Cosmic Rays Don't Strike Twice: Understanding the Nature of DRAM Errors and the Implications for System Design
Computer Laboratory Systems Research Group Seminar
TCP in the Wild
Computer Laboratory Security Seminar
Bitcoin: A Full Employment Act for security engineers?
Computer Laboratory Systems Research Group Seminar
Recommending Investors for Crowdfunding Projects
Computer Laboratory Systems Research Group Seminar
Babel -- a modular routing protocol
Computer Laboratory Systems Research Group Seminar
The State of the Art in (Linux) Congestion Control
Computer Laboratory Systems Research Group Seminar
A new open and flexible way to test next-generation (OpenFlow) switches
Computer Laboratory Systems Research Group Seminar
FaRM: Fast Remote Memory
Computer Laboratory Security Seminar
Introduction to DNSSEC
Computer Laboratory Systems Research Group Seminar
A Cyber Security Lab: from teaching, to a security evaluation platform, to a novel configuration management paradigm?
Computer Laboratory Computer Architecture Group Meeting
Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development
Computer Laboratory Systems Research Group Seminar
Enhancing Network Structure to Increase Resilience and Survivability
Computer Laboratory Security Seminar
On the (in)security of widely-used RFID access control systems
Computer Laboratory Systems Research Group Seminar
Source-sensitive routing
Computer Laboratory Security Seminar
The effect of decentralized behavioral decision making on system-level risk
Computer Laboratory Systems Research Group Seminar
Security-Oriented Analysis of Application Programs
Computer Laboratory Computer Architecture Group Meeting
The New Cambridge Phenomenon?
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Computer Laboratory Systems Research Group Seminar
User-level networking: The hard problems
Computer Laboratory Security Seminar
Eavesdropping near field contactless payments: A quantitative analysis
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
Computer Laboratory Systems Research Group Seminar
Approximate Bayesian Computation and Complex network models
Computer Laboratory Security Seminar
Privacy/Proxy/Perfidy β what criminals (and others) put in domain whois
Computer Laboratory Security Seminar
Lawful Hacking: Using Existing Vulnerabilities for Wiretapping on the Internet.
Computer Laboratory Systems Research Group Seminar
Grappa: Scale-out Performance on Commodity Hardware for Irregular Applications
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Computer Laboratory Security Seminar
Reviewing Cybercrime; Epistemology, Political Economy and Models
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Computer Laboratory Systems Research Group Seminar
PREDICTING SOCIAL BEHAVIOR IN SITUATION-GAMES FROM CROWDSOURCING EXPERIMENTS
Computer Laboratory Systems Research Group Seminar
What makes mobile apps tick? lessons learned in collaborative app analysis
Computer Laboratory Security Seminar
TESLA: Temporally-enhanced security logic assertions
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Computer Laboratory Systems Research Group Seminar
Callisto: Co-scheduling Parallel Runtime Systems
Computer Laboratory Systems Research Group Seminar
IOFlow: A Software-Defined Storage Architecture
Computer Laboratory Security Seminar
SCION: Scalability, Control, and Isolation On Next-Generation Networks
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Computer Laboratory Systems Research Group Seminar
Smartphones, Crowds, and the Cloud: Population Guided Sensing Systems
Computer Laboratory Systems Research Group Seminar
Exploiting (Commercial) Hot-Spots for Device-to-Device Communication
Computer Laboratory Security Seminar
A day in the life of government cybersecurity
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
Computer Laboratory Systems Research Group Seminar
Urban Technologies: Feeling your emotions
Computer Laboratory Security Seminar
Animals as Mobile Social Users
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Computer Laboratory Systems Research Group Seminar
Towards Programmable Wide-Area Virtual Networks
Computer Laboratory Systems Research Group Seminar
Adaptive and Resource-Efficient Rural Area Networks
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Computer Laboratory Security Seminar
In-depth crypto attacks: "It always takes two bugs"
Computer Laboratory Systems Research Group Seminar
Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management
Computer Laboratory Security Seminar
Psychology of scams
Computer Laboratory Systems Research Group Seminar
Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design
Computer Laboratory Systems Research Group Seminar
Geo-Spotting: Mining Online Location-based Services for Optimal Retail Store Placement
Computer Laboratory Security Seminar
TLS Security - Where Do We Stand?
Computer Laboratory Systems Research Group Seminar
Anomaly Detection in the Field
Computer Laboratory Computer Architecture Group Meeting
Scale-Out Processors
Computer Laboratory Systems Research Group Seminar
Designing an Optical Internet Router with a Preview of an Optical Turing Machine for Network Processing
Computer Laboratory Systems Research Group Seminar
Naiad: A Timely Dataflow System
Computer Laboratory Systems Research Group Seminar
ParkSense: A Smartphone Based Sensing System For On-Street Parking
Computer Laboratory Computer Architecture Group Meeting
Energy Efficient Computing System - Research in NICS CAD Tsinghua
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Computer Laboratory Computer Architecture Group Meeting
Synopsys Processor Designer - Introduction and demonstration
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
How to improve performance of ad-hoc networks?
Computer Laboratory Systems Research Group Seminar
Very high speed networking in VMs and bare metal
β οΈ Luigi's will also give a talk at MSR Cambridge (http://talks.cam.ac.uk/talk/index/46123)
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Computer Laboratory Systems Research Group Seminar
Impact of Social Mapping in OpenStreetMap
β οΈ This talk has been cancelled.
Computer Laboratory Systems Research Group Seminar
LibertΓ©, EgalitΓ©, FraternitΓ©: Regain control over your end systems
Computer Laboratory Security Seminar
PHANTOM: A Parallel Architecture for Practical Oblivious Computation
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Computer Laboratory Systems Research Group Seminar
Reaping the Benefits of Partial SDN Deployment in Enterprise Networks
Computer Laboratory Systems Research Group Seminar
Curing discontent in online content acquisition
Computer Laboratory Computer Architecture Group Meeting
Adaptive Resolution of Information Flow Constraints
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
Towards Efficient Traffic-analysis Resistant Anonymity Networks
β οΈ Joint seminar with Security Group Seminar.
Computer Laboratory Computer Architecture Group Meeting
Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management
β οΈ This talk has been cancelled.
Computer Laboratory Security Seminar
Distributed Electronic Rights in JavaScript
Computer Laboratory Systems Research Group Seminar
The neighbourhood game
Computer Laboratory Systems Research Group Seminar
Interdependence and Predictability of Human Mobility and Social Interactions
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Computer Laboratory Systems Research Group Seminar
SPOC: GPGPU Programming with OCaml
Computer Laboratory Systems Research Group Seminar
An Objective Measure of Network Resilience
Computer Laboratory Security Seminar
Rendezvous: A search engine for binary code
Computer Laboratory Security Seminar
Pins, Tacks, and Slinks: Proposals for patching PKI on the web
Computer Laboratory Systems Research Group Seminar
Moana: A Case for a Global Information Network
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Computer Laboratory Systems Research Group Seminar
Chatty Tenants and the Cloud Network Sharing Problem
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Computer Laboratory Systems Research Group Seminar
Information and Communications Technology for Development: Current Trajectories
Computer Laboratory Systems Research Group Seminar
Cluster management at Google
Computer Laboratory Systems Research Group Seminar
On the efficient implementation of large round-robin arbiters
Computer Laboratory Systems Research Group Seminar
Can we leverage a Software Defined Networking (SDN) approach on Video streaming to benefit both the Network and its Users?
Computer Laboratory Computer Architecture Group Meeting
FUSEing PolyBlaze: enabling heterogeneous multicore research
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Omega: flexible, scalable schedulers for large compute clusters
Computer Laboratory Systems Research Group Seminar
Toward an Atlas of the Physical Internet
Computer Laboratory Systems Research Group Seminar
Rethinking the Stack for Distributed Runtime Systems
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Computer Laboratory Systems Research Group Seminar
Multipath? What multipath? Positioning and communication using low frequency magneto-induction
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Abduction of Inductive Termination Preconditions
Computer Laboratory Systems Research Group Seminar
METIS: Exploring mobile phone sensing offloading for efficiently supporting social sensing applications
Computer Laboratory Systems Research Group Seminar
Analysing co-installability of software components
Computer Laboratory Systems Research Group Seminar
Productive parallel programming with Unified Parallel C
Computer Laboratory Systems Research Group Seminar
Unikernels: Library Operating Systems for the Cloud
Computer Laboratory Security Seminar
A novel, efficient, scalable and easy-to-use cryptographic key management solution for wireless sensor networks
Computer Laboratory Systems Research Group Seminar
The Role of Initial Experience in the Design of Inclusive User Interfaces
Computer Laboratory Systems Research Group Seminar
Not just Pi in the sky: low-tech solutions for social innovation
Computer Laboratory Security Seminar
CERB Banking: How to secure online banking and keep the users happy?
Computer Laboratory Systems Research Group Seminar
The charge of the light cyber brigade?
Computer Laboratory Systems Research Group Seminar
New paradigms in complex networks science: time dependence, networks of networks, spatial features, multiplexity
β οΈ This talk has been cancelled.
Computer Laboratory Systems Research Group Seminar
Internetworking with DTN
Computer Laboratory Security Seminar
Protecting your website from hackers
Computer Laboratory Systems Research Group Seminar
Dynamic flow algorithms for real-time evacuation guidance
Computer Laboratory Systems Research Group Seminar
Towards the Profiling of Twitter Users for Topic-Based Filtering + Collaborative Filtering For Recommendation
Computer Laboratory Systems Research Group Seminar
LCD-Net: Lowest Cost Denominator Networking - Enabling donated lunches in the Internet
Computer Laboratory Security Seminar
Protecting websites from social engineering attacks against your users
Computer Laboratory Systems Research Group Seminar
Information theoretic view on Privacy preservation
β οΈ Note that the change of time - now at 14:00.
Computer Laboratory Security Seminar
Who's next? Identifying risk factors for subjects of targeted attacks
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Computer Laboratory Systems Research Group Seminar
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
Computer Laboratory Systems Research Group Seminar
Fast run-time type checking for whole programs
Computer Laboratory Systems Research Group Seminar
Applying Pervasive Positioning for Crowd Behavior Recognition and Eco-Feedback
Computer Laboratory Security Seminar
An Updated Threat Model for Security Ceremonies
Computer Laboratory Systems Research Group Seminar
Large-Scale Peer-to-Peer Discovery Mechanism for Frequency Allocation
Wednesday Seminars - Department of Computer Science and Technology
Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
Computer Laboratory Systems Research Group Seminar
Terabit traffic vs. von Neumann - Ensoft Technical Talk
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Computer Laboratory Systems Research Group Seminar
Breaking for Commercials: Characterizing Mobile Advertising
Computer Laboratory Systems Research Group Seminar
Naiad: a system for incremental, iterative and interactive parallel computation
Computer Laboratory Systems Research Group Seminar
Deduplication in VM Environments
Computer Laboratory Systems Research Group Seminar
The seven deadly sins of cloud computing research
Computer Laboratory Security Seminar
Exploring compartmentalisation hypotheses with SOAAP
Computer Laboratory Systems Research Group Seminar
From geek-dream to mass-market: Will privacy-preserving technologies ever be adopted?
Computer Laboratory Security Seminar
Analysis of FileVault 2: Apple's full disk encryption scheme
Computer Laboratory Systems Research Group Seminar
Distributed, Real-Time Bayesian Learning in Online Services
Microsoft Research Cambridge, public talks
Dynamically Enforcing Knowledge-based Security Policies
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Computer Laboratory Systems Research Group Seminar
Towards productive parallel programming: Unified Parallel C
β οΈ This talk has been cacelled due to the speaker's schedule change.
Computer Laboratory Systems Research Group Seminar
Urban*: Crowdsourcing for the good of London
Computer Laboratory Security Seminar
Aurasium: Practical Policy Enforcement for Android Applications
Computer Laboratory Security Seminar
Technology Risk Management - Achilles Heels, Myths and Mirages
β οΈ Note the change in timing
Computer Laboratory Systems Research Group Seminar
Study of Twitter unfollow behavior
Computer Laboratory Security Seminar
Explorations of Science in Cyber Security
Computer Laboratory Security Seminar
Protecting Distributed Applications Through Software Diversity and Renewability
Logic and Semantics Seminar (Computer Laboratory)
Preservation under Substructures modulo Bounded Cores
β οΈ Note special date and location (GC22)
Computer Laboratory Systems Research Group Seminar
Rapidly deployable TDMA mesh network with application to disaster management
Computer Laboratory Systems Research Group Seminar
Making Middleboxes Someone Else's Problem: Network Processing as a Cloud Service
Computer Laboratory Security Seminar
Bromium: Task isolation through hardware-assisted virtualization
Computer Laboratory Systems Research Group Seminar
The Importance of Being Placefriends: Discovering Location-focused Online Communities
Computer Laboratory Computer Architecture Group Meeting
Architecture Support for Accelerator-Center Architectures
Computer Laboratory Security Seminar
Security Analysis of Industrial Control Systems
Computer Laboratory Systems Research Group Seminar
Architectures for large-scale continuous data management
Computer Laboratory Systems Research Group Seminar
Connecting the Disconnected
Computer Laboratory Systems Research Group Seminar
Human Mobility Characterization from Cellular Network Data
β οΈ Joint seminar with DTG group
Computer Laboratory Systems Research Group Seminar
Optimizing multi-layered networks with long range dependent traffic
Computer Laboratory Systems Research Group Seminar
Code-Level Formal Verification for Large Real Systems
Computer Laboratory Systems Research Group Seminar
Towards Trustworthy Embedded Systems
Computer Laboratory Systems Research Group Seminar
Generalizing Database Architecture
Computer Laboratory Systems Research Group Seminar
Energy Debugging in Smartphones
β οΈ Charlie will give his talk at MSR.
Computer Laboratory Systems Research Group Seminar
Sense and Sensibility in a Pervasive World
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
β οΈ Note that this talk will be in FW26 rather than the usual room.
Computer Laboratory Systems Research Group Seminar
Lock Inference in the Presence of Large Libraries
Computer Laboratory Systems Research Group Seminar
The Quest for Zero-Effort Indoor Localization
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
Computer Laboratory Systems Research Group Seminar
Attacks and defenses in decentralised botnets
Computer Laboratory Security Seminar
Some recent results on TLS and DTLS
Computer Laboratory Systems Research Group Seminar
Economics of BitTorrent Communities
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Computer Laboratory Systems Research Group Seminar
Facebook and Privacy: The Balancing Act of Personality, Gender, and Relationship Currency
Computer Laboratory Systems Research Group Seminar
Exploiting the Structure of Human Mobility for Opportunistic Networks
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
β οΈ CANCELLED: will most likely be rescheduled for next term
Computer Laboratory Security Seminar
Building Bankomat: Cash dispensers and the development of on-line, real-time networks in Britain and Sweden, c.1965-1985
Computer Laboratory Systems Research Group Seminar
The SUDOKU Coding Project
Computer Laboratory Security Seminar
New evidence on consumersβ willingness to pay for privacy
Microsoft Research Cambridge, public talks
Rekeyable Ideal Cipher from a Few Random Oracles
Microsoft Research Cambridge, public talks
Confining the Ghost in the Machine: Using Types to Secure JavaScript Sandboxing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Efficient Cryptography for the Next Generation Secure Cloud
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Computer Laboratory Systems Research Group Seminar
A JVM for the Barrelfish Operating System
Microsoft Research Cambridge, public talks
The science of guessing
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Systems Research Group Seminar
Towards Statistical Queries over Distributed Private User Data
Microsoft Research Cambridge, public talks
Non-Interactive Verifiable Computation
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Computer Laboratory Systems Research Group Seminar
ThinkAir: Dynamic resource allocation and parallel execution in cloud for mobile code offloading
Computer Laboratory Systems Research Group Seminar
YouTube Around the World: Geographic Popularity of Videos
Computer Laboratory Computer Architecture Group Meeting
HDL Code Generation from MATLAB and Simulink
β οΈ Note unusual location
Computer Laboratory Security Seminar
Trustworthy Medical Device Software
Computer Laboratory Security Seminar
Insecurity Engineering in Locks
Computer Laboratory Systems Research Group Seminar
Real-time verification with bigraphs with sharing
Computer Laboratory Computer Architecture Group Meeting
System-Level Management of Hybrid Accelerators
β οΈ Note unusual time
Microsoft Research Cambridge, public talks
Malleability in Modern Cryptography
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
Computer Laboratory Systems Research Group Seminar
A Scalable Approach for Managing Unstructured Information
Computer Laboratory Systems Research Group Seminar
OFLOPS: An Open Framework for OpenFlow Switch Evaluation
Computer Laboratory Systems Research Group Seminar
Bridging the Tenant-Provider Gap in Cloud Services
Computer Laboratory Automated Reasoning Group Lunches
A Proposed Framework for Analysing Security Ceremonies
Computer Laboratory Systems Research Group Seminar
Don't kill my ads! Balancing Privacy in an Ad-Supported Mobile Application Market
Computer Laboratory Systems Research Group Seminar
Rethinking file systems
Computer Laboratory Systems Research Group Seminar
Control and Understanding: Owning Your Home Network
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
Computer Laboratory Systems Research Group Seminar
So you want to do a PhD (you think)...
Computer Laboratory Security Seminar
The Yin and Yang Sides of Embedded Security
Computer Laboratory Security Seminar
Statistical Attack on RC4: Distinguishing WPA
Computer Laboratory Security Seminar
Extracting Unknown Keys from Unknown Algorithms Encrypting Unknown Fixed Messages and Returning no Results
Computer Laboratory Systems Research Group Seminar
Analysis of the call group structure in the BT call records dataset
Computer Laboratory Security Seminar
User choice of PINs and passphrases
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Microsoft Research Cambridge, public talks
Homomorphic Encryption from Ring Learning with Errors
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Systems Research Group Seminar
On User Availability Prediction And Network Applications
Computer Laboratory Computer Architecture Group Meeting
ON-CHIP DEBUG SUPPORT TO ADDRESS COMPLEXITY IN MULTIPE PROCESSOR SYSTEMS-ON-CHIP
Computer Laboratory Computer Architecture Group Meeting
Device Mechanism: Rethinking Driver Development
β οΈ Note unusual day
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
Computer Laboratory Systems Research Group Seminar
IPv6 Transition and IPv4 address sharing mechanisms
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
Computer Laboratory Systems Research Group Seminar
Experiments with dynamic networks of virtual routers
Computer Laboratory Systems Research Group Seminar
Real-Time and Real Trustworthiness: Timing Analysis of a Protected OS Kernel
β οΈ This talk is cancelled.
Computer Laboratory Systems Research Group Seminar
Quantifying Location Privacy
Computer Laboratory Computer Architecture Group Meeting
Communication Challenges for Extreme-Scale, Real-Time Neural Network Simulation
Computer Laboratory Systems Research Group Seminar
Linked Data infrastructures for HE
Computer Laboratory Systems Research Group Seminar
Reflections on the Long-term Use of an Experimental Digital Signage System
Computer Laboratory Digital Technology Group (DTG) Meetings
Web mining and privacy: foes or friends?
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
Computer Laboratory Systems Research Group Seminar
Towards a Highly Available Internet
Computer Laboratory Computer Architecture Group Meeting
Software lock elision for x86 machine code
Computer Laboratory Security Seminar
Facial Analysis for Lie Detection
Computer Laboratory Systems Research Group Seminar
Software Bloat: A systems' perspective
Computer Laboratory Systems Research Group Seminar
Why Johnny Can't Use the Cloud: And What We Can Do about It
Computer Laboratory Systems Research Group Seminar
Netmap: a novel framework for high speed packet I/O
Computer Laboratory Computer Architecture Group Meeting
Introducing the Computer Architecture Group
β οΈ New meeting time
Computer Laboratory Systems Research Group Seminar
Our Twitter Profiles, Our Selves: Personality and Use of Language
Computer Laboratory Security Seminar
Building Trusted Systems with Protected Modules
Computer Laboratory Systems Research Group Seminar
Twitter bots
Computer Laboratory Systems Research Group Seminar
Energy-Efficiency in Cloud Computing Data Centers
Computer Laboratory Systems Research Group Seminar
A New Vision for Core Router Architectures
Computer Laboratory Systems Research Group Seminar
SociableSense: Exploring the Trade-offs of Adaptive Sampling and Computation Offloading for Social Sensing
Microsoft Research Cambridge, public talks
The IITM Model and its Application to the Analysis of Real-World Security Protocol
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
Computer Laboratory Computer Architecture Group Meeting
Experiences Creating Chromebook
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Efficient Photonic Coding: a Considered Revision
Computer Laboratory Security Seminar
The great censorship war of 2011: are we winning?
Computer Laboratory Systems Research Group Seminar
Insomnia in the Access or How to Curb Access Network Related Energy Consumption
Computer Laboratory Security Seminar
Evolutionary Software Repair
Computer Laboratory Computer Architecture Group Meeting
Threads, caches and networks in CMP systems
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Verification of Microarchitectural Refinements in Rule-based Systems
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
Evaluation of Network Resilience and Survivability: Analysis, Simulation, Tools, and Experimentation
Computer Laboratory Computer Architecture Group Meeting
Hardware Protection for Trusted Software
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Changes
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Computer Laboratory Computer Architecture Group Meeting
Implementation of ISE for the micro-threaded model in LEON3 SPARC
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
The Foundations of Apple-CORE:- DRISC, Microthreading and SVP
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Using Processor Hardware Counters in Picking the Optimal Work-Stealing Policy
Computer Laboratory Systems Research Group Seminar
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment
Computer Laboratory Computer Architecture Group Meeting
RISC Instructions for Capability Acceleration
Computer Laboratory Computer Architecture Group Meeting
LiquidMetal: a unified programming language and runtime for heterogeneous platforms
Computer Laboratory Computer Architecture Group Meeting
Spatial Computation
Computer Laboratory Systems Research Group Seminar
Networks in Natural Language Processing
Computer Laboratory Computer Architecture Group Meeting
Kiwi HLS (high-level synthesis) - C# programs with FPGA acceleration
Computer Laboratory Systems Research Group Seminar
On the social scientific value of transactional data
Computer Laboratory Computer Architecture Group Meeting
Stream Chaining: Exploiting Multiple Levels of Correlation in Data Prefetching
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Computer Laboratory Systems Research Group Seminar
Calico: Disciplined Work-Stealing for Varying Core-Counts
Computer Laboratory Computer Architecture Group Meeting
The Berkeley Parallel Computing Laboratory
Computer Laboratory Security Seminar
Practical Linguistic Steganography using Synonym Substitution
Computer Laboratory Systems Research Group Seminar
Revisiting delay-based TCP, and implementing 'stateless' TCP for HTTP servers
Computer Laboratory Computer Architecture Group Meeting
Link-Time Optimization for Instruction Cache Power Efficiency
Computer Laboratory Systems Research Group Seminar
Group Processes and Local Network Dynamics
β οΈ This talk has been cancelled.
Computer Laboratory Digital Technology Group (DTG) Meetings
(Research) Influences of wind on radiowave propagation in foliated fixed wireless system / (Research) Information flow control for static enforcement of user-defined privacy policies
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Computer Laboratory Systems Research Group Seminar
Hybrid binary rewriting for memory access instrumentation
Computer Laboratory Security Seminar
Introduction to MILS and the LynuxWorks Separation Kernel
Computer Laboratory Security Seminar
The Bluespec hardware definition language
Computer Laboratory Security Seminar
Reflection on Java Security and Its Practical Impacts
Computer Laboratory Security Seminar
Architectures for Practical Client-Side Security
Computer Laboratory Security Seminar
CTSRD: Capability CPUs revisited
Computer Laboratory Security Seminar
An overview of the DARPA CRASH research programme
Computer Laboratory Automated Reasoning Group Lunches
Using the Cambridge ARM model to verify the concrete machine code of seL4
Computer Laboratory Computer Architecture Group Meeting
Field programmable parallel computing in signal and image processing - is application development too hard and what can be done about it?
β οΈ Note unusual time
Computer Laboratory Security Seminar
Mobile Social Networks and Context-Awareness: Usage, Privacy and a Solution to Texting While Driving?
Computer Laboratory Security Seminar
What is Software Assurance?
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out β An algorithmization of Chudnovskyβs and Seymourβs Structure Theorem for Claw-Free Graphs
Computer Laboratory Systems Research Group Seminar
Condensing the cloud: running CIEL on many-core
Computer Laboratory Security Seminar
Netalyzr: Network Measurement as a Network Security Problem
Computer Laboratory Systems Research Group Seminar
CIEL: a universal execution engine for distributed data-flow computing
Computer Laboratory Security Seminar
Caveat coercitor: towards coercion-evident elections
Computer Laboratory Computer Architecture Group Meeting
Steps Towards a Flexible Manycore Fabric
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Computer Laboratory Systems Research Group Seminar
Improving Content Delivery Networks by Tracking Geographic Social Cascades
Computer Laboratory Computer Architecture Group Meeting
Short-Read DNA Sequence Alignment with Custom Designed FPGA-based Hardware
Computer Laboratory Systems Research Group Seminar
Promoting location privacy... one lie at a time
Computer Laboratory Computer Architecture Group Meeting
Low Power Photonic Networks for Shared Memory Computers
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Computer Laboratory Systems Research Group Seminar
Media landscape in Twitter: A world of new conventions and political diversity
Wednesday Seminars - Department of Computer Science and Technology
Reasoning about Software Safety Integrity and Assurance
Computer Laboratory Computer Architecture Group Meeting
Time-Driven Switching: Principles and Implementation
Computer Laboratory Systems Research Group Seminar
Running dynamic algorithms on static hardware
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Computer Laboratory Systems Research Group Seminar
The Microsoft .NET Gadgeteer Prototyping Platform and Home Heating Control using Occupancy Prediction
Computer Laboratory Computer Architecture Group Meeting
Predictive Models for Microarchitectural Adaptation
Computer Laboratory Systems Research Group Seminar
Mathematical models of rumour spreading in complex social networks
Computer Laboratory NetOS Group Talklets
A report on the IAB/W3C Internet Privacy Workshop
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Computer Laboratory Systems Research Group Seminar
Query Planning in Data Streaming
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
Computer Laboratory Systems Research Group Seminar
Virtualisation in the Network
Computer Laboratory Computer Architecture Group Meeting
Building an 18 core ARM chip multiprocessor for neuronal simulation
β οΈ Room changed, Note unusual time
Computer Laboratory Systems Research Group Seminar
Is Content Publishing in BitTorrent Altruistic or Profit-Driven?
Computer Laboratory Systems Research Group Seminar
Toward Power-aware Networking
Computer Laboratory Security Seminar
Reverse Engineering Malware
Computer Laboratory Security Seminar
Bumping attacks: the affordable way of obtaining chip secrets
Computer Laboratory Systems Research Group Seminar
The CamCube project: Rethinking the data center cluster
Computer Laboratory Security Seminar
Physical Attacks on PIN Entry Devices
Computer Laboratory Computer Architecture Group Meeting
The RLOC is Dead -- Long Live the RLOC
Computer Laboratory Systems Research Group Seminar
Mining Public Transport Usage for Personalised Intelligent Transport Systems
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Computer Laboratory Systems Research Group Seminar
Workshop on the Future of Social Networking: Experts from Industry and Academia
Computer Laboratory Security Seminar
The distribution of different sources of malware
Computer Laboratory Systems Research Group Seminar
Bridging the Gap between Theory and Practice of Internet Routing
Computer Laboratory Security Seminar
Privacy preserving smart-metering
Microsoft Research Cambridge, public talks
Using SAT Solvers for Cryptographic Problems
Logic and Semantics Seminar (Computer Laboratory)
Towards Automatic Resource Consumption Certification
β οΈ Note unusual time (11am) and room (SS03)
Computer Laboratory Systems Research Group Seminar
Recommending Social Events from Mobile Phone Location Data
Computer Laboratory Security Seminar
An investigation into Chinese cybercrime and the underground economy in comparison with the West
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
β οΈ Note the unusual time (13:00)
Computer Laboratory Systems Research Group Seminar
Multi-relational Organization of Large-scale Social Networks in an Online World
Computer Laboratory Systems Research Group Seminar
Understanding Cyberattack as an Instrument of U.S. Policy
Computer Laboratory Systems Research Group Seminar
Discrete Gene Regulatory Networks: A novel approach to configuring sensor network operation
Computer Laboratory Security Seminar
Across the Pond: An Update on Health Privacy and Health Data Security. How are American patients faring?
Computer Laboratory Systems Research Group Seminar
Routing in Equilibrium
Computer Laboratory Security Seminar
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures
Computer Laboratory Computer Architecture Group Meeting
Welcome meeting
Computer Laboratory Programming Research Group Seminar
Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms
Computer Laboratory Systems Research Group Seminar
Adapting and assembling components using Cake, a language of interface relations
Computer Laboratory Systems Research Group Seminar
A mobile context monitoring platform for PAN-scale dynamic mobile computing environments
Computer Laboratory Systems Research Group Seminar
Predicting Faults in Heterogeneous, Federated Distributed Systems
Computer Laboratory Systems Research Group Seminar
Talk1: EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology Research, Talk2: Energy-Accuracy Trade-offs in Querying Sensor Data for Continuous Sensing Mobile Systems
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Computer Laboratory Systems Research Group Seminar
Towards deeply publish/subscribe-based Web
Computer Laboratory Systems Research Group Seminar
Clouds on the Horizon: Challenges in Building the Next Generation of Computing Infrastructure
Computer Laboratory Systems Research Group Seminar
Digital Moon and the Challenges of Whole Planet Modeling
Computer Laboratory Computer Architecture Group Meeting
Concurrency and Communication: Lessons from the SHIM Project
β οΈ (Re-run of talk given at MSR two weeks ago)
Computer Laboratory Systems Research Group Seminar
Programming models for the Barrelfish multi-kernel operating system
Computer Laboratory Systems Research Group Seminar
A Spark in the Cloud: Iterative and Interactive Cluster Computing
Computer Laboratory Systems Research Group Seminar
Sending software to space: a bundle of fun
Computer Laboratory Systems Research Group Seminar
Beyond The Digital Delusion: A Case for Lossy Preservation
Computer Laboratory Security Seminar
Colour, usability and computer security
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
From Herding Sheep to Herding Cats: Balancing Compliance and Innovation in the Modular Age of the Internet
Computer Laboratory Systems Research Group Seminar
A Socratic method for validation of measurement-based networking research
Computer Laboratory Systems Research Group Seminar
Seamless Clock Synchronization under Migration
Computer Laboratory Systems Research Group Seminar
DEFCon: High-Performance Event Processing with Information Security
Computer Laboratory Systems Research Group Seminar
PSIRP: Information-centric Networking
Computer Laboratory Computer Architecture Group Meeting
Enabling Runtime Monitoring on Multicores for Performance and Reliability
Computer Laboratory Systems Research Group Seminar
Anzere: replication policy scaling for personal storage networks
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 3)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 2)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 1)
Computer Laboratory Systems Research Group Seminar
NetSci Conference - Discussion
Computer Laboratory Systems Research Group Seminar
From RPC to Web Apps: Trends in Client-Server Systems
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Computer Laboratory Systems Research Group Seminar
Selective Reprogramming in Wireless Sensor Networks
Category Theory Seminar
The Scott model of Linear Logic is the extensional collapse of its relational model
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Computer Laboratory Systems Research Group Seminar
A Heuristic and Hybrid Hash-based Approach to Fast Lookup
Computer Laboratory Systems Research Group Seminar
EndRE: An End-System Redundancy Elimination Service for Enterprise Traffic
Computer Laboratory Systems Research Group Seminar
Experiences of Designing and Deploying Intelligent Sensor Nodes in Construction Sites
Current Research Topics (Computer Laboratory) 2010-11
Side-Channel Cryptanalysis
Computer Laboratory Digital Technology Group (DTG) Meetings
Privacy as a competitive advantage
Computer Laboratory Systems Research Group Seminar
Detecting Temporal Sybil Attacks
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
Computer Laboratory Security Seminar
Internet Voting: Threat or Menace
Current Research Topics (Computer Laboratory) 2010-11
Building Secure Systems On and For Social Networks
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
Computer Laboratory Systems Research Group Seminar
Operational Refinement of Image Processing (ORIP)
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Computer Laboratory Systems Research Group Seminar
Performance Monitoring in Service Provider Networks
Computer Laboratory Systems Research Group Seminar
An information-centric transport protocol
Computer Laboratory Security Seminar
The Path Towards Scalable Practical Security for Web Transactions
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Computer Laboratory Systems Research Group Seminar
How Google Tests Software
Wednesday Seminars - Department of Computer Science and Technology
Aura: A Programming Language with Authorization and Audit
IET Cambridge Network - Lectures
Chip and PIN -- notes on a dysfunctional security system
Computer Laboratory Systems Research Group Seminar
Detecting Sybil attacks and recommending social contacts from proximity records
Computer Laboratory Systems Research Group Seminar
BlogLearn: A Framework for Analytics over Corporate Blogs
Computer Laboratory Systems Research Group Seminar
Dynamic Filtering: Multi-Purpose Architecture Support for Language Runtime Systems
Darwin College Lecture Series
Risk, Security and Terrorism
Computer Laboratory Systems Research Group Seminar
Using Program Behaviour to Exploit Heterogeneous Multi-Core Architectures
Computer Laboratory Systems Research Group Seminar
Building & running your own web 2.0 service: experience from a local startup
Computer Laboratory Systems Research Group Seminar
Separating inter-domain routing and forwarding
Computer Laboratory Systems Research Group Seminar
Routing Fairness in Chord: Analysis and Enhancement
β οΈ Due to a flight delay, the speaker is still in Madrid. Unfortunately, we therefore need to cancel this talk.
Computer Laboratory Systems Research Group Seminar
Optical Communications for Data Centres and High Performance Computing
Computer Laboratory Security Seminar
Proactive Fraud Management over Financial Data Streams
Computer Laboratory Systems Research Group Seminar
Community detection algorithms: a comparative analysis
Computer Laboratory Security Seminar
The impact of incident vs. forensic response
Optimization and Incentives Seminar
Anonymity via networks of mixes
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Computer Laboratory Systems Research Group Seminar
Bringing network coding into the network
Computer Laboratory Computer Architecture Group Meeting
Accelerator: A data-parallel DSL for programming heterogonous systems
Computer Laboratory Systems Research Group Seminar
A Bit of Network Information Theory
β οΈ This talk is cancelled - due to the recent heavy snow, the speaker could not travel.
Computer Laboratory Systems Research Group Seminar
Coded Wireless Video Broadcast/Multicast - A Framework To Harvest The True Potential Of 4G Access Networks
Computer Laboratory Systems Research Group Seminar
Security Architectures for Distributed Social Networks
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Computer Laboratory Security Seminar
MPhil Mini-Symposium Security Talks
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Computer Laboratory Systems Research Group Seminar
Internet Optometry: Assessing the Broken Glasses in Internet Reachability
Computer Laboratory Security Seminar
Understanding scam victims: Seven principles for systems security
Computer Laboratory Systems Research Group Seminar
Saving the world, one handset at a time
β οΈ Note later start time
Computer Laboratory Computer Architecture Group Meeting
Massively Parallel Processor Array: an FPGA Replacement?
Computer Laboratory Opera Group Seminars
The Elephant in the Room: Health Information System Security and the User-Level Environment
Computer Laboratory Computer Architecture Group Meeting
Computer System Emulation using Multiple FPGAs
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Computer Laboratory Security Seminar
Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?
Computer Laboratory Systems Research Group Seminar
Microeconomic Modeling of Incentives for Managed Overlays
Computer Laboratory Systems Research Group Seminar
Content Centric Networking
Wednesday Seminars - Department of Computer Science and Technology
Aggregated Security Monitoring in 10GB networks
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Computer Laboratory Security Seminar
Policing Online Games -- Defining A Strong, Mutually Verifiable Reality in Virtual Games
Computer Laboratory Systems Research Group Seminar
A Dirty-slate Approach to Routing Scalability
Computer Laboratory Systems Research Group Seminar
Triangular clustering in document networks
Computer Laboratory Security Seminar
Optical surveillance on silicon chips: your crypto keys are visible
Computer Laboratory Systems Research Group Seminar
Motivating Future Interconnects: A Differential Measurement Analysis of PCI Latency
Computer Laboratory Systems Research Group Seminar
The Multikernel: A new OS architecture for scalable multicore systems
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
β οΈ FW11 FW26 not available today
Computer Laboratory Systems Research Group Seminar
RouteBricks: Exploiting Parallelism to Scale Software Routers
Computer Laboratory Systems Research Group Seminar
TDMA For Long Distance Wireless Networks
Computer Laboratory Systems Research Group Seminar
QFQ: Efficient Packet Scheduling with Tight Service Guarantees
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Computer Laboratory Systems Research Group Seminar
FreeBSD support for Stanford NetFPGA
Computer Laboratory Security Seminar
So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users
Computer Laboratory Systems Research Group Seminar
Addressing the Scalability of Ethernet with MOOSE
Computer Laboratory Systems Research Group Seminar
Mini-Course on Structure and Dynamics of Complex Networks
Computer Laboratory Computer Architecture Group Meeting
PWRficient Techniques for Today & Questions for Tomorrow
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
SIGCOMM 2009 Keynote Talk: Internet of Ideas
Computer Laboratory Systems Research Group Seminar
A Queue with Multiple Stable Regions
Computer Laboratory Security Seminar
Efficient Implementation of Physical Random Bit Sources
Computer Laboratory Systems Research Group Seminar
Ethernet Evolution from 1990 to Today
Computer Laboratory Systems Research Group Seminar
Observed Relationships between Size Measures of the Internet or Is the Internet really just a star network after all?
Computer Laboratory Systems Research Group Seminar
Biowire Workshop (Day 2/2)
Computer Laboratory Systems Research Group Seminar
Biowire Workshop (Day 1/2)
Computer Laboratory Systems Research Group Seminar
Stochastic Networks Workshop
Computer Laboratory Systems Research Group Seminar
Crowdsourcing Network Monitoring
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Computer Laboratory Systems Research Group Seminar
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors
Computer Laboratory Computer Architecture Group Meeting
A Photonic Chip-to-chip Network for C3D
Computer Laboratory Systems Research Group Seminar
Mobile Agent Electronic Triage Tag
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Computer Laboratory Systems Research Group Seminar
Online Social Networks and Applications: a Measurement Perspective
Computer Laboratory Systems Research Group Seminar
The many uses of write off-loading
Computer Laboratory Computer Architecture Group Meeting
A Communication Characterization of Splash-2 and Parsec
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
β οΈ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Computer Laboratory Systems Research Group Seminar
ClackPointSocial: Audio/Video Collaboration for OpenSocial
Computer Laboratory Digital Technology Group (DTG) Meetings
(Research) Bluetooth Tracking without Discoverability / (Skills) Deploying web user authentication with Shibboleth
Computer Laboratory Systems Research Group Seminar
PeerSoN: Privacy-Preserving P2P Social Networks
Computer Laboratory Security Seminar
Whither Challenge Question Authentication?
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Computer Laboratory Systems Research Group Seminar
Systematic Testing for Dynamically Updatable Software
Computer Laboratory Computer Architecture Group Meeting
Flow-Aware Allocation for On-Chip Networks
β οΈ Note unusual time and venue
Computer Laboratory Security Seminar
A conversation with Phil Zimmermann
Computer Laboratory Security Seminar
Bypassing Physical Security Systems
Computer Laboratory Digital Technology Group (DTG) Meetings
(Research) OpenRoomMap: Mapping the Gates building / (Skills) Best Papers Lent 2009
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
β οΈ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Computer Laboratory Computer Architecture Group Meeting
Parallel External Memory Model for Multicore Architectures
Computer Laboratory Systems Research Group Seminar
Delivery Properties of Human Social Networks
Computer Laboratory Security Seminar
Cloning MiFare Classic rail and building passes, anywhere, anytime
Computer Laboratory Systems Research Group Seminar
A Runtime System for Software Lock Elision
Computer Laboratory Systems Research Group Seminar
Pointless Tainting? Evaluating the practicality of pointer tainting
Computer Laboratory Systems Research Group Seminar
Hybrid DTN-MANET routing in Highly Dynamic Ad-hoc networks
Computer Laboratory Security Seminar
Privacy Implications of Public Listings on Social Networks
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Computer Laboratory Systems Research Group Seminar
ROAR: Increasing the Flexibility and Performance of Distributed Search
Computer Laboratory Security Seminar
High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security
Computer Laboratory Systems Research Group Seminar
Juggling with IPTV⦠or A GMPLS infrastructure for a better multicast IPTV network
Computer Laboratory Security Seminar
The Effectiveness of T-way Test Data Generation
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Computer Laboratory Systems Research Group Seminar
Securing Virtual Machine Monitors: What is Needed?
Computer Laboratory Systems Research Group Seminar
Persistent Content-based Information Dissemination in Hybrid Vehicular Networks
Computer Laboratory Security Group meeting presentations
Mobile malware prevention using temporal information
Computer Laboratory Systems Research Group Seminar
Wireless Networks: Overcoming the Challenges, Leveraging the Opportunities
Computer Laboratory Security Group meeting presentations
Security lessons from embedded devices
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Computer Laboratory Systems Research Group Seminar
IRONModel: robust performance models in the wild
Wednesday Seminars - Department of Computer Science and Technology
Privacy and HCISec: Notes From The Front
Computer Laboratory Computer Architecture Group Meeting
FPGA's NoC Freedom: You bought it, so why not use it
β οΈ Note unusual time and day
Computer Laboratory Systems Research Group Seminar
Wedge: Splitting Applications into Reduced-Privilege Compartments
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
β οΈ NOTE UNUSUAL DAY.
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
β οΈ This is the second part of a two-part series
Computer Laboratory Security Seminar
Privacy-Preserving 802.11 Access-Point Discovery
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
β οΈ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Computer Laboratory Opera Group Seminars
An overview of the Smart Flow project
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Computer Laboratory Systems Research Group Seminar
How to do a Systems PhD
Wednesday Seminars - Department of Computer Science and Technology
A Framework for the Analysis of Mix-Based Steganographic File Systems
Computer Laboratory Security Seminar
Improving Cache Performance while Mitigating Software Side-Channel Attacks
Computer Laboratory Security Seminar
Hardware security: trends and pitfalls of the past decade
Computer Laboratory Security Group meeting presentations
How secure is my messaging protocol for clinical communication?
Computer Laboratory Security Seminar
Identity Theft and the Mobile Device
Computer Laboratory Systems Research Group Seminar
DryadLINQ: distributed data-parallel computing using a high-level language
Computer Laboratory Systems Research Group Seminar
Deadlock Immunity: Teaching Systems How To Defend Against Deadlocks
Computer Laboratory Security Seminar
Bayesian Inference and Traffic Analysis
Computer Laboratory Security Seminar
Talking to strangers
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
β οΈ NOTE THE UNUSUAL TIME
Computer Laboratory Systems Research Group Seminar
Inter-domain rendezvous
Computer Laboratory Security Seminar
Economics of architectural change: resistance to distributed denial of service attacks
Computer Laboratory Security Group meeting presentations
The robustness of CAPTCHAs
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Computer Laboratory Systems Research Group Seminar
Spread-Spectrum Computation
Computer Laboratory Computer Architecture Group Meeting
Optical Interconnect - Tutorial and Initial Thoughts
Computer Laboratory Systems Research Group Seminar
Using Fair DHTs for Location Aware Service Discovery
Computer Laboratory Security Seminar
Is the Operating System the Right Place to Address Mobile Phone Security?
Computer Laboratory Systems Research Group Seminar
Optimal probing for packet networks through Design of Experiments for Markov Chains
β οΈ Contact Andrew Moore (awm22) if you want to chat with Ben prior to the talk.
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Computer Laboratory Security Seminar
Improving Tor using a TCP-over-DTLS Tunnel
Computer Laboratory Systems Research Group Seminar
Sensing, Understanding and Modelling People using Mobile Phones
Wednesday Seminars - Department of Computer Science and Technology
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Computer Laboratory Systems Research Group Seminar
Usage of FPGA for Passive Network Monitoring
Computer Laboratory Security Seminar
Browsing with the enemy: a German view
β οΈ Please note the extended duration.
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
Computer Laboratory Systems Research Group Seminar
Can I be your disruption-tolerant friend?
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Computer Laboratory Computer Architecture Group Meeting
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Please note unusual venue, date and time
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Computer Laboratory Systems Research Group Seminar
On Low Dimensional Random Projections and Similarity Search
Computer Laboratory Computer Architecture Group Meeting
Hardware multithreading
Computer Laboratory Computer Architecture Group Meeting
BEE3: Revitalizing Computer Architecture Research
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
Geosensor Networks: State of the Art
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Computer Laboratory Computer Architecture Group Meeting
Two generations of Many-Core Computational Arrays
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Mobicom Rehearsal Day
Computer Laboratory Security Seminar
Electronic health records: which is worse, the UK system or the US System?
β οΈ Please note the unusual day
Computer Laboratory Computer Architecture Group Meeting
G: A high-level packet processing language with a high-speed FPGA-based implementation
β οΈ Note unusual day and time
Computer Laboratory Systems Research Group Seminar
A talk about XenoTiny
Computer Laboratory Systems Research Group Seminar
Entropy Rate of Diffusion Processes on Complex Networks
Computer Laboratory Systems Research Group Seminar
Moving WSN Programming Abstractions into the Real World
Computer Laboratory Systems Research Group Seminar
NetFPGA: An open platform for high-speed data processing
β οΈ Let me know if you want to chat with John and I'll sort out a timetable.
Computer Laboratory Systems Research Group Seminar
Social-based Code Dissemination in Mobile Wireless Sensor Networks
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Computer Laboratory Security Seminar
Advances in Hash Cryptanalysis
Computer Laboratory Systems Research Group Seminar
Social networking 2.0: Cityware for Facebook
Computer Laboratory Security Seminar
"Fourteen Thousand Messages"
Computer Laboratory Systems Research Group Seminar
Reusing legacy device drivers in an L4-based microkernel environment
Computer Laboratory Computer Architecture Group Meeting
Combining Scratch-Pad Placement with Loop Parallelisation for FPGAs
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Computer Laboratory Systems Research Group Seminar
Deep in the Shadows: Implementation & Applications of Shadow Page Tables
Computer Laboratory Systems Research Group Seminar
Efficient Node Discovery in Mobile Wireless Sensor Networks
Computer Laboratory Computer Architecture Group Meeting
Map-reduce as a Programming Model for Custom Computing Machines
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Virtually Saving the Planet
Computer Laboratory Opera Group Seminars
Privacy-preserving datagram delivery for ubiquitous systems
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
Computer Laboratory Systems Research Group Seminar
A Weighted Spectrum Metric for Comparison of Internet Topologies
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Computer Laboratory Systems Research Group Seminar
Epidemic Streaming: the story so far
Computer Laboratory Computer Architecture Group Meeting
Xilinx ChipScope Tutorial
β οΈ Note - originally this was to be on 16th April, but it has been postponed until 30th April
Wednesday Seminars - Department of Computer Science and Technology
Copyright vs Community
β οΈ Please note the extended duration
Computer Laboratory Security Seminar
"From the Casebooks of..."
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Computer Laboratory Security Seminar
Process isolation for cloud computing using commodity operating systems
Computer Laboratory Security Seminar
An Empirical Analysis of Phishing Attack and Defense
Computer Laboratory Systems Research Group Seminar
Preventing memory error exploits with WIT
Computer Laboratory Security Seminar
Minimal TCB Code Execution
Computer Laboratory Computer Architecture Group Meeting
The next resource war: computation vs. communication
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Stabilizing Internet Routing: or, A Story of Heterogeneity
Computer Laboratory Computer Architecture Group Meeting
Synchronisation Mechanisms - A Tutorial
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
Computer Laboratory Computer Architecture Group Meeting
Tutorial on Data Driven Computation
Computer Laboratory Systems Research Group Seminar
Varnish -- programming like it is 2008
Computer Laboratory Security Group meeting presentations
MD5crypt and GBDE: observations of a non-union cryptographer
Computer Laboratory Systems Research Group Seminar
Thoughts on an Identifier/Locator Split for IPv6
Computer Laboratory Systems Research Group Seminar
Improving Xen Security through Disaggregation
Computer Laboratory Security Seminar
Is SSL provably secure ?
Computer Laboratory Computer Architecture Group Meeting
System Modeling and Dynamic Reconfiguration in Xilinx Research
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Scheduling for multi-carrier wireless systems
Computer Laboratory Computer Architecture Group Meeting
High-Performance Processing with Field-Programmable Logic
β οΈ Note unusual time and place
Computer Laboratory Systems Research Group Seminar
Perceptually motivated playout delay adaptation algorithm for VoIP network
Computer Laboratory Computer Architecture Group Meeting
Hardware defences against side channel and invasive attacks
Computer Laboratory Computer Architecture Group Meeting
Programmable Logic Core Based Post-Silicon Debug For SoCs
β οΈ Note unusual time
Computer Laboratory Security Seminar
Hot or Not: Fingerprinting hosts through clock skew
Computer Laboratory Systems Research Group Seminar
Web Programming with Links: Theory and Practice
Computer Laboratory Computer Architecture Group Meeting
Reading group: Revisiting the Sequential Programming Model for the Multicore Era
β οΈ Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
Defence against the Dark Arts
Computer Laboratory Systems Research Group Seminar
Genomic principles for feedback regulation of metabolism
Computer Laboratory Systems Research Group Seminar
Renewable Energy in Data Centres
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
β οΈ Note the unusual day.
Wednesday Seminars - Department of Computer Science and Technology
Searching for Evil
Computer Laboratory Systems Research Group Seminar
Scaling Internet Routing with Legacy Protocols
Computer Laboratory Security Seminar
Towards interactive belief, knowledge, and provability: possible application to zero-knowledge proofs
Computer Laboratory Computer Architecture Group Meeting
Designing Circuits with Parallel Programs
β οΈ last hardwrae discussion of the year
Computer Laboratory Security Seminar
Tracking the Russian Business Network (RBN)
Computer Laboratory Security Seminar
Graphical passwords: some recent results
β οΈ Note special time and day of week
Computer Laboratory Systems Research Group Seminar
Camel: Paravirtual memory CoW in Xen
Computer Laboratory Computer Architecture Group Meeting
All day seminar: Parallel Computing Everywhere
β οΈ Special one day meeting
Computer Laboratory Security Seminar
The Anti-Bank: the privatized delivery of social grants using biometric encrypted smart-cards in southern Africa
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Computer Laboratory Security Seminar
Networked information processing and privacy in Japan
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Computer Laboratory Systems Research Group Seminar
A Security Architecture for Wireless Medical Sensor Networks
Computer Laboratory Computer Architecture Group Meeting
IET/BCS talk: The Internet - Where it came from & where it is going
β οΈ IET/BCS evening talk
Computer Laboratory Systems Research Group Seminar
Isolating Untrusted Extensions in a Multiserver Operating System
Computer Laboratory Security Seminar
Authentication protocols based on human interaction in security pervasive computing
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Computer Laboratory Systems Research Group Seminar
Peer Dragnet: Tool for Analyzing Peer's Route Announcements and their Impact
Computer Laboratory Systems Research Group Seminar
Synchronization in Complex Modular Networks
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Computer Laboratory Systems Research Group Seminar
Validating Degree-Based Topology Generators
Computer Laboratory Computer Architecture Group Meeting
Design for device variability in nano CMOS
Computer Laboratory Security Seminar
Key amplification in unstructured networks
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Computer Laboratory Systems Research Group Seminar
A Machine Learning Approach for Efficient Traffic Classification
Computer Laboratory Security Seminar
Synergy of crime science and security engineering
Computer Laboratory Systems Research Group Seminar
Graph Edge Colouring Problems Arising from Optical Network Design
Computer Laboratory Security Seminar
High security locks: illusion or reality
Computer Laboratory Systems Research Group Seminar
Next Generation Dynamic Spectrum Networks
Computer Laboratory Computer Architecture Group Meeting
Communicating Process Architecture for Multicores
Computer Laboratory Security Seminar
The economics of revealing and protecting private information: Evidence from human subject experiments and surveys
β οΈ Note unusual day of the week
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Computer Laboratory Systems Research Group Seminar
Toward Dependency-Agnostic Online Upgrades in Distributed Systems
β οΈ Please note the unusual time and day
Computer Laboratory Systems Research Group Seminar
What does atomic mean?
Computer Laboratory Systems Research Group Seminar
San Fermin: Aggregating Large Data Sets using Dynamic Binomial Trees
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Wednesday Seminars - Department of Computer Science and Technology
Smart-card based authentication on an insecure network
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
Computer Laboratory Systems Research Group Seminar
Opportunistic Mobile Sensor Data Collection with SCAR
Computer Laboratory Security Seminar
Realities of online banking fraud
Computer Laboratory Opera Group Seminars
Alertme.com - implementing wireless home security 2.0
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Computer Laboratory Systems Research Group Seminar
Wide-area migration of Virtual Machines including local persistent state
Computer Laboratory Security Seminar
Towards open trusted computing frameworks
Computer Laboratory Systems Research Group Seminar
Research at the NUS Interactive Multimedia Lab
Computer Laboratory Security Seminar
The commercial malware industry
Computer Laboratory Security Seminar
Phishing tips and techniques: tackle, rigging, and how and when to phish
β οΈ Note unusual time of talk in addition to our regularly scheduled one
Computer Laboratory Systems Research Group Seminar
Optimal Wireless LAN Channel Selection Without Communication
Computer Laboratory Systems Research Group Seminar
Future innovations in virtualization technology
β οΈ Please note the unusual time and location.
Computer Laboratory Systems Research Group Seminar
Challenges in measuring wireless networks
β οΈ Note the unusual Time and Venue
Computer Laboratory Systems Research Group Seminar
Two Days in the Life of the DNS Anycast Root Servers
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Computer Laboratory Security Seminar
Alternative security mechanisms for WiFi networks
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Computer Laboratory Security Seminar
Power analysis attacks
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Computer Laboratory Security Seminar
Anonymity in the wild: Mixes on unstructured networks
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Computer Laboratory Security Seminar
Data sharing and privacy in multi-agency working
Computer Laboratory Security Seminar
A reciprocation-based economy for multiple services in P2P grids
Computer Laboratory Security Seminar
Privacy preserving censorship
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
β οΈ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Computer Laboratory Security Seminar
Politics of Internet Security
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Computer Laboratory Security Seminar
Optically enhanced position-locked power analysis
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Computer Laboratory Security Seminar
Becoming paranoid or, How I learned to start worrying and fear the Internet
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Computer Laboratory Security Seminar
Distance bounding protocols: Authentication logic analysis
β οΈ Note unusual room, day and hour
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Computer Laboratory Security Seminar
Privacy preserving data mining in distributed databases
Computer Laboratory Security Seminar
Daonity - Grid security with behaviour conformity from Trusted Computing
Computer Laboratory Security Seminar
Peer-to-peer network topologies and anonymity
Computer Laboratory Security Seminar
Milk or wine: does software security improve with age?
Computer Laboratory Security Seminar
Bluetooth Simple Pairing: public key cryptography in adhoc wireless systems
Computer Laboratory Security Seminar
Opening locks by bumping in five seconds or less: is it really a threat to physical security?
β οΈ Note change from originally publicized time
Computer Laboratory Security Seminar
Network Security Monitoring
Computer Laboratory Security Seminar
CCTV in the UK: A failure of theory or a failure of practice?
Computer Laboratory Security Seminar
An overview of vulnerability research and exploitation
Computer Laboratory Security Seminar
On inverting the VMPC one-way function
Computer Laboratory Security Seminar
Enhancing Signature-based Collaborative Spam Detection
Computer Laboratory Security Seminar
Security Flaws in Tunnel Mode IPsec
Computer Laboratory Security Seminar
Hiding on an Ethernet
Computer Laboratory Security Seminar
Design and implementation of a CC CAPP-compliant audit subsystem for the Mac OS X and FreeBSD operating systems
Computer Laboratory Security Seminar
Covert channels in TCP/IP: attack and defence
Please see above for contact details for this list.