1:02:34

[PriSC'22] BPF and Spectre: Mitigating transient execution attacks

ACM SIGPLAN

25:53

[PriSC'22] Type-directed Program Transformation for Constant-Time Enforcement

ACM SIGPLAN

25:26

[PriSC'22] Towards Understanding Spectre-PHT in Memory-Safe Languages

ACM SIGPLAN

30:38

[PriSC'22] Synthesizing Evidence of Emergent Computation

ACM SIGPLAN

1:07:56

[PriSC'22] Providing evidence for the security properties of hardware/software codesigns

ACM SIGPLAN

25:16

[PriSC'22] Composing Secure Compilers

ACM SIGPLAN

25:30

[PriSC'22] SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn

ACM SIGPLAN

21:38

[PriSC'22] The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How t

ACM SIGPLAN

28:41

[PriSC'22] A CompCert backend with symbolic encryption

ACM SIGPLAN

26:54

[PriSC'22] Effect-Oblivious Equivalence

ACM SIGPLAN

25:34

[PriSC'22] The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-g

ACM SIGPLAN