Archive
Results
Showing: 1 to 2 of 2Affiliation shown is the affiliation at the time the talk was given.
10/27/2010
The Role of Automata Theory in Software Verification
P. Madhusudan - University of Illinois at Urbana-Champaign
11/28/2007
CANDID: Preventing SQL Injection Attacks using Dynamic Candidate Evaluations
Ventkat Venkatakrishnan - University of Illinois at Chicago