Professor
Department of Computer Science
University of Illinois
Biography | Publications | Contact
Research: Security, Networking, Formal Methods, Semantics of Programming Languages.
Teaching: CS463 Computer Security II (currently) | CS563 Advanced Computer Security (Fall 2009) and CS463 Computer Security II (Spring 2010)
What's New?
IEEE POLICY papers on privacy concerning policy relations and monitoring
HICSS papers on RFIDs in hospitals and recommender systems for energy management for buildings
ParSiebel location tracking tool won the Habitat Competition Social Networking Award.
Lecture at University of Illinois on Cyber-Security Architectures for Control Systems. [Announcement] [Video]
Lecture at Microsoft on Attribute-Based Security and Messaging [Video]
Illinois Security Lab
Current Research Projects
Attribute-Based Messaging and Security
Trustworthy Cyber-Infrastructure for Power
Security for Building Automation Systems
DoS Models and Countermeasures
Roles: Director of Illinois Security Lab | Head of the Systems and Networking area of the CS department | Chairman of the ACM CCS Steering Committee | Member of the Steering Committee of ITI | Associate Editor of the Journal of Computer Security (JCS)
Attributes: Born in Monroe Louisiana | University of Chicago BA alumnus | PhD research supervisor was Dana S. Scott (Mathematics Genealogy Project) | Favorite question: what is the difference between a role and an attribute?