Volgen
Sujit Kumar Muduli
Sujit Kumar Muduli
PhD Student, IIT Kanpur
Geverifieerd e-mailadres voor cse.iitk.ac.in - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Hyperfuzzing for soc security validation
SK Muduli, G Takhar, P Subramanyan
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
332020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8