Sujit Kumar Muduli

According to our database, Sujit Kumar Muduli authored at least 12 papers between 2019 and 2024.

Collaborative distances:

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

2024

Interactive Theorem Proving Modulo Fuzzing.

Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.

Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Synthesizing Abstract Transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Dataset, September, 2022

Synthesizing Abstract Transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Dataset, September, 2022

Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing.

Sujit Kumar Muduli, Subhajit Roy

Proc. ACM Program. Lang., 2022

Synthesizing abstract transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Proc. ACM Program. Lang., 2022

Verification of Hardware and Software with Fuzzing and Proofs.

Sujit Kumar Muduli

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2020

Mining Hyperproperties from Behavioral Traces.

Mayank Rawat, Sujit Kumar Muduli, Pramod Subramanyan

Proceedings of the 28th IFIP/IEEE International Conference on Very Large Scale Integration, 2020

HyperFuzzing for SoC Security Validation.

Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Verification of Authenticated Firmware Load.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

IACR Cryptol. ePrint Arch., 2019

Verification of Authenticated Firmware Loaders.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Towards Verifiably Secure Systems-on-Chip Platforms.

Sujit Kumar Muduli, Pramod Subramanyan

Proceedings of the 28th IEEE Asian Test Symposium, 2019