David Theodore

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Fully Automatic

Software Architecture

Security Vulnerabilities

Top Venues

IEEE Ann. Hist. Comput.

USENIX Security Symposium

Publications

Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. CoRR (2024)
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. USENIX Security Symposium (2024)
Theodora Vardouli, David Theodore
Walking Instead of Working: Space Allocation, Automatic Architecture, and the Abstraction of Hospital Labor. IEEE Ann. Hist. Comput. 43 (2) (2021)