People

Sean Smith

Professor
Leader, Trust Lab
Director, MS CS Program
Former Director of the ISTS

Vijay Kothari

Postdoctoral Researcher (2020 -- Present)

Focus: Data Description Languages, Usable Security

Pete Brady

Ph.D. Student (2016 -- Present)

Focus: Wireless Security, Automated Patching

Michael Millian

Ph.D. Student (2015 -- Present)

Focus: Secure Bootloaders, Power Grid Security

Prashant Anantharaman

Ph.D. Student (2017 -- Present)
Student Council Executive Member (2020 -- 2021)
Co-Organizer: HackD

Focus: LangSec, Verified Parsers, Intraprocess Memory Isolation

Sameed Ali

Ph.D. Student (2019 -- Present)
Student Council Executive Member (2020 -- 2021)
Co-Organizer: HackD

Focus: LangSec, Parsing Algorithms

Zephyr Lucas

Ph.D. Student (2018 -- Present)

Focus: LangSec, Computational Complexity of Parsing

Josh Ackerman

Ph.D. Student (2019 -- Present)

Focus: Adversarial Machine Learning

Current Master's Students

Anmol Chachra GR'21 (RADICS)

Undergraduate Researchers

Joanna Liu '22 (GAPS)
Celina Tala '23 (SAFEDOCS)
Shikhar Sinha '21 (GAPS)

Alumni

Ph.D.:

"Scout" Sinclair Brody, Ph.D., 2013. Access Control in and for Real-World Organizations.
Alex Iliev, Ph.D. 2009. Hardware-Assisted Secure Computation
Ira Ray Jenkins, Ph.D. 2020. Defense in Depth of Resource-Constrained Devices
Pete Johnson, Ph.D. 2016. Towards A Verified Complex Protocol Stack in a Production Kernel: Methodology and Demonstration.
Vijay H. Kothari, Ph.D. 2020. Bridging the Gap Between Intent and Outcome: Knowledge, Tools & Principles for Security-Minded Decision-Making
John Marchesini, Ph.D. 2005. Secure Hardware Enhanced MyProxy.
Gabriel Weaver, Ph.D., 2012. Security-Policy Analysis with eXtended Unix Tools
Chris Masone, Ph.D. 2008. Attribute-Based, Usefully Secure Email
Jason Reeves, Ph.D. 2016. TEDDI: Tamper Event Detection on Distributed Cyber-Physical Systems.
Rebecca "bx" Shapiro, Ph.D. 2017. Types for the Chain of Trust: No (Loader) Write Left Behind.
Gabriel Weaver, Ph.D. 2012. Security-Policy Analysis with eXtended Unix Tools.
Meiyuan Zhao, Ph.D. 2005. Performance Evaluation of Distributed Security Protocols Using Discrete Event Simulation.