basavesh.github.io/publications

Preview meta tags from the basavesh.github.io website.

Linked Hostnames

6

Search Engine Appearance

Google

https://basavesh.github.io/publications

Publications

2025 Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” In 2025 Programming Language Design and Implementation (PLDI), 2025. 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.



Bing

Publications

https://basavesh.github.io/publications

2025 Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” In 2025 Programming Language Design and Implementation (PLDI), 2025. 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.



DuckDuckGo

https://basavesh.github.io/publications

Publications

2025 Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” In 2025 Programming Language Design and Implementation (PLDI), 2025. 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.

  • General Meta Tags

    11
    • title
      Publications // Basavesh Ammanaghatta Shivakumar
    • title
      GitHub
    • title
      X
    • title
      Google Scholar
    • title
      LinkedIn

  • Open Graph Meta Tags

    6
    • og:url
      http://localhost:1313/publications/
    • og:site_name
      Basavesh Ammanaghatta Shivakumar
    • og:title
      Publications
    • og:description
      2025 Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” In 2025 Programming Language Design and Implementation (PLDI), 2025. 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.
    • US country flagog:locale
      en_us

  • Twitter Meta Tags

    3
    • twitter:card
      summary
    • twitter:title
      Publications
    • twitter:description
      2025 Kolosick, Matthew, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan. “Robust constant-time cryptography.” In 2025 Programming Language Design and Implementation (PLDI), 2025. 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.

  • Link Tags

    2
    • shortcut icon
      /favicon.ico
    • stylesheet
      /css/main.min.5b1fcc8902588589c4767187402a3c29f8b8d7a6fdef6d9f8f77045bb0d14fee.css

Emails

1

Links

10