| Hyperfuzzing for soc security validation SK Muduli, G Takhar, P Subramanyan Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 40 | 2020 |
| 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 | 12 | 2022 |
| Verification of authenticated firmware loaders SK Muduli, P Subramanyan, S Ray 2019 Formal Methods in Computer Aided Design (FMCAD), 110-119, 2019 | 9* | 2019 |
| 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 | 8 | 2022 |
| Mining hyperproperties from behavioral traces M Rawat, SK Muduli, P Subramanyan 2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020 | 5 | 2020 |
| 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 | 1 | 2023 |
| Interactive Theorem Proving Modulo Fuzzing SK Muduli, RR Padulkar, S Roy International Conference on Computer Aided Verification, 480-493, 2024 | | 2024 |
| 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 |
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
