Microsoft Research (India) — India
Computer Science · Physical Sciences
15h-index1.6kcitations47works0.82yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(32), Logic, programming, and type systems(20), Advanced Malware Detection Techniques(15), Formal Methods in Verification(9), Cryptography and Data Security(8)
Publications47 total
arXiv (Cornell University)·2025Open Access
Proceedings of the ACM on Programming Languages·2025· 3 citedOpen Access
Proceedings of the ACM on Programming Languages·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2023· 15 citedOpen Access
arXiv (Cornell University)·2023· 4 citedOpen Access
2023· 5 citedOpen Access
Figshare·2023Open Access
2021· 9 citedOpen Access
Proceedings of the ACM on Programming Languages·2021· 16 citedOpen Access
Artifact Digital Object Group·2021· 3 cited
2021· 12 cited
2020· 284 citedOpen Access
Proceedings of the ACM on Programming Languages·2020· 26 citedOpen Access
2019· 102 citedOpen Access
2019· 14 cited
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 1 citedOpen Access
page 1 of 3Next →
Frequent Co-authors
Nikhil Swamy(24), Tahina Ramananandro(13), Jonathan Protzenko(11), Cédric Fournet(10), Cătălin Hriţcu(10), Akash Lal(9), Guido Martínez(8), Santiago Zanella-Béguelin(7), Kenji Maillard(6), Karthikeyan Bhargavan(5), Danel Ahman(5), Aymeric Fromherz(5), Niklas Grimm(4), Matteo Maffei(4), Pantazis Deligiannis(4), Ajay Brahmakshatriya(4), Piyus Kedia(4), Derrick McKee(4), Pratik Bhatu(4), Antoine Delignat-Lavaud(3)