Trail of Bits @ ICSE 2019 – Recap
blog.trailofbits.com | blog | #web3 | #smart-contracts | #fuzzing | #research | #static-analysis | #conferences | #icse
Summary
Trail of Bits recaps ICSE 2019, highlighting SMT-based refutation of Clang false positives, scalable leak detection, differential fuzzing for side channels, and smart contract decompilation research.
- Published
- Collected
Skip to content