Follow
Sujit Kumar Muduli
Sujit Kumar Muduli
PhD Student, IIT Kanpur
Verified email at cse.iitk.ac.in - Homepage
Title
Cited by
Cited by
Year
Hyperfuzzing for soc security validation
SK Muduli, G Takhar, P Subramanyan
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
352020
Verification of authenticated firmware loaders
SK Muduli, P Subramanyan, S Ray
2019 Formal Methods in Computer Aided Design (FMCAD), 110-119, 2019
9*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
72022
Mining hyperproperties from behavioral traces
M Rawat, SK Muduli, P Subramanyan
2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020
42020
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
32022
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
2023
Verification of Hardware and Software with Fuzzing and Proofs
SK Muduli
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022
2022
Towards Verifiably Secure Systems-on-Chip Platforms
SK Muduli, P Subramanyan
2019 IEEE 28th Asian Test Symposium (ATS), 92-925, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–8