Sujit Kumar Muduli

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