Carl A. Gunter
Professor Gunter uses his background in programming languages to analyze protocols and systems with respect to trustworthy operation. Information about Professor Gunter's recent work is outlined on the Security Lab page. Recent projects in the trust area include work on secure web services, models and countermeasures for denial of service attacks, and configuration of security tunnels.
Recent trust-oriented publications from Carl A. Gunter include:
- Alwyn Goodloe, Carl A. Gunter, and Mark-Oliver Stehr. Formal Prototyping in Early Stages of Protocol Design. Proc. of WITS05, 2005.
- Michael McDougall, Rajeev Alur, and Carl A. Gunter. A Model-Based Approach to Integrating Security Policies for Embedded Devices. Proc. EmSoft, 2004.
- Carl A. Gunter, Michael J. May, and Stuart G. Stubblebine. A Formal Privacy System and Its Application to Location Based Services. Proc. PET, 2004.
- Kaijun Tan, Jason Crampton, and Carl A. Gunter. The Consistency of Task-Based Authorization Constraints in Workflow Systems. Proc. CSFW, 2004.
