KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. - Everett Hildenbrandt; Manasvi Saxena; Nishant Rodrigues; Xiaoran Zhu; Philip Daian; Dwight Guth; Brandon M. Moore; Daejun Park 001; Yi Zhang; Andrei Stefanescu; Grigore Rosu (CSF, 2018)

Archive-based swarms. - Nishant Rodrigues; Chilukuri K. Mohan (GECCO Companion, 2020)

Towards a unified proof framework for automated fixpoint reasoning using matching logic. - Xiaohong Chen 002; Minh-Thai Trinh; Nishant Rodrigues; Lucas Peña; Grigore Rosu (Proc. ACM Program. Lang., 2020)

Deep convolutional neural network for environmental sound classification via dilation. - Sanjiban Sekhar Roy; Sanda Florentina Mihalache; Emil Pricop; Nishant Rodrigues (J. Intell. Fuzzy Syst., 2022)

Fully Device-Independent Quantum Key Distribution Using Synchronous Correlations. - Nishant Rodrigues; Brad Lackey (TQC, 2023)

Improved Algorithms and Primitives for quantum Cryptography. - Nishant Rodrigues (2023)

A Logical Treatment of Finite Automata. - Nishant Rodrigues; Mircea Sebe; Xiaohong Chen 002; Grigore Rosu (TACAS (1), 2024)