Download presentation
Presentation is loading. Please wait.
Published byLilian Briggs Modified over 8 years ago
1
USF Dept of Computer Science and Engineering Programming Languages and Software Security Research Lab
2
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
3
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
4
People For more information, contact: Prof. Jay Ligattiligatti@cse.usf.eduligatti@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
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.