Aseem Rastogi

16 papers and 231 indexed citations i.

Aseem Rastogi has authored 16 papers that have received a total of 231 indexed citations. This includes 15 papers in Artificial Intelligence, 6 papers in Information Systems and 4 papers in Computer Networks and Communications. The topics of these papers are Security and Verification in Computing (11 papers), Logic, programming, and type systems (9 papers) and Cryptography and Data Security (4 papers). Aseem Rastogi is often cited by papers focused on Security and Verification in Computing (11 papers), Logic, programming, and type systems (9 papers) and Cryptography and Data Security (4 papers) and collaborates with scholars based in United States, India and United Kingdom. Aseem Rastogi's co-authors include Nikhil Swamy, Cédric Fournet, Tahina Ramananandro, Cătălin Hriţcu and Jonathan Protzenko and has published in prestigious journals such as ACM SIGPLAN Notices and Proceedings of the ACM on Programming Languages