Research
Poirot: Private Contact Summary Aggregation (2020 - Present)
Poirot helps combat the spread of COVID-19 by measuring physical distancing and computing aggregate statistics while protecting privacy of individual users.
Secure and Accountable I/O (2018 - Present)
Minimal enforcement layers built on trusted hardware to provide control and accountability for users' sensitive I/O data.
Attacks on Real-World Uses of Machine Learning (2016 - present)
Some real-world uses of machine learning, e.g., for face recognition and malware detection, can be fooled
Behavioral Verification (2011 - present)
Verifying that received messages are consistent with claimed client software can be an effective server defense