Sujit Kumar Muduli
Sujit Kumar Muduli
PhD Student, IIT Kanpur
Verified email at - Homepage
Cited by
Cited by
Hyperfuzzing for soc security validation
SK Muduli, G Takhar, P Subramanyan
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
Verification of authenticated firmware loaders
SK Muduli, P Subramanyan, S Ray
2019 Formal Methods in Computer Aided Design (FMCAD), 110-119, 2019
Synthesizing abstract transformers
PK Kalita, SK Muduli, L D’Antoni, T Reps, S Roy
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1291-1319, 2022
Mining hyperproperties from behavioral traces
M Rawat, SK Muduli, P Subramanyan
2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing
SK Muduli, S Roy
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1236-1263, 2022
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
P Chatterjee, PK Kalita, S Lahiri, SK Muduli, V Singh, G Takhar, S Roy
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
Verification of Hardware and Software with Fuzzing and Proofs
SK Muduli
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022
Towards Verifiably Secure Systems-on-Chip Platforms
SK Muduli, P Subramanyan
2019 IEEE 28th Asian Test Symposium (ATS), 92-925, 2019
The system can't perform the operation now. Try again later.
Articles 1–8