Basavesh Ammanaghatta Shivakumar

Publications

205

Citations

H-Index

2019

Active since

Affiliations

Max Planck Institute for Security and Privacy(Current)

Radboud University Nijmegen

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Institut national de recherche en sciences et technologies du numérique

Université de Lorraine

Basavesh Ammanaghatta Shivakumar is an author at Max Planck Institute for Security and Privacy specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisCryptographyData SecurityFormal MethodsHardware SecuritySoftware SecurityComputer Engineering

Publications per year

2019–2023

Publications

Razzer: Finding Kernel Race Bugs through Fuzzing

Dae R. Jeong, Kyungtae Kim, Basavesh Ammanaghatta Shivakumar et al. · 2019 · 151 citations · Full text

Engineering, Computer Architecture, Software Engineering +18

Spectre Declassified: Reading from the Right Place at the Wrong Time

Basavesh Ammanaghatta Shivakumar, J. S. Barnes, Gilles Barthe et al. · 2023 · 24 citations · Full text

Engineering, Right Place, Information Security +22

Typing High-Speed Cryptography against Spectre v1

Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire et al. · 2023 · 19 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20

Enforcing Fine-grained Constant-time Policies

Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 11 citations · Full text

Rows per page

1–4 of 4