Anish Athalye

According to our database, Anish Athalye authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2023

The K2 Architecture for Trustworthy Hardware Security Modules.

Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2022

Verifying Hardware Security Modules with Information-Preserving Refinement.

Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Pervasive Label Errors in Test Sets Destabilize Machine Learning Benchmarks.

Curtis G. Northcutt, Anish Athalye, Jonas Mueller

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

2020

Notary: A Device for Secure Transaction Approval.

Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich

login Usenix Mag., 2020

2019

On Evaluating Adversarial Robustness.

Nicholas Carlini, Anish Athalye, Nicolas Papernot, Wieland Brendel, Jonas Rauber, Dimitris Tsipras, Ian J. Goodfellow, Aleksander Madry, Alexey Kurakin

CoRR, 2019

2018

Evaluating and Understanding the Robustness of Adversarial Logit Pairing.

Logan Engstrom, Andrew Ilyas, Anish Athalye

CoRR, 2018

On the Robustness of the CVPR 2018 White-Box Adversarial Example Defenses.

Anish Athalye, Nicholas Carlini

CoRR, 2018

Black-box Adversarial Attacks with Limited Queries and Information.

Andrew Ilyas, Logan Engstrom, Anish Athalye, Jessy Lin

Proceedings of the 35th International Conference on Machine Learning, 2018

Synthesizing Robust Adversarial Examples.

Anish Athalye, Logan Engstrom, Andrew Ilyas, Kevin Kwok

Proceedings of the 35th International Conference on Machine Learning, 2018

Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples.

Anish Athalye, Nicholas Carlini, David A. Wagner

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

Query-Efficient Black-box Adversarial Examples.

Andrew Ilyas, Logan Engstrom, Anish Athalye, Jessy Lin

CoRR, 2017