Sujit Kumar Muduli
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verification of Hardware and Software with Fuzzing and Proofs | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
A verification methodology proves end-to-end security of an authenticated firmware loader on a small SoC model and checks typical attacks like TOCTOU by… | ||
| Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing | OOPSLA 2022 | 2022-12-05 |
A solver, Sādhak, couples an SMT engine (built on CVC4) with a fuzzer (AFL++) to handle closed-box functions by compiling expressions to small programs and… | ||
| Synthesizing Abstract Transformers | OOPSLA 2022 | 2022-12-05 |
Method synthesizes an abstract transformer from (i) a concrete semantics for op, (ii) an abstract domain A, and (iii) a DSL L, producing an AMURTH output that… | ||
| nothing matches | ||