1:04:41

[PriSC'23] Semantic Intermediate Representations for Sound Language Interoperability

ACM SIGPLAN

28:36

[PriSC'23] Towards End-to-End Verified TEEs via Verified Interface Conformance and Interfa...

ACM SIGPLAN

27:05

[PriSC'23] Automated Learning and Verification of Embedded Security Architectures

ACM SIGPLAN

23:24

[PriSC'23] pi_RA: A pi-calculus for verifying protocols that use remote attestation

ACM SIGPLAN

22:53

[PriSC'23] Robust Constant-Time Cryptography

ACM SIGPLAN

8:20

[PriSC'23] Short Talk: Generalising secure compilation criteria

ACM SIGPLAN

30:43

[PriSC'23] Blame-Preserving Secure Compilation

ACM SIGPLAN

21:24

[PriSC'23] Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typ...

ACM SIGPLAN

27:48

[PriSC'23] SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability M...

ACM SIGPLAN

26:41

[PriSC'23] Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers

ACM SIGPLAN

26:53

[PriSC'23] FaJITa: Verifying Optimizations on Just-In-Time Programs

ACM SIGPLAN

26:53

[PriSC'23] Universally Composable Security for Program Partitioning

ACM SIGPLAN