usf dept of computer science and engineering programming languages and software security research...

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