USF Dept of Computer Science and Engineering Programming Languages and Software Security Research Lab

Programming Languages Projects  Purpose: Design new languages and type systems to make it easier to write correct code public class NoGPSoutsideWorkTime extends Policy { public synchronized Reaction react(Action a) { if(ActionPatterns.matchesGPSread(a) && !TimeUtils.isWorkTime()) //return a null location to application return new Reaction("replace", null); else return new Reaction("ok"); }  Example projects: LoPSiL, a language for writing security policies to control cell-phone software Polymer, a language for writing composeable security policies A program written in LoPSiL

Software Security Projects  Example projects: PoliSeer, a tool for visualizing and specifying security policies LookUp, an efficient algorithm for inspecting packets in network-security tools like firewalls and intrusion- detection systems PoliSeer screenshot  Purpose: Understand how to conveniently, efficiently, and correctly constrain software to make sure it’s secure

People  For more information, contact: Prof. Jay  Graduate students in lab Nalin Saigal (PhD student, 2006-present) Daniel Lomsak (PhD student 2008-present) Srikar Reddy (Master’s student 2007-present)  Alumni Billy Rickey (REU collaborator, 2007) Christine Cortés (REU collaborator, 2008)  Affiliates Lujo Bauer, Carnegie Mellon University Adriana Iamnitchi, University of South Florida Yannis Mallios, Carnegie Mellon University