Welcome to the Security, Programming Languages and Theory Laboratory (SPLAT) lab.
Our principal research interests are
- Software security
- System and network security
- Cryptography
- Digital Rights Management
- Operating systems
- Networks
- Algorithm design and analysis