Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Front Matter
Foundations for Parallel Information Flow Control Runtime Systems
A Formal Analysis of Timing Channel Security via Bucketing
A Dependently Typed Library for Static Information-Flow Control in Idris
Achieving Safety Incrementally with Checked C
: A DSL for Verified Secure Multi-party Computations
Generalised Differential Privacy for Text Document Processing
Symbolic Verification of Distance Bounding Protocols
On the Formalisation of -Protocols and Commitment Schemes
Orchestrating Layered Attestations
Verifying Liquidity of Bitcoin Contracts
Back Matter
← Prev
Back
Next →
← Prev
Back
Next →