Dissertations

This is a partial listing of doctoral and master’s dissertations supervised by Carl A. Gunter.

Publications

Secure and Practical Computation on Encrypted Data.
Muhammad Naveed,
Doctoral Thesis, University of Illinois at Urbana-Champaign, April 2016.

Privacy-Preserving Vehicle Miles Traveled (PPVMT) Tax
Gaurav Lahoti
Master of Science Thesis, University of Illinois at Urbana-Champaign, August 2014.

Android at Risk: Current Threats Stemming from Unprotected Local and External Resources
Soteris Demetriou
Master of Science Thesis, University of Illinois at Urbana-Champaign, August 2014.

Diagnosis Based Specialist Identification in the Hospital,
Xun Lu.
Master of Science Thesis, University of Illinois at Urbana-Champaign, May 2014.

Privacy-Preserving Audit for Broker-Based Health Information Exchange,
Se Eun Oh.
Masters of Science Thesis, University of Illinois at Urbana-Champaign, May 2014.

Security Threats to Android Apps,
Dongjing He.
Master of Science Thesis, University of Illinois at Urbana-Champaign, May 2014.

Implementing Health Information Exchange with Searchable Encryption,
Igors Svecs.
Master of Science Thesis, University of Illinois at Urbana-Champaign, May 2013.

Modeling and Detecting Anomalous Topic Access in EMR Audit Logs,
Siddharth Gupta.
Master of Science Thesis, University of Illinois at Urbana-Champaign, May 2013.

Facilitating Patient and Administrator Analyses of Electronic Health Record Accesses,
Eric Duffy.
Master of Science Thesis, University of Illinois at Urbana-Champaign, August 2013.

Friendsourcing to Detect Network Manipulation,
Ravinder Shankesi.
Doctoral Thesis, University of Illinois at Urbana-Champaign, August 2013.

Assuring Network Service with Bandwidth and Integrity Based Fairness
Fariba Khan
Doctoral Thesis, University of Illinois at Urbana-Champaign, November 2011. [BIB]

Compact Integrity-Aware Architectures
Michael LeMay
Doctoral Thesis, University of Illinois at Urbana-Champaign, August 2011. [BIB][Related]

Improving the Security in Interconnecting Building Automation Systems to Outside Networks
Hee Dong Jung
Master of Science Thesis, University of Illinois at Urbana-Champaign, July 2011. [BIB]

Assuring Robustness of Radio Spectrum Telemetry Against Vandalism and Exploitation
Omid Fatemieh
Doctoral Thesis, University of Illinois at Urbana-Champaign, February 2011. [BIB]

Secure Multicast for Power Grid Communications
Jianqing Zhang
Doctoral Thesis, University of Illinois at Urbana-Champaign, September 2010. [Related]

Reflective Database Access Control
Lars E. Olson
Doctoral Thesis, University of Illinois at Urbana-Champaign, October 2009. [PPT]

Dependable Emergency-Response Networking Based on Retaskable Network Infrastructures
Michael LeMay
Master of Science Thesis, University of Illinois at Urbana-Champaign, April 2008. [BIB]

A Foundation for Tunnel-Complex Protocols
Alwyn E. Goodloe
Doctoral Thesis, University of Pennsylvania, March 2008. [BIB]

Privacy APIs: Formal Models for Analyzing Legal Privacy Requirements
Michael J. May
Doctoral Thesis, University of Pennsylvania, March 2008. [BIB]

Using Attribute-Based Access Control to Enable Attribute-Based Messaging
Fariba Khan
Master of Science Thesis, University of Illinois at Urbana-Champaign, 2006.[BIB]

Modeling and Analyzing Integrated Policies
Michael McDougall
Doctoral Thesis, University of Pennsylvania, 2005.

Network Event Recognition
Karthikeyan Bhargavan
Doctoral Thesis, University of Pennsylvania, 2003.

Formal Analysis of Routing Protocols
Davor Obradovic
Doctoral Thesis, University of Pennsylvania, 2002.

Dynamic Slicing in Higher-Order Programming Languages
Sandip Biswas
Doctoral Thesis, University of Pennsylvania, 1997.

The Machine Assisted Proof of Programming Language Properties
Myra VanInwegen
Doctoral Thesis, University of Pennsylvania, 1996.

Convex Spaces as an Order-Theoretic Basis for Problem Solving
Teow-Hin Ngair
Doctoral Thesis, University of Pennsylvania, 1992.

A Proof-Theoretic Approach to Semantics of Concurrency
Vijay Gehlot
Doctoral Thesis, University of Pennsylvania, 1992.

Other Resources

Mathematics Geneology Project page for Carl A. Gunter

Last updated on Monday, July 25, 2011, 4:37 pm