| A Broad Comparative Evaluation of Software Debloating Tools | USENIX Security 2024 | 2024 |
| PolyTracker: Whole-Input Dynamic Information Flow Tracing | ISSTA 2024 | 2024 |
| Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation | Usenix Security 2024 | 2024 |
| Design and Implementation of a Coverage-Guided Ruby Fuzzer | CSET 24 | 2024 |
| Test Harness Mutilation | Mutation 2024 | 2024 |
| VAST: MLIR compiler for C/C++ | EuroLLVM Devs' Meeting 2024 | 2024 |
| PoTATo: Points-to analysis via domain specific MLIR dialect | EuroLLVM Devs' Meeting 2024 | 2024 |
| Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol | Euro S&P 2023 | 2023 |
| Weak Fiat-Shamir Attacks on Modern Proof Systems | IEEE S&P 2023 | 2023 |
| Endoprocess: Programmable and Extensible Subprocess Isolation | NSPW 2023 | 2023 |
| CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces | SOSP KISV 2023 | 2023 |
| Detecting variability bugs through hybrid control and data flow analysis | LangSec 2023 | 2023 |
| Blind Spots: Automatically detecting ignored program inputs | LangSec 2023 | 2023 |
| Efficient Proofs of Software Exploitability for Real-world Processors | PETS 2023 | 2023 |
| Toward Comprehensive Risk Assessments and Assurance of AI Systems | arXiv | 2023 |
| A Broad Comparative Evaluation of x86-64 Binary Rewriters | CSET 22 | 2022 |
| On the Optimization of Equivalent Concurrent Computations | PLDI EGRAPHS 2022 | 2022 |
| Evaluating Static Analysis Tools via Differential Mutation | QRS 2021 | 2021 |
| echidna-parade: Diverse multicore smart contract fuzzing | ISSTA 2021 | 2021 |
| Differential analysis of x86-64 instruction decoders | LangSec 2021 | 2021 |
| Echidna: effective, usable, and fast fuzzing for smart contracts | ISSTA 2020 | 2020 |
| ICARUS: Understanding De Facto Formats By Way of Feathers and Wax | LangSec 2020 | 2020 |
| Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations | LangSec 2020 | 2020 |
| What are the Actual Flaws in Important Smart Contracts? | FC 2020 | 2020 |
| Echidna: A Practical Smart Contract Fuzzer | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore: Symbolic Execution for Binaries and Smart Contracts | ASE 2019 | 2019 |
| Slither: A Static Analysis Framework For Smart Contracts | WETSEB 2019 | 2019 |
| Toward Smarter Vulnerability Discovery Using Machine Learning | AISec 2018 | 2018 |
| The Past, Present, and Future of Cyberdyne | IEEE S&P | 2018 |
