Ajinkya Rajput

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 3

Top Topics

Symbolic Execution

Specification Language

Accurate Models

Security Management

Top Venues

Publications

Ajinkya Rajput, Kanchi Gopinath
GARUDA: Heap aware symbolic execution. ICSE-Companion (2022)
Ajinkya Rajput, K. Gopinath
Analysis of Newer Aadhaar Privacy Models. ICISS (2018)
Ajinkya Rajput, K. Gopinath
Towards a More Secure Aadhaar. ICISS (2017)