Rastogi, Aseem

CrypTFlow: Secure TensorFlow Inference

Kumar, N., Rathee, M., Chandran, N., Gupta, D., Rastogi, A., & Sharma, R. (2020) · 2020 IEEE Symposium on Security and Privacy (SP)

Cryptography and Data SecuritySecurity and Verification in Computing

Cited by 245

Ranking LLM-Generated Loop Invariants for Program Verification

Chakraborty, S., Lahiri, S., Fakhoury, S., Lal, A., Musuvathi, M., Rastogi, A., Senthilnathan, A., Sharma, R., & Swamy, N. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 37

Finding Inductive Loop Invariants using Large Language Models

Kamath, A., Senthilnathan, A., Chakraborty, S., Deligiannis, P., Lahiri, S. K., Lal, A., Rastogi, A., Roy, S., & Sharma, R. (2023) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 17