Papers: Carl Gunter's group

DOS and Resource Sharing

• Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, and Santosh Venkatesh.
  DoS protection for authenticated broadcast. (PS).
  In Proc. Network and Distributed System Security Symposium, 2004.

Smart Cards and Embedded Systems

• Michael McDougall and Rajeev Alur and Carl A. Gunter.
  Policy integration for programmable payment cards.
  Technical report, Penn, 2004.

• Carl A. Gunter.
  Open APIs for embedded security.
  In Luca Cardelli, editor, ECOOP 2003 - Object-Oriented Programming, 17th European Conference, volume 2743 of Lecture Notes in Computer Science, pages 225

• Carl A. Gunter.
  Programmable payment cards (PS).
  In Proc. European Conference on Object-Oriented Programming, 2003.

• Carl A. Gunter.
  Micro mobile programs (PS).
  Theoretical Computer Science, 2002.

• Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Rajeev Alur.
  Predictable programs in barcodes (PS).
  In Proc. International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 2002.

Privacy and Access Control

• Carl A. Gunter, Michael J. May, and Stuart G. Stubblebine.
  A Formal Privacy System and its Application to Location Based Services. (PS).
  In Proc. Privacy Enhancing Technology, 2004.

• Carl A. Gunter, Michael J. May, and Stuart G. Stubblebine.
  Privacy systems.
  Technical report, Penn, January 2004.

Power Aware Routing

• Ratul K. Guha, Carl A. Gunter and Saswati Sarkar.
  Fair Conditions for Power-Aware Routing in Wireless Networks .
  In Proc. IEEE Conference on Decision and Control, 2004.

Workflow

• Kaijun Tan, Jason Crampton, and Carl A. Gunter.
  The Consistency of Tasked-Based Autherization Constraints in Workflow Systems. (PS).
  In Proc. IEEE Computer Security Foundations Workshop, 2004.

• Jason Crampton and Kaijun Tan.
  Specifying and enforcing authorization constraints in workflow systems.
  Technical report, Penn, 2004.

• Kaijun Tan, Jason Crampton, and Carl A. Gunter.
  The consistency of task-based authorization constraints in workflow systems.
  Technical report, Penn, January 2004.

Secure Web Services

• Kevin Lux, Carl A. Gunter, and Michael J. May.
  WSEmail: Secure Internet Messaging Based on Web Services. (PS).
  In University of Pennsylvania Technical Report, 2004.

Secure Tunnels

• Alwyn Goodloe, Carl A. Gunter and Mark-Oliver Stehr.
  Formal Prototyping in Early Stages of Protocol Design.
  Workshop on Issues in the Theory of Security (WITS'05). January 10-11, 2005, Long Beach, California.

• Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Mark-Oliver Stehr.
  Design and Analysis of Sectrace: A Protocol to Set up Security Associations and Policies in IPSec Networks.
  Technical report, Penn, 2004.

• Carl A. Gunter, Alwyn Goodloe, and Matthew Jacobs.
  Layer 3 accounting (L3A).
  Technical report, Penn, 2004.

• Carl A. Gunter, Alwyn Goodloe, and Matthew Jacobs.
  Simplified internet key exchange (SIKE).
  Technical report, Penn, 2004.

• Carl A. Gunter, Alwyn Goodloe, and Michael McDougall.
  Secure traceroute (sectrace).
  Technical report, Penn, 2003.

Network Monitoring

• Karthikeyan Bhargavan and Carl A. Gunter.
  Network event recognition (PS).
  In Proc. Formal Methods in System Design, 2004.

Programming Language for Active Netorks

• Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott M. Nettles.
  Plan: a packet language for active networks.
  Technical report, Penn, 2003.

E-Cash

• Kaijun Tan and Carl A. Gunter.
  Group ecash.
  Technical report, Penn, 2003.