Anish Athalye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SOSP | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. | Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2022 | OSDI | Verifying Hardware Security Modules with Information-Preserving Refinement. | Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | SOSP | Notary: a device for secure transaction approval. | Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2018 | ICML | Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples. | Anish Athalye, Nicholas Carlini, David A. Wagner |
| 2018 | ICML | Synthesizing Robust Adversarial Examples. | Anish Athalye, Logan Engstrom, Andrew Ilyas, Kevin Kwok |
| 2018 | ICML | Black-box Adversarial Attacks with Limited Queries and Information. | Andrew Ilyas, Logan Engstrom, Anish Athalye, Jessy Lin |