BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Dynamic Software Model Checking for Security
DTSTART:20181015T161500
DTEND:20181015T173000
DTSTAMP:20260416T133742Z
UID:60a476a75cacf0e940686045fd5dad8bcbce48b4264ab83ee55c355c
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Patrice Godefroid - Microsoft Research\nVideo of his talk\
 n\nAbstract:\nDynamic software model checking consists of adapting model c
 hecking into a form of systematic testing that is applicable to industrial
 -size software. Over the last two decades\, dozens of tools following this
  paradigm have been developed for checking concurrent and data-driven soft
 ware. In this talk\, I will discuss dynamic software model checking\, its 
 strengths and limitations\, and applications. In particular\, I will highl
 ight the impact of this approach at Microsoft\, including how it inspired 
 the whitebox fuzzer SAGE which found roughly one third of all the bugs dis
 covered by file fuzzing during the development of Microsoft's Windows 7 (s
 aving millions of dollars by avoiding expensive security patches to nearly
  a billion PCs)\, why security testing is today the largest application of
  SMT solvers as measured by computational usage\, and how these techniques
  are powering "Microsoft Security Risk Detection"\, the first commercial c
 loud fuzzing service (Fuzzing-as-a-Service). I will conclude with a discus
 sion of future research directions.\n\nBio:\nPatrice Godefroid is a Princi
 pal Researcher at Microsoft Research. He received a B.S. degree in Electri
 cal Engineering (Computer Science elective) and a Ph.D. degree in Computer
  Science from the University of Liege\, Belgium\, in 1989 and 1994 respect
 ively. From 1994 to 2006\, he worked at AT&T/Lucent Bell Laboratories\, wh
 ere he was promoted to "distinguished member of technical staff" in 2001. 
 His research interests include program specification\, analysis\, testing 
 and verification.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR