ConCollector
our blog
|
more on thinkst
Search:
Everything
Browse:
Speakers
Conferences
Topics
Contributors
Analytics
Folklore
About
Login
Dawson Engler
[Speaker-Timeline]
[Speaker-Links]
Tell us about missing data
Title
Conference
Tags
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
29thUSENIXSecuritySymposium-2020 - Berkeley, USA
Under-Constrained Symbolic Execution: Correctness Checking for Real Code
SecuritySymposium-2015 - washington,USA
A Couple Billion Lines Of Code Later: Static Checking In The Real World
17th USENIX Security Symposium-2008 - San Jose, USA
Security
How To Find Serious Bugs In Real Code
14th USENIX Security Symposium-2005 - Baltimore, USA
Security