팔로우
Sujit Kumar Muduli
Sujit Kumar Muduli
PhD Student, IIT Kanpur
cse.iitk.ac.in의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Hyperfuzzing for soc security validation
SK Muduli, G Takhar, P Subramanyan
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
352020
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
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–8