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
92020
Verification of authenticated firmware loaders
SK Muduli, P Subramanyan, S Ray
2019 Formal Methods in Computer Aided Design (FMCAD), 110-119, 2019
42019
Mining hyperproperties from behavioral traces
M Rawat, SK Muduli, P Subramanyan
2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020
12020
Verification of authenticated firmware load
SK Muduli, P Subramanyan, S Ray
Cryptology ePrint Archive, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–6