BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:New Applications of Software Synthesis: Firewall Repair and Verifi
 cation of Configuration Files
DTSTART:20180903T101500
DTEND:20180903T111500
DTSTAMP:20260510T081909Z
UID:92e56bc930d5cc45cf1f67c7a19abc863c43158f591d25548bda6d08
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Ruzica Piskac\n\nAbstract\nIn this talk we present a system
 atic effort that can automatically repair firewalls\, using the programmin
 g by example approach. Firewalls are widely employed to manage and control
  enterprise networks. Because enterprise-scale firewalls contain hundreds 
 or thousands of policies\, ensuring the correctness of firewalls – wheth
 er the policies in the firewalls meet the specifications of their administ
 rators – is an important but challenging problem. In our approach\, afte
 r an administrator observes undesired behavior in a firewall\, she may pro
 vide input/output examples that comply with the intended behavior. Based o
 n the given examples\, we automatically synthesize new firewall rules for 
 the existing firewall. This new firewall correctly handles packets specifi
 ed by the examples\, while maintaining the rest of the behavior of the ori
 ginal firewall.\n\nWe also show\, using verification for configuration fil
 es\, how to learn specification when the given examples is actually a set 
 of configuration files. Software failures resulting from configuration err
 ors have become commonplace as modern software systems grow increasingly l
 arge and more complex. The lack of language constructs in configuration fi
 les\, such as types and grammars\, has directed the focus of a configurati
 on file verification towards building post-failure error diagnosis tools.
   In this talk we describe a framework which analyzes data sets of correc
 t configuration files and derives rules for building a language model from
  the given data set. The resulting language model can be used to verify ne
 w configuration files and detect errors in them.\n\nBio\nRuzica Piskac is 
 an assistant professor (tenure-track) at Yale\, Computer Science Departmen
 t. Her research interests span the areas of programming languages\, softwa
 re verification\, automated reasoning\, and code synthesis. A common threa
 d in Ruzica's research is improving\nsoftware reliability and trustworthin
 ess using formal techniques. Ruzica has received a NSF CAREER award. Her r
 esearch is sponsored by NSF\,  Microsoft Research and Facebook.\n\nMore i
 nformation
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR