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 Ligatti ligatti@cse.usf.edu

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