Will Dormann

Vulnerability Detection in ActiveX Controls through Automated Fuzz Testing

Daniel Plakosh, Will Dormann, 2007 .

Google authentication risks on iOS

Will Dormann, 2016, Mobile!@SPLASH.

Source Code Analysis Laboratory (SCALe)

Philip Miller, Robert C. Seacord, David Svoboda, 2012 .

As-If Infinitely Ranged Integer Model

Timothy Wilson, Roger B. Dannenberg, Robert C. Seacord, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

Source Code Analysis Laboratory (SCALe) for Energy Delivery Systems

Philip Miller, Robert C. Seacord, David Svoboda, 2010 .