Publications
2024
- Shastri, Jaidev, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar, Freek Verbeek, and Binoy Ravindran. “HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection.” arXiv preprint arXiv:2404.19139 (2024).
2023
-
Shivakumar, Basavesh Ammanaghatta, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, and Lucas Tabary-Maujean. “Typing high-speed cryptography against spectre v1.” In 2023 IEEE Symposium on Security and Privacy (SP), pp. 1094-1111. IEEE, 2023.
-
Shivakumar, Basavesh Ammanaghatta, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O’Connell, Peter Schwabe, Rui Qi Sim, and Yuval Yarom. “Spectre declassified: Reading from the right place at the wrong time.” In 2023 IEEE Symposium on Security and Privacy (SP), pp. 1753-1770. IEEE, 2023.
-
Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” arXiv preprint arXiv:2311.05831 (2023).
2022
- Ammanaghatta Shivakumar, Basavesh, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, and Swarn Priya. “Enforcing fine-grained constant-time policies.” In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, pp. 83-96. 2022.
2021
- Goksel, Furkan, Muslum Ozgur Ozmen, Michael Reeves, Basavesh Shivakumar, and Z. Berkay Celik. “On the safety implications of misordered events and commands in IoT systems.” In 2021 IEEE Security and Privacy Workshops (SPW), pp. 235-241. IEEE, 2021.
2020
- Berges, Paul M., Basavesh Ammanaghatta Shivakumar, Timothy Graziano, Ryan Gerdes, and Z. Berkay Celik. “On the feasibility of exploiting traffic collision avoidance system vulnerabilities.” In 2020 IEEE Conference on Communications and Network Security (CNS), pp. 1-6. IEEE, 2020.
2019
- Jeong, Dae R., Kyungtae Kim, Basavesh Shivakumar, Byoungyoung Lee, and Insik Shin. “Razzer: Finding kernel race bugs through fuzzing.” In 2019 IEEE Symposium on Security and Privacy (SP), pp. 754-768. IEEE, 2019.