Carl A. Gunter - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

Probabilistic Modeling and Analysis of DoS Protection for the ASV ProtocolMusab AlTurki, José Meseguer, Carl A. Gunter. ENTCS, 234:3-18, 2009. [doi]

Guest editorial network infrastructure configurationPaul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie. jsac, 27(3):249-252, 2009. [doi]

Security Policy Implementation Strategies for Common Carrier Monitoring Service ProvidersCarl A. Gunter. policy 2009: 114-117 [doi]

Specifying and Analyzing Workflows for Automated Identification and Data CaptureElsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen. hicss 2009: 1-11 [doi]

Sh@re: Negotiated Audit in Social NetworksAlejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell. SMC 2009: 74-79 [doi]

Cumulative Attestation Kernels for Embedded SystemsMichael LeMay, Carl A. Gunter. esorics 2009: 655-670 [doi]

Collaborative Recommender Systems for Building AutomationMichael LeMay, Jason J. Haas, Carl A. Gunter. hicss 2009: 1-10 [doi]

Strong and Weak Policy RelationsMichael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic. policy 2009: 33-36 [doi]

Safety in discretionary access control for logic-based publish-subscribe systemsKazuhiro Minami, Nikita Borisov, Carl A. Gunter. SACMAT 2009: 3-12 [doi]

Implementing Reflective Access Control in SQLLars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett. dbsec 2009: 17-32 [doi]

Model-Checking DoS Amplification for VoIP Session InitiationRavinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, JosÃ© Meseguer. esorics 2009: 390-405 [doi]

How to Bootstrap Security for Ad-Hoc Network: RevisitedWook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka. isecs 2009: 119-131 [doi]

2008

2007

Improving multi-tier security using redundant authenticationJodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila. ccs 2007: 54-62 [doi]

Reasoning about Concurrency for Security TunnelsAlwyn Goodloe, Carl A. Gunter. csfw 2007: 64-78 [doi]

Fair Coalitions for Power-Aware Routing in Wireless NetworksRatul K. Guha, Carl A. Gunter, Saswati Sarkar. tmc, 6(2):206-220, 2007. [doi]

PolicyMorph: interactive policy transformations for a logical attribute-based access control frameworkMichael LeMay, Omid Fatemieh, Carl A. Gunter. SACMAT 2007: 205-214 [doi]

Unified Architecture for Large-Scale Attested MeteringMichael LeMay, George Gross, Carl A. Gunter, Sanjam Garg. hicss 2007: 115 [doi]

On the Safety and Efficiency of Firewall Policy DeploymentCharles C. Zhang, Marianne Winslett, Carl A. Gunter. sp 2007: 33-50 [doi]

2006

AMPol: Adaptive Messaging PolicyRaja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter. ecows 2006: 53-64 [doi]

AMPol-Q: Adaptive Middleware Policy to Support QoSRaja Afandi, Jianqing Zhang, Carl A. Gunter. icsoc 2006: 165-178 [doi]

Using Attribute-Based Access Control to Enable Attribute-Based MessagingRakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana. acsac 2006: 403-413 [doi]

Privacy Sensitive Location Information Systems in Smart BuildingsJodie P. Boyer, Kaijun Tan, Carl A. Gunter. spc 2006: 149-164 [doi]

Defeasible security policy composition for web servicesAdam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter. ccs 2006: 45-54 [doi]

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy PoliciesMichael J. May, Carl A. Gunter, Insup Lee. csfw 2006: 85-97 [doi]

Securing the drop-box architecture for assisted livingMichael J. May, Wook Shin, Carl A. Gunter, Insup Lee. ccs 2006: 1-12 [doi]

2005

Network Event RecognitionKarthikeyan Bhargavan, Carl A. Gunter. fmsd, 27(3):213-251, 2005. [doi]

Formal prototyping in early stages of protocol designAlwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr. POPL 2005: 67-80 [doi]

WSEmail: Secure Internet Messaging Based on Web ServicesKevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter. icws 2005: 75-82 [doi]

2004

2003

Open APIs for Embedded SecurityCarl A. Gunter. ECOOP 2003: 225-247 [doi]

Reasoning About Secrecy for Active NetworksPankaj Kakkar, Carl A. Gunter, Martín Abadi. jcs, 11(2):245-287, 2003.

2002

2001

What packets may come: automata for network monitoringKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter. POPL 2001: 206-219 [doi]

Models and Languages for Digital RightsCarl A. Gunter, Stephen Weeks, Andrew K. Wright. hicss 2001: [doi]

2000

Fault origin adjudicationKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic. fmsp 2000: 61-71 [doi]

Routing Information Protocol in HOL/SPINKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic. tphol 2000: 53-72

Verisim: Formal analysis of network simulationsKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan. ISSTA 2000: 2-13 [doi]

Abstracting dependencies between software configuration itemsCarl A. Gunter. TOSEM, 9(1):94-131, 2000. [doi]

Policy-directed certificate retrievalCarl A. Gunter, Trevor Jim. SPE, 30(15):1609-1640, 2000.

Generalized Certificate RevocationCarl A. Gunter, Trevor Jim. POPL 2000: 316-329 [doi]

A Reference Model for Requirements and Specifications-Extended AbstractCarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave. icre 2000: 189 [doi]

A Reference Model for Requirements and SpecificationsCarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave. IEEE Software, 17(3), 2000. [doi]

Reasoning about Secrecy for Active NetworksPankaj Kakkar, Carl A. Gunter, Martín Abadi. csfw 2000: 118-129 [doi]

Certificate Distribution with Local AutonomyPankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim. iwan 2000: 277-295 [doi]

Specification and Formal Analysis of a PLAN Algorithm in MaudeBow-Yaw Wang, José Meseguer, Carl A. Gunter. icdcsw 2000:

1999

PLANet: An Active InternetworkMichael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles. infocom 1999: 1124-1133

Specifying the PLAN Network Programming LangaugePankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter. ENTCS, 26, 1999. [doi]

1998

1997

The Common Order-Theoretic Structure of Version Spaces and ATMSsCarl A. Gunter, Teow-Hin Ngair, Devika Subramanian. ai, 95(2):357-407, 1997. [doi]

1996

Reference Counting as a Computational Interpretation of Linear LogicJawahar Chirimar, Carl A. Gunter, Jon G. Riecke. JFP, 6(2):195-244, 1996.

Sets as Anti-ChainsCarl A. Gunter, Teow-Hin Ngair, Devika Subramanian. asian 1996: 116-128

Abstracting Dependencies between Software Configuration ItemsCarl A. Gunter. ESEC/FSE 1996: 167-178 [doi]

Strategic Directions in Software Engineering and Programming LanguagesCarl A. Gunter, John C. Mitchell, David Notkin. ACM Comput. Surv., 28(4):727-737, 1996.

1995

A Generalization of Exceptions and Control in ML-like LanguagesCarl A. Gunter, Didier Rémy, Jon G. Riecke. fpca 1995: 12-23

1993

Computing ML Equality Kinds Using Abstract InterpretationCarl A. Gunter, Elsa L. Gunter, David B. MacQueen. iandc, 107(2):303-323, December 1993.

Semantics of programming languages - structures and techniquesCarl A. Gunter. Foundations of computing, MIT Press, 1993.

1992

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof CheckerJawahar Chirimar, Carl A. Gunter, Myra Van Inwegen. cade 1992: 711-715

Proving Memory Management Invariants for a Language Based on Linear LogicJawahar Chirimar, Carl A. Gunter, Jon G. Riecke. lfp 1992: 139-150 [doi]

The Mixed PowerdomainCarl A. Gunter. TCS, 103(2):311-334, 1992.

1991

1990

Normal Process RepresentativesVijay Gehlot, Carl A. Gunter. lics 1990: 200-207

Semantic DomainsCarl A. Gunter, Dana S. Scott. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 633-674, 1990.

Relating Total and Partial Correctness Interpretations of Non-Deterministic ProgramsCarl A. Gunter. POPL 1990: 306-319

Computing with CoercionsVal Tannen, Carl A. Gunter, Andre Scedrov. lfp 1990: 44-60 [doi]

1989

Domain Theoretic Models of PolymorphismThierry Coquand, Carl A. Gunter, Glynn Winskel. iandc, 81(2):123-167, May 1989.

Inheritance and Explicit Coercion (Preliminary Report)Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov. lics 1989: 112-129

1988

Coherence and Consistency in Domains (Extended Outline)Carl A. Gunter, Achim Jung. lics 1988: 309-317

1987

DI-Domains as a Model of PolymorphismThierry Coquand, Carl A. Gunter, Glynn Winskel. mfps 1988: 344-363

Universal Profinite DomainsCarl A. Gunter. iandc, 72(1):1-30, January 1987.

1986

The Largest First-Order-Axiomatizable Cartesian Closed Category of DomainsCarl A. Gunter. lics 1986: 142-148

1985

A Universal Domain Technique for Profinite PosetsCarl A. Gunter. icalp 1985: 232-243

Comparing Categories of DomainsCarl A. Gunter. mfps 1986: 101-121