Sujit Kumar Muduli

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Hardware And Software

Interactive Theorem Proving

Ibm Zenterprise

Davis Putnam Logemann Loveland

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy
Interactive Theorem Proving Modulo Fuzzing. CAV (1) (2024)
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE (2023)
Sujit Kumar Muduli
Verification of Hardware and Software with Fuzzing and Proofs. SPLASH Companion (2022)
Sujit Kumar Muduli, Subhajit Roy
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing Abstract Transformers. CoRR (2021)
Mayank Rawat, Sujit Kumar Muduli, Pramod Subramanyan
Mining Hyperproperties from Behavioral Traces. VLSI-SOC (2020)
Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan
HyperFuzzing for SoC Security Validation. ICCAD (2020)
Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray
Verification of Authenticated Firmware Load. IACR Cryptol. ePrint Arch. 2019 (2019)
Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray
Verification of Authenticated Firmware Loaders. FMCAD (2019)
Sujit Kumar Muduli, Pramod Subramanyan
Towards Verifiably Secure Systems-on-Chip Platforms. ATS (2019)