Nishant Rodrigues

According to our database, Nishant Rodrigues authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Logical Treatment of Finite Automata.

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Fully Device-Independent Quantum Key Distribution Using Synchronous Correlations.

Nishant Rodrigues, Brad Lackey

Proceedings of the 18th Conference on the Theory of Quantum Computation, 2023

2022

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

2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu

Proc. ACM Program. Lang., 2020

Archive-based swarms.

Nishant Rodrigues, Chilukuri K. Mohan

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2018

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, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018