Search

Home
Projects
Publications
Talks
Experience
Contact
CV

Caroline Trippel

Latest

Security Verification of Virtual Memory Implementations with CheckMate
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Checkmate: Automated Synthesis of Hardware Exploits and Security Litmus Tests

Powered by the Academic theme for Hugo.

Cite