Security Analysis at Scale
Cyber attacks, from botnets to zero-day exploits, cost the world billions each year. We're working to build trusted systems that can proactively help organizations defend against attacks, by identifying bugs and vulnerabilities in code and systems, securing them, and preventing them from being exploited.
Tools + code
Luca De Feo, Bertram Poettering, et al.2021ACM CCS 2021
Andrea Mambretti, Alexandra Sandulescu, et al.2021EuroS&P 2021
Wojciech Ozga, Do Le Quoc, et al.2021CLOUD 2021
Andrea Mambretti, Pasquale Convertini, et al.2021SANER 2021
Sanjeev Das, Kedrian James, et al.2020ACSAC 2020