Towards Verifiably Secure Systems-on-Chip Platforms. - Sujit Kumar Muduli; Pramod Subramanyan (ATS, 2019)

Verification of Authenticated Firmware Loaders. - Sujit Kumar Muduli; Pramod Subramanyan; Sayak Ray (FMCAD, 2019)

Verification of Authenticated Firmware Load. - Sujit Kumar Muduli; Pramod Subramanyan; Sayak Ray (IACR Cryptol. ePrint Arch., 2019)

HyperFuzzing for SoC Security Validation. - Sujit Kumar Muduli; Gourav Takhar; Pramod Subramanyan (ICCAD, 2020)

Mining Hyperproperties from Behavioral Traces. - Mayank Rawat; Sujit Kumar Muduli; Pramod Subramanyan (VLSI-SOC, 2020)

Verification of Hardware and Software with Fuzzing and Proofs. - Sujit Kumar Muduli (SPLASH Companion, 2022)

Synthesizing abstract transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. - Sujit Kumar Muduli; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

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 001 (ASE, 2023)

Interactive Theorem Proving Modulo Fuzzing. - Sujit Kumar Muduli; Rohan Ravikumar Padulkar; Subhajit Roy 001 (CAV (1), 2024)