| Date |
Type |
Title |
Author |
Event |
| November 18, 2011 |
Slides |
Professional Source Code Auditing
|
|
Black Hat USA 2002 |
| August 24, 2011 |
Video |
Helios - a fast, portable and transparent instruction tracer
|
Stefan Bühlmann
|
Hashdays 2010 |
| August 24, 2011 |
Slides |
Helios - a fast, portable and transparent instruction tracer
|
Stefan Bühlmann
|
Hashdays 2010 |
| February 28, 2011 |
Slides |
Repelling the Wily Insider
|
Jacob West
Matias Madou
|
DEFCON 18 |
| February 28, 2011 |
Audio |
Repelling the Wily Insider
|
Jacob West
Matias Madou
|
DEFCON 18 |
| February 28, 2011 |
Video |
Repelling the Wily Insider
|
Jacob West
Matias Madou
|
DEFCON 18 |
| December 25, 2010 |
Slides |
Prospecting for Rootite: More Code Coverage, More Bugs, Less Wasted Effort
|
Ben Nagy
|
Ruxcon 2010 |
| October 22, 2010 |
Slides |
Discussion session: planning SATE 2011
|
Paul E. Black
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 22, 2010 |
Slides |
The use of machine learning with signal- and NLP processing of source code to detect and classify vulnerabilities and weaknesses with MARFCAT
|
Serguei Mokhov
|
Hack In The Box 2010 Malaysia |
| October 22, 2010 |
Slides |
Static Analysis Software Assurance Tools and SATE 2010
|
Nat Hillary
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 22, 2010 |
Slides |
Our Sparrow Experience with Abstract Interpretation and Impure Catalysts
|
Kwangkeun Yi
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 22, 2010 |
Slides |
Choosing SATE Test Cases Based on CVEs
|
Sue Wang
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Improving Static Analysis Results Accuracy
|
Chris Wysopal
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Observations From Analysis
|
Aurelien Delaitre
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Bugs that Matter - Static Analysis True Positives and False Negatives
|
Paul Anderson
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Coverity Analysis: Improving Quality in the Software Supply Chain
|
Peter Henriksen
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Running Goanna for SATE - What we found, how and why
|
Ansgar Fehnker
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
Bringing Static Analysis to the Masses
|
Tucker Taft
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| October 21, 2010 |
Slides |
SATE 2010 Background
|
Vadim Okun
|
Static Analysis Tool Exposition (SATE 2010) Workshop |
| January 10, 2010 |
Video |
A New Bioinformatics-Inspired and Binary Analysis: Coding Style/Motif Identification
|
Scott Miller
|
DEFCON 14 |
| January 10, 2010 |
Slides |
A New Bioinformatics-Inspired and Binary Analysis: Coding Style/Motif Identification
|
Scott Miller
|
DEFCON 14 |
| January 10, 2010 |
Audio |
A New Bioinformatics-Inspired and Binary Analysis: Coding Style/Motif Identification
|
Scott Miller
|
DEFCON 14 |
| January 10, 2010 |
Audio |
Bridging the Gap Between Static and Dynamic Reversing
|
Luis Miras
|
DEFCON 14 |
| January 10, 2010 |
Video |
Bridging the Gap Between Static and Dynamic Reversing
|
Luis Miras
|
DEFCON 14 |
| November 13, 2009 |
Paper |
Finding Bugs in Open Source Kernels using Parfait
|
|
|
| July 04, 2009 |
Slides |
Methods of increasing source code security automatically
|
Ben Chelf
|
PacSec 2006 |
| May 11, 2009 |
Slides |
Shuntaint: Emulation-based Security Testing for Formal Verification
|
Bruno Luiz
|
Black Hat EU 2009 |
| May 11, 2009 |
Paper |
Shuntaint: Emulation-based Security Testing for Formal Verification
|
Bruno Luiz
|
Black Hat EU 2009 |
| April 17, 2009 |
Slides |
Phoenix, and automated vulnerability finding
|
Tim Burrell
|
EUSecWest 2008 |
| April 12, 2008 |
Slides |
PHP Code Analysis: Real World Examples
|
David Kierznowski
|
|
| March 01, 2008 |
Slides |
Dynamic Taint Propagation
|
Brian Chess
Jacob West
|
Black Hat DC 2008 |