![[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)
Sanaa Sharma, Department of Computer Science and Technology, University of Cambridge.
Tuesday 10 March 2026, 11:00-11:50
Computer Laboratory, William Gates Building, Room FW11
Contact: No managers listed
0 upcoming talks View 375 archived talks
Quantum Computer Architectures and Theory Seminar
Space-Time Optimisations for Early Fault-Tolerant Quantum Computation
Quantum Computer Architectures and Theory Seminar
Fault Tolerance by Construction
Quantum Computer Architectures and Theory Seminar
Spacetime Spins: Statistical mechanics for error correction with stabilizer circuits
Quantum Computer Architectures and Theory Seminar
A dataflow programming framework for linear optical distributed quantum computing
Data Science and AI in Medicine
From Explanation to Trust: Modeling and Measuring Trust in Explainable Decision Support
Quantum Computing Seminar
Classical and Quantum Algorithms for Characters of the Symmetric Group
Computer Laboratory Security Group meeting presentations
Side-channel security requirements for electronic voting equipment
Computer Laboratory Security Group meeting presentations
New time for Security Group Friday meetings
Computer Laboratory NetOS Group Talklets
An Empirical Study of Lifelong Learning on Mobile Applications
Computer Laboratory NetOS Group Talklets
Scavenger: A Black-Box Batch Workload Resource Manager for Improving Utilization in Cloud Environments
Computer Laboratory NetOS Group Talklets
Dynamic Compilation and Optimization of Software Network Functions
Computer Laboratory NetOS Group Talklets
Governance by blockchain
Women@CL Events
Women@CL Talklet Event
Computer Laboratory NetOS Group Talklets
IPSN/ IoTDI trip report
Computer Laboratory Security Group meeting presentations
Issues with using CVEs, CWE classification, and associated resources to perform system security evaluations
Computer Laboratory NetOS Group Talklets
Mobile Systems group research
Computer Laboratory NetOS Group Talklets
Snape: The Dark Art of Handling Heterogeneous Enclaves
Women@CL Events
Women@CL Talklet Event
Computer Laboratory NetOS Group Talklets
In-Network Computing
Computer Laboratory NetOS Group Talklets
Cambridge Digital Communications Model: Live software demonstration
Computer Laboratory NetOS Group Talklets
CHERI: a step change in security at the hardware/software interface
Women@CL Events
Women@CL Talklet Event
Computer Laboratory NetOS Group Talklets
Bounding data races in space and time
Computer Laboratory NetOS Group Talklets
Rust for Systems Development
Computer Laboratory Security Group meeting presentations
Bribery, cryptocurrencies and smart contracts
Computer Laboratory NetOS Group Talklets
Q&A session
Computer Laboratory NetOS Group Talklets
The tao of conference organisation
Computer Laboratory NetOS Group Talklets
Resolving Consensus
Computer Laboratory NetOS Group Talklets
FPGAs? What are they good for?
Computer Laboratory NetOS Group Talklets
New Term! Introductions and Welcome
Computer Laboratory NetOS Group Talklets
Centre for Digital Built Britain
Computer Laboratory NetOS Group Talklets
Privacy Markets
Computer Laboratory NetOS Group Talklets
SIGCOMM 2018 Trip Report
Computer Laboratory NetOS Group Talklets
ANCS 2018 Trip Report
Computer Laboratory NetOS Group Talklets
Asynchronous Convergence of Policy-Rich Distributed Bellman-Ford Routing Protocols
Computer Laboratory NetOS Group Talklets
One Primitive for all, all for one: Enabling Dynamic Datacenter Load Balancing
Computer Laboratory NetOS Group Talklets
cmm_of_wasm: From WebAssembly to Native Code via the OCaml Backend
Computer Laboratory NetOS Group Talklets
TBC
Computer Laboratory NetOS Group Talklets
When DDoS attacks meet traffic engineering
Computer Laboratory NetOS Group Talklets
TBC
Computer Laboratory NetOS Group Talklets
IoT Network behaviour and dependency
Computer Laboratory NetOS Group Talklets
Event Triggered Monitoring of Traffic Clusters
Computer Laboratory NetOS Group Talklets
How can Trustzone help with securing microservice-oriented apps?
Computer Laboratory NetOS Group Talklets
Future Cities Research
Computer Laboratory NetOS Group Talklets
Databox Storage
Computer Laboratory NetOS Group Talklets
A mobile approach to IoT spectrum monitoring in Smart Cambridge
Computer Laboratory NetOS Group Talklets
Databox
Computer Laboratory NetOS Group Talklets
Owl: Zoo System
Computer Laboratory NetOS Group Talklets
Owl - Project Summary and Future Plans
Computer Laboratory NetOS Group Talklets
P4Debug: A Framework for Debugging Programmable Data Planes
Women@CL Events
Women @Cl Talklet Event
Computer Laboratory NetOS Group Talklets
Practice Talk for AIES 2018
Computer Laboratory Security Group meeting presentations
Antikernel: a decentralized secure hardware-software operating system architecture
Women@CL Events
Women@CL talklet event
Computer Laboratory NetOS Group Talklets
Mining Large-Scale Internet Data to Find Stealthy Abuse
β οΈ This is a full talk NOT a talklet.
Computer Laboratory NetOS Group Talklets
User-centric Composable Services for Data Analytics: SOSP17 Poster Presentation
Computer Laboratory NetOS Group Talklets
Using inaudible high-frequency sound to verify device proximity
Computer Laboratory NetOS Group Talklets
Using inaudible high-frequency sound to verify device proximity
Computer Laboratory NetOS Group Talklets
Functional Programming in a Stateful World
Computer Laboratory Security Group meeting presentations
SECURE project
Computer Laboratory NetOS Group Talklets
Automerge: Concurrently Editable Data Structures in JavaScript
Computer Laboratory NetOS Group Talklets
Optical Networking for Australian research & the SKA
Computer Laboratory Security Group meeting presentations
Building a secure bank from the ground up
Computer Laboratory NetOS Group Talklets
Engineering a CDN: The Challenges of Building and Scaling to 100 Million Monthly Requests
Computer Laboratory NetOS Group Talklets
Overview of ARM TrustZone
Computer Laboratory NetOS Group Talklets
Eurosys 2017 Trip Report
Computer Laboratory Security Group meeting presentations
1000 days of UDP amplification DDoS attacks
Computer Laboratory Security Group meeting presentations
Verifyable random bit generation
Computer Laboratory NetOS Group Talklets
Trip Report: Google Networking Summit
Computer Laboratory NetOS Group Talklets
FOSDEM 2017 Conference Report
Computer Laboratory NetOS Group Talklets
Networked Systems Research Update
Computer Laboratory NetOS Group Talklets
Modular Macros for OCaml
Computer Laboratory NetOS Group Talklets
ICNP 2016: Report
Computer Laboratory NetOS Group Talklets
Consensus as a Network Service
Computer Laboratory Security Group meeting presentations
The human factor in software updates
Computer Laboratory NetOS Group Talklets
Getting higher network performance on MirageOS
Computer Laboratory NetOS Group Talklets
OpenFlow-based Migration and Management of the TouIX IXP
Computer Laboratory NetOS Group Talklets
Can we use PTP to detect network congestion/measure network latency?
Computer Laboratory Security Group meeting presentations
AXIOM Beyond Encryption
Computer Laboratory NetOS Group Talklets
Trip report from S-REPLS 4
Computer Laboratory NetOS Group Talklets
IoT Observatory: technological, legal and ethical challenges
Computer Laboratory NetOS Group Talklets
Second Chances
Computer Laboratory NetOS Group Talklets
Light at the middle of the tunnel: middleboxes for selective disclosure of network monitoring to distrusted parties
Computer Laboratory NetOS Group Talklets
Approximate Computing
Computer Laboratory NetOS Group Talklets
Bots on Twitter
Computer Laboratory NetOS Group Talklets
Integrating biological data: new opportunities and road ahead
Computer Laboratory NetOS Group Talklets
Network Aware Service Placement for Community Networks
Computer Laboratory NetOS Group Talklets
Minute of Madness Practice Talk - IoT
Computer Laboratory NetOS Group Talklets
Towards Compilation of Affine Algebraic Effect Handlers
Computer Laboratory NetOS Group Talklets
Schedulers for Hybrid Data Center Networks
Computer Laboratory NetOS Group Talklets
Trip Report on NSDI and ACM SOSR
Computer Laboratory NetOS Group Talklets
Tuning Computer Systems with Structured Bayesian Optimization
Computer Laboratory Security Group meeting presentations
A new packet filtering technique
Computer Laboratory NetOS Group Talklets
MoonGen - A fast and flexible software packet generator
Computer Laboratory NetOS Group Talklets
TBC
Computer Laboratory NetOS Group Talklets
Managing Infrastructure as code with Puppet
Computer Laboratory NetOS Group Talklets
Big Data for Development
Computer Laboratory NetOS Group Talklets
Unanimous Revisited: Distributed consensus for geo-replication
Computer Laboratory NetOS Group Talklets
An overview of data management research at the Institute for Manufacturing
Computer Laboratory NetOS Group Talklets
TBC
Computer Laboratory NetOS Group Talklets
Trip Report for CoNEXT
Computer Laboratory NetOS Group Talklets
Trip report P4 Workshop at Stanford
Computer Laboratory NetOS Group Talklets
Consistency as Knowledge
Computer Laboratory Security Group meeting presentations
Secure multipath communications
Women@CL Events
Mentoring Workshop
Computer Laboratory NetOS Group Talklets
Content search and availability estimation in mobile opportunistic networks
Computer Laboratory NetOS Group Talklets
Content search and availability estimation in mobile opportunistic networks.
Computer Laboratory NetOS Group Talklets
ACM IMC Trip Report
Computer Laboratory Security Group meeting presentations
Raven β attacks and countermeasures
Computer Laboratory Security Group meeting presentations
About the (in)security of CAPTCHAs
Computer Laboratory Security Group meeting presentations
Behavioral Decision Making in Interdependent Security Games
Computer Laboratory NetOS Group Talklets
Culture clash: logic meets the real world
women@CL Big Sister Little Sister Events
Welcome Event For New Students 2015
β οΈ If you have a question about this talk, please contact Guo (gy238@cam.ac.uk) or Flora (fp289@cam.ac.uk)
Computer Laboratory NetOS Group Talklets
Confluence of circumstance, Test of Time, and all that jazz.
Computer Laboratory NetOS Group Talklets
Scalability and Efficiency in Multitier Data Storage
Computer Laboratory NetOS Group Talklets
Hybrid firewalling with FPGA + iptables
Computer Laboratory NetOS Group Talklets
On-Demand Hosting and Scaling of Mobile User Apps
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Storage encryption for the Cloud (Irmin)
Computer Laboratory NetOS Group Talklets
Coracle demo - Putting consensus to the test
Computer Laboratory NetOS Group Talklets
<<see netos mailing list>>
Computer Laboratory NetOS Group Talklets
Reagents : combinators for writing concurrent libraries.
Computer Laboratory NetOS Group Talklets
How to merge version-controlled distributed data-structures ?
Computer Laboratory NetOS Group Talklets
Trip report
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Kvasir: Scale up Latent Semantic Analysis-Based Content Provision
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Scalability! But at what COST?
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Computer Laboratory NetOS Group Talklets
CrisisSignal and Google Trends - What have we learned so far
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Computer Laboratory NetOS Group Talklets
RFC 376616 - The Collaborative Friendship Forming Energising Elixir (CoFFEE) Protocol
Computer Laboratory NetOS Group Talklets
SCANDEX: Service Centric Networking for the Challenged World?
Computer Laboratory Security Group meeting presentations
John Ioannidis visits
Computer Laboratory NetOS Group Talklets
Unanimous: In Pursuit of Edge Network Consensus
Computer Laboratory NetOS Group Talklets
What is C in practice
Computer Laboratory NetOS Group Talklets
What is C anyway?
β οΈ note that this weeks talklet will be longer than usual
Computer Laboratory NetOS Group Talklets
Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Live demo of 2048 game served from a Cubieboard
Computer Laboratory NetOS Group Talklets
Report from SENSORNETS 2015
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Managing Sensor Processing Tasks in the Heterogeneous Mobile Environment: Scheduling Computations across the CPU, DSP and Cloud Services
Computer Laboratory NetOS Group Talklets
Integrating mobility sensing with SDN for disaster resilient networks.
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Repeatable execution, and why operating systems should support it
Computer Laboratory NetOS Group Talklets
Robustness in Software-Defined Networks
Women@CL Events
Lunch panel discussion: Successful scholarship applications
Computer Laboratory NetOS Group Talklets
Tor traffic: A second-class citizen on the Internet?
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
FlowK: Information Flow Control for the Cloud
Computer Laboratory Security Group meeting presentations
Applying game theory to cybersecurity problems
Computer Laboratory NetOS Group Talklets
Back to the future part 2
Women@CL Events
CV Clinic
Computer Laboratory NetOS Group Talklets
Rack to the Future: Network Accelerated Consensus with Exo
Computer Laboratory NetOS Group Talklets
Informal Methods: A personal search for practical alternatives to βmoral improvement through sufferingβ in systems research (Lightning-talk version)
Computer Laboratory Security Group meeting presentations
A Look at the Consequences of Internet Censorship Through an ISP Lens
Computer Laboratory NetOS Group Talklets
Fast and Flexible Network I/O with CamIO Virtual Devices
women@CL Big Sister Little Sister Events
Welcome Event For New Students 2014
β οΈ If you have a question about this talk, please contact Annalisa (ao356@cam.ac.uk) or Negar (nm537@cam.ac.uk)
Computer Laboratory NetOS Group Talklets
DEMO: A USE CASE FOR THE HUB-OF-ALL-THINGS
Computer Laboratory NetOS Group Talklets
Does Internet censorship impact online ad revenue?
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
JIT compilation for packet filtering using Netmap and LLVM
Computer Laboratory NetOS Group Talklets
Swift: The Future of Mobile Development?
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Who by sound and who by ground, who by pin and who by skin: side-channel key extraction from PCs
Computer Laboratory NetOS Group Talklets
efficient synchronization of immutable DAGs
Computer Laboratory NetOS Group Talklets
Using parallel computing methods at CERN
Computer Laboratory NetOS Group Talklets
Cheat! Stopping receivers from subverting TCP congestion control
Computer Laboratory Security Group meeting presentations
Orchestrated crime: the high yield investment fraud ecosystem
Computer Laboratory NetOS Group Talklets
Q&A with Graham Titmus
Computer Laboratory NetOS Group Talklets
Palirria: Accurate On-line Parallelism Estimation for Adaptive Work-Stealing
Computer Laboratory NetOS Group Talklets
OCaml-TLS-0.1: Design and Future
Computer Laboratory NetOS Group Talklets
Making decisions under uncertainty: a solution for engineers
Computer Laboratory NetOS Group Talklets
Beyond Duty-Cycled Smartphone Sensing: Exploring Co-Processor Computation for Truly Continuous Sensing
Computer Laboratory NetOS Group Talklets
DIOS: a new operating system for data centres (with demo)
Computer Laboratory NetOS Group Talklets
The HAT Project
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
On the efficacy of APUs for heterogeneous graph computation
Computer Laboratory Security Group meeting presentations
Chip and Skim: cloning EMV cards with the pre-play attack
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Building a Cyber eco-system
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
NetOS Talklet
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Measuring impact of Internet censorship on user behavior
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Security of deployed Android devices - When do Android devices get security updates for root exploits?
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Accelerometer-Based Transportation Mode Detection on Smartphones
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Efficient Template Attacks
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Effect of Internet censorship on user behavior
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Experimenting with a fast key value store
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
GPU-mediated direct-memory-access attacks in a smart phone
Computer Laboratory Security Group meeting presentations
Meeting with CL System Administration
Computer Laboratory Security Group meeting presentations
De-anonymizing D4D datasets
Computer Laboratory Security Group meeting presentations
Security informed safety
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
The great cyberscare
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Facebook and privacy
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
DCLSS
Computer Laboratory NetOS Group Talklets
MetaDroid: A Framework for Automatic Identiο¬cation of Malicious Applications Through App-Market Metadata
Computer Laboratory NetOS Group Talklets
Hoodsquare
Computer Laboratory Security Group meeting presentations
Technology Risk Management Guidelines and Regulations for the Safety & Soundness of the Financial Industry in Singapore
Computer Laboratory Security Group meeting presentations
Summary of ECRYPT II summer school
Computer Laboratory Security Group meeting presentations
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Weightless: a new standard for M2M communication
Computer Laboratory Security Group meeting presentations
Observation skill and personal safety β workshop
Computer Laboratory Security Group meeting presentations
Perky "Canada" Has Own Privacy Governance, Laws
Computer Laboratory Security Group meeting presentations
Title to be confirmed
Computer Laboratory Security Group meeting presentations
BGP security and where BGPSEC is heading
Computer Laboratory Security Group meeting presentations
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Malware analysis with multiple features
Computer Laboratory Security Group meeting presentations
Automatic generation of the kernel integrity monitor and how to protect the integrity monitor itself
Computer Laboratory Security Group meeting presentations
Linguistic properties of multi-word passphrases
Computer Laboratory Security Group meeting presentations
Encoding D-Bus protocol state machines for testing client implementations
Computer Laboratory Security Group meeting presentations
Trends in sophisticated hacking
Computer Laboratory Security Group meeting presentations
The security cost of cheap user interaction
Computer Laboratory Security Group meeting presentations
Hardware security in nanometer CMOS
Computer Laboratory Security Group meeting presentations
The world needs something stronger than passwords which we can all use
Computer Laboratory Security Group meeting presentations
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Defragmentation of compressed bitstreams for H.264/AVC video evidence recovery
Computer Laboratory Security Group meeting presentations
Might Financial Cryptography Kill Financial Innovation? - The Curious Case of EMV
Computer Laboratory NetOS Group Talklets
Part II project talks
Computer Laboratory NetOS Group Talklets
A report on the IAB/W3C Internet Privacy Workshop
Computer Laboratory NetOS Group Talklets
Report from the IETF
Computer Laboratory NetOS Group Talklets
SenSys trip report
Computer Laboratory Security Group meeting presentations
Do you Skyhoo? or Inside a killer IMBot
Computer Laboratory NetOS Group Talklets
A look at some questions in personal storage
Computer Laboratory NetOS Group Talklets
Using information flow control to manage privacy
Computer Laboratory NetOS Group Talklets
Asset-task assignment under execution uncertainty
Computer Laboratory NetOS Group Talklets
Royal Society Web Science workshop trip report
Computer Laboratory NetOS Group Talklets
OSDI 2010 Trip Report
Computer Laboratory NetOS Group Talklets
UbiComp 2010 best paper candidates
Computer Laboratory Security Group meeting presentations
Trip report for CHES and FDTC 2010
Computer Laboratory Security Group meeting presentations
Trip report for PETS 2010
Computer Laboratory Security Group meeting presentations
Side-Channel Attack Resistant ROM-Based AES S-Box
Computer Laboratory Security Group meeting presentations
MeLock
Computer Laboratory NetOS Group Talklets
GCD - Grand Central Dispatch
Computer Laboratory Security Group meeting presentations
Smart card detective: an EMV interceptor
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Personal Containers: Yurts for Digital Nomads
Computer Laboratory NetOS Group Talklets
EuroSys trip report
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Application identification
Computer Laboratory Security Group meeting presentations
Capsicum: Practical capabilities for UNIX
Computer Laboratory NetOS Group Talklets
EWSN Trip Report
Computer Laboratory NetOS Group Talklets
Zero-copy programming
Computer Laboratory NetOS Group Talklets
Introduction to NetOS infrastructure
Computer Laboratory Security Group meeting presentations
Machiavelli confronts 21st century digital technology
Computer Laboratory NetOS Group Talklets
DSR Energy-Aware
Computer Laboratory Security Group meeting presentations
Statistical Attacks on Personal Knowledge Questions
Computer Laboratory NetOS Group Talklets
Turning down the LAMP: software specialisation for the cloud
β οΈ This is an informal talk about early work on the topic, not much slideware
Computer Laboratory NetOS Group Talklets
Inferring Interests from Mobility and Social Interactions
Computer Laboratory NetOS Group Talklets
Report on the Internet Measurement Conference
Women@CL Events
Speaker Lunch with Marian Petre - Interviewing strategies (Stand out from the crowd)
β οΈ Note unusual date and room!
Computer Laboratory NetOS Group Talklets
Summary of Sensys '09
Computer Laboratory NetOS Group Talklets
Why SHIM6 is likely to fail
Computer Laboratory NetOS Group Talklets
Social nets and green networks
Computer Laboratory NetOS Group Talklets
SOSP trip report
Computer Laboratory NetOS Group Talklets
The mythical matched modules: overcoming inflexible software construction
Computer Laboratory NetOS Group Talklets
Diversity of Multipath Delay in the Internet
Computer Laboratory Security Group meeting presentations
Towards copy-evident JPEG images
β οΈ Practice talk for Informatik 2009
Computer Laboratory Security Group meeting presentations
A spatial cloaking framework based on range search for nearest neighbor search
Computer Laboratory Security Group meeting presentations
Faster and timing-attack resistant AES-GCM
Computer Laboratory NetOS Group Talklets
Predicting Mobile User Location through Nonlinear Time Series Analysis
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory NetOS Group Talklets
Systemic Availability and Connectivity in Hard Terrain Environments
Computer Laboratory NetOS Group Talklets
Cake: a language for linking mismatched object code
Computer Laboratory NetOS Group Talklets
Automatic insertion of useful log points in production programs
Computer Laboratory NetOS Group Talklets
Structure and Interpretation of Computer Programs!
Computer Laboratory NetOS Group Talklets
A look into social network dynamics
Computer Laboratory NetOS Group Talklets
Temporal Distance Metrics for Social Network Analysis
Computer Laboratory NetOS Group Talklets
Nephology -- towards a scientific method for cloud computing
Computer Laboratory Security Group meeting presentations
Conference report: Financial Cryptography 2009
Computer Laboratory NetOS Group Talklets
Political, Philosophical and Economic Assumptions behind my research
Computer Laboratory Security Group meeting presentations
Mobile malware prevention using temporal information
Computer Laboratory NetOS Group Talklets
The 'convergence' of operating systems and distributed systems
Computer Laboratory Security Group meeting presentations
Security lessons from embedded devices
Computer Laboratory NetOS Group Talklets
Latency in PCI
Computer Laboratory NetOS Group Talklets
Fault Tolerance using Live Execution Replay in Virtual Machines
Women@CL Events
Lunch with Silvia Breu
Computer Laboratory NetOS Group Talklets
Baggy bounds checking
Computer Laboratory Security Group meeting presentations
How secure is my messaging protocol for clinical communication?
Computer Laboratory NetOS Group Talklets
Distributed Virtual Environment Security
Computer Laboratory Security Group meeting presentations
The robustness of CAPTCHAs
Computer Laboratory NetOS Group Talklets
Adapting binary software with multiple object layouts
Computer Laboratory Security Group meeting presentations
An introduction to EMV
Computer Laboratory NetOS Group Talklets
Virtualising 3D Hardware
Computer Laboratory Security Group meeting presentations
ATM Security 2008 Conference
Computer Laboratory NetOS Group Talklets
Free Stuff Is Wasted Stuff
Computer Laboratory NetOS Group Talklets
Exploring the Limits of Disjoint Access Parallelism
Computer Laboratory Security Group meeting presentations
Security economics
Computer Laboratory NetOS Group Talklets
A Transactional Approach To Lock Scalability
Computer Laboratory NetOS Group Talklets
Revisiting the I/O Bottleneck
Computer Laboratory Security Group meeting presentations
Thinking inside the box: system-level failures of tamper proofing
β οΈ Practice talk for IEEE Security and Privacy (Oakland)
Computer Laboratory NetOS Group Talklets
Selective Code Update on Mobile Wireless Sensor Networks
Computer Laboratory Security Group meeting presentations
On a new e-Voting scheme
Computer Laboratory NetOS Group Talklets
Time-aware Routing in Wireless Sensor Networks
Computer Laboratory Security Group meeting presentations
A Sybil-proof one-hop DHT
Computer Laboratory NetOS Group Talklets
Linkage graphs and what they look like
Computer Laboratory NetOS Group Talklets
Comparing Predictors
Computer Laboratory Security Group meeting presentations
MD5crypt and GBDE: observations of a non-union cryptographer
Computer Laboratory NetOS Group Talklets
Transactional Memory
Computer Laboratory NetOS Group Talklets
Disaggregated Libraries
Computer Laboratory Security Group meeting presentations
Healthcare data research
Computer Laboratory NetOS Group Talklets
Epidemic Spread in Dynamic Human Networks
Computer Laboratory NetOS Group Talklets
An Introduction to Metarouting
Computer Laboratory Security Group meeting presentations
Summary of the 24th Chaos Communication Congress
Computer Laboratory Security Group meeting presentations
Security seminar presentation
Computer Laboratory NetOS Group Talklets
MOOSE: Boosting Ethernet's Scalability
Computer Laboratory NetOS Group Talklets
Title to be confirmed
Computer Laboratory Security Group meeting presentations
Practical web application security
Computer Laboratory NetOS Group Talklets
Network Monitoring and Endace
Computer Laboratory Security Group meeting presentations
HCI perspectives on security
Computer Laboratory NetOS Group Talklets
Multi-tier language security: The example of LINKS
Computer Laboratory NetOS Group Talklets
SOSP Trip Report
Mini Courses in Theoretical Computer Science
Proving program termination (Part 3)
Computer Laboratory Security Group meeting presentations
Discussion: Bi-directional authentication in TLS
Mini Courses in Theoretical Computer Science
Proving program termination (Part 2)
Computer Laboratory NetOS Group Talklets
Container IO: System Support For Application Controlled Disk I/O
Mini Courses in Theoretical Computer Science
Proving program termination (Part 1)
Computer Laboratory Security Group meeting presentations
Short presentation on research by the AFP Computer Forensic Team
Computer Laboratory Security Group meeting presentations
A new approach to E-banking
β οΈ Practice talk for NordSec
Computer Laboratory Security Group meeting presentations
Attacks on real-world wireless sensor networks
Computer Laboratory Security Group meeting presentations
Summary of USENIX Security 2007
Computer Laboratory Security Group meeting presentations
Protecting online games
Computer Laboratory Security Group meeting presentations
Exploiting concurrency vulnerabilities in system call wrappers
β οΈ Practice talk for USENIX Security WOOT
Computer Laboratory Security Group meeting presentations
Keep your enemies close: Distance bounding against smartcard relay attacks
β οΈ Practice talk for USENIX Security
Computer Laboratory Security Group meeting presentations
Cyberdice 2: Peer-to-peer gambling in presence of cheaters
Computer Laboratory Security Group meeting presentations
Cyberdice: peer-to-peer gambling in the presence of cheaters
Computer Laboratory Security Group meeting presentations
Experiences as an e-counting election observer
Computer Laboratory Security Group meeting presentations
OpenHSM: An Open key life cycle protocol for Public Key Infrastructure's Hardware Security Modules
Computer Laboratory Security Group meeting presentations
On password-based key exchange
Computer Laboratory Security Group meeting presentations
Composer in residence conversation
Computer Laboratory Security Group meeting presentations
Resiliency aspects of security protocols
β οΈ Practice talk for Security Protocols Workshop
Computer Laboratory Security Group meeting presentations
Towards a security policy for ubiquitous healthcare systems
Computer Laboratory Security Group meeting presentations
Identity-based and inter-domain password authenticated key exchange for pervasive systems
Computer Laboratory Security Group meeting presentations
Hot or Not: Revealing Hidden Services by their Clock Skew
β οΈ Practice talk for ACM CCS
Computer Laboratory Security Group meeting presentations
Cache collision timing attacks against AES
Please see above for contact details for this list.