research
∙
01/03/2023
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Currently, when a security analyst discovers a vulnerability in critical...
share
research
∙
03/22/2022
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Non-interference is a popular way to enforce confidentiality of sensitiv...
research
∙
04/13/2021
Balboa: Bobbing and Weaving around Network Censorship
We introduce Balboa, a link obfuscation framework for censorship circumv...
research
∙
07/02/2019
Build It, Break It, Fix It: Contesting Secure Development
Typical security contests focus on breaking or mitigating the impact of ...
research
∙
01/23/2019