Vertical Composition and Sound Payload Abstraction for Stateful Protocols
9:16
Vertical Composition and Sound Payload Abstraction for Stateful Protocols
Resource-Aware Session Types for Digital Contracts
8:57
Resource-Aware Session Types for Digital Contracts
Formal Verification of Secure Forwarding Protocols
10:24
Formal Verification of Secure Forwarding Protocols
Secure Compilation of Constant-Resource Programs
11:01
Secure Compilation of Constant-Resource Programs
Heuristic Approach for Countermeasure Selection Using Attack Graphs
9:57
Heuristic Approach for Countermeasure Selection Using Attack Graphs
(Bridging) the gap between formal information flow security analysis and real world applications
29:37
(Bridging) the gap between formal information flow security analysis and real world applications
A Quantale of Information
10:41
A Quantale of Information
Gradual Security Types and Gradual Guarantees
10:53
Gradual Security Types and Gradual Guarantees
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
10:44
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
Formalizing Nakamoto-Style Proof of Stake
11:27
Formalizing Nakamoto-Style Proof of Stake
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
11:17
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
A Coq proof of the correctness of X25519 in TweetNaCl
9:54
A Coq proof of the correctness of X25519 in TweetNaCl
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
10:36
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
Yes We can: Watermarking Machine Learning Models beyond Classification
9:31
Yes We can: Watermarking Machine Learning Models beyond Classification
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption
9:18
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption
Towards Language-Based Mitigation of Traffic Analysis Attacks
9:55
Towards Language-Based Mitigation of Traffic Analysis Attacks
Backwards-directed information flow analysis for concurrent programs
11:08
Backwards-directed information flow analysis for concurrent programs
Mechanised Models and Proofs for Distance-Bounding
10:55
Mechanised Models and Proofs for Distance-Bounding
CHERI capability-enhanced Arm (Morello), RISC-V, and MIPS: semantics, semantics-based testing, ...
49:22
CHERI capability-enhanced Arm (Morello), RISC-V, and MIPS: semantics, semantics-based testing, ...
Formal security analysis of MPC-in-the-head zero-knowledge protocols
10:13
Formal security analysis of MPC-in-the-head zero-knowledge protocols
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
10:54
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
Language Support for Secure Software Development with Enclaves
10:59
Language Support for Secure Software Development with Enclaves
Kachina - Foundations of Private Smart Contracts
10:15
Kachina - Foundations of Private Smart Contracts
Consistency for Functional Encryption
9:32
Consistency for Functional Encryption
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle
11:00
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle
On the Soundness of Infrastructure Adversaries
10:30
On the Soundness of Infrastructure Adversaries
Designing technology in pandemic times
42:42
Designing technology in pandemic times
Formal impact metrics for cyber-physical attacks
11:02
Formal impact metrics for cyber-physical attacks
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
10:39
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
Efficient Algorithms for Quantitative Attack Tree Analysis
10:45
Efficient Algorithms for Quantitative Attack Tree Analysis