53:49

Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing

ACM SIGPLAN

22:19

Reconciling Progress-Intensive Noninterference and Declassification

ACM SIGPLAN

23:38

A CompCert Compiler that Preserves Cryptographic Constant-time

ACM SIGPLAN

24:59

Universal Composability is Secure Compilation

ACM SIGPLAN

24:53

Exploits as Insecure Compilation

ACM SIGPLAN

3:56

Automatically Eliminating Speculative Leaks with Blade

ACM SIGPLAN

8:09

Everparse: A Verifying Compiler from Data Format Specifications to Verified Efficient Parsers

ACM SIGPLAN

23:20

Flexible Tag-based Policies for Compartmentalized C

ACM SIGPLAN

22:38

Securing Interruptible Enclaves

ACM SIGPLAN

23:32

WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing

ACM SIGPLAN

25:43

Memory Safety Preservation for WebAssembly

ACM SIGPLAN

24:12

Implementing a Capability Machine Model into Iris

ACM SIGPLAN

24:35

Exorcising Spectres with Secure Compilers

ACM SIGPLAN