Prati
Sujit Kumar Muduli
Sujit Kumar Muduli
PhD Student, IIT Kanpur
Potvrđena adresa e-pošte na cse.iitk.ac.in - Početna stranica
Naslov
Citirano
Citirano
Godina
Hyperfuzzing for soc security validation
SK Muduli, G Takhar, P Subramanyan
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
282020
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
52022
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
42022
Mining hyperproperties from behavioral traces
M Rawat, SK Muduli, P Subramanyan
2020 IFIP/IEEE 28th International Conference on Very Large Scale Integration …, 2020
42020
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–8