| Hyperfuzzing for soc security validation SK Muduli, G Takhar, P Subramanyan Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 9 | 2020 |
| Verification of authenticated firmware loaders SK Muduli, P Subramanyan, S Ray 2019 Formal Methods in Computer Aided Design (FMCAD), 110-119, 2019 | 4 | 2019 |
| Mining hyperproperties from behavioral traces M Rawat, SK Muduli, P Subramanyan 2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020 | 1 | 2020 |
| Verification of authenticated firmware load SK Muduli, P Subramanyan, S Ray Cryptology ePrint Archive, 2019 | 1 | 2019 |
| Synthesizing Abstract Transformers PK Kalita, SK Muduli, L D'Antoni, T Reps, S Roy arXiv preprint arXiv:2105.00493, 2021 | | 2021 |
| 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
