Some Recent Publications
- Building a Smarter Health and Wellness Future: Privacy and Security Challenges, Carl A. Gunter. Chapter 9 in ICTs and the Health Sector: Towards Smarter Health and Wellness Models, OECD, October 2013, pages 141-157.
- Cumulative Attestation Kernels for Embedded Systems, Michael LeMay and Carl A. Gunter. IEEE Transactions on Smart Grid, June 2012.
- Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems, Carl A. Gunter, David M. Liebovitz, and Bradley Malin. IEEE Security & Privacy, volume 9, number 5, September/October 2011
- Application-Aware Secure Multicast for Power Grid Communications, Jianqing Zhang and Carl A. Gunter. International Journal of Security and Networks (IJSN), volume 6, number 1, 2011.
- Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks, Omid Fatemieh, Ali Farhadi, Ranveer Chandra and Carl A. Gunter. Network and Distributed System Security Symposium (NDSS ’11), San Diego, CA, February 2011.
- Formal Verification of Standards for Distance Vector Routing Protocols, Karthikeyan Bhargavan, Davor Obradovic and Carl A. Gunter. Journal of the ACM, volume 49, number 4, pages 538-576, July 2002.
- PLAN: A Packet Language for Active Networks, Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter and Scott M. Nettles. ACM International Conference on Functional Programming Languages (ICFP ’98), pages 86-93, Baltimore, MD, September 1998.
- A Reference Model for Requirements and Specifications, Carl A. Gunter, Elsa L. Gunter, Michael Jackson and Pamela Zave
IEEE Software, volume 17, number 3, pages 37-43, May/June 2000.
- Semantics of Programming Languages: Structures and Techniques, Carl A. Gunter. The MIT Press, 1992.
- Inheritance as Implicit Coercion, Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter and Andre Scedrov. Information and Computation, volume 93, number 1, pages 172-221, July 1991. Invited paper from LICS ’89.
Word Cloud of the Titles of Papers Authored by Carl A. Gunter before 2011