research
∙
09/30/2022
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Hardware enclaves rely on a disjoint memory model, which maps each physi...
share
research
∙
08/07/2022
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
UCLID5 is a tool for the multi-modal formal modeling, verification, and ...
research
∙
09/05/2019
