Carl A. Gunter

	2011
99		Omid Fatemieh, Michael LeMay, Carl A. Gunter: Reliable telemetry in white spaces using remote attestation. ACSAC 2011: 323-332
98		Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi: MyABDAC: compiling XACML policies for attribute-based database access control. CODASPY 2011: 97-108
97		Omid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter: Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. NDSS 2011
96		Md. Yusuf Sarwar Uddin, Ahmed Khurshid, Hee Dong Jung, Carl A. Gunter, Matthew Caesar, Tarek F. Abdelzaher: Making DTNs robust against spoofing attacks with localized countermeasures. SECON 2011: 332-340
95		Michael LeMay, Carl A. Gunter: Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. TRUST 2011: 202-216
94		David Bergman, Dong Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright: Nonintrusive Load-Shed Verification. IEEE Pervasive Computing 10(1): 49-57 (2011)
93		Carl A. Gunter, David M. Liebovitz, Bradley Malin: Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems. IEEE Security & Privacy 9(5): 48-55 (2011)
92		Jianqing Zhang, Carl A. Gunter: Application-aware secure multicast for power grid communications. IJSN 6(1): 40-52 (2011)
	2010
91		Mohammad Maifi Hasan Khan, Hieu Khac Le, Michael LeMay, Paria Moinzadeh, Lili Wang, Yong Yang, Dong Kun Noh, Tarek F. Abdelzaher, Carl A. Gunter, Jiawei Han, Xin Jin: Diagnostic powertracing for sensor node failure analysis. IPSN 2010: 117-128
90		Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Arindam Khan, Carl A. Gunter, Himanshu Khurana, Manoj Prabhakaran: Attribute-Based Messaging: Access Control and Confidentiality. ACM Trans. Inf. Syst. Secur. 13(4): 31 (2010)
	2009
89		Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
88		Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405
87		Michael LeMay, Carl A. Gunter: Cumulative Attestation Kernels for Embedded Systems. ESORICS 2009: 655-670
86		Michael LeMay, Jason J. Haas, Carl A. Gunter: Collaborative Recommender Systems for Building Automation. HICSS 2009: 1-10
85		Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
84		Carl A. Gunter: Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers. POLICY 2009: 114-117
83		Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic: Strong and Weak Policy Relations. POLICY 2009: 33-36
82		Kazuhiro Minami, Nikita Borisov, Carl A. Gunter: Safety in discretionary access control for logic-based publish-subscribe systems. SACMAT 2009: 3-12
81		Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka: How to Bootstrap Security for Ad-Hoc Network: Revisited. SEC 2009: 119-131
80		Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell: Sh@re: Negotiated Audit in Social Networks. SMC 2009: 74-79
79		Musab AlTurki, José Meseguer, Carl A. Gunter: Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. Electr. Notes Theor. Comput. Sci. 234: 3-18 (2009)
78		Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie: Guest editorial network infrastructure configuration. IEEE Journal on Selected Areas in Communications 27(3): 249-252 (2009)
	2008
77		Lars E. Olson, Carl A. Gunter, P. Madhusudan: A formal framework for reflective database access control policies. ACM Conference on Computer and Communications Security 2008: 289-298
76		Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo: Using rhythmic nonces for puzzle-based DoS resistance. CSAW 2008: 51-58
75		Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58
74		Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter: An Integrated Architecture for Demand Response Communications and Control. HICSS 2008: 174
73		Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter: Adaptive SelectiveVerification. INFOCOM 2008: 529-537
	2007
72		Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila: Improving multi-tier security using redundant authentication. CSAW 2007: 54-62
71		Alwyn Goodloe, Carl A. Gunter: Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78
70		Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg: Unified Architecture for Large-Scale Attested Metering. HICSS 2007: 115
69		Charles C. Zhang, Marianne Winslett, Carl A. Gunter: On the Safety and Efficiency of Firewall Policy Deployment. IEEE Symposium on Security and Privacy 2007: 33-50
68		Michael LeMay, Omid Fatemieh, Carl A. Gunter: PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. SACMAT 2007: 205-214
67		Ratul K. Guha, Carl A. Gunter, Saswati Sarkar: Fair Coalitions for Power-Aware Routing in Wireless Networks. IEEE Trans. Mob. Comput. 6(2): 206-220 (2007)
	2006
66		Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana: Using Attribute-Based Access Control to Enable Attribute-Based Messaging. ACSAC 2006: 403-413
65		Michael J. May, Carl A. Gunter, Insup Lee: Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW 2006: 85-97
64		Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter: AMPol: Adaptive Messaging Policy. ECOWS 2006: 53-64
63		Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee: Securing the drop-box architecture for assisted living. FMSE 2006: 1-12
62		Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter: Defeasible security policy composition for web services. FMSE 2006: 45-54
61		Raja Afandi, Jianqing Zhang, Carl A. Gunter: AMPol-Q: Adaptive Middleware Policy to Support QoS. ICSOC 2006: 165-178
60		Jodie P. Boyer, Kaijun Tan, Carl A. Gunter: Privacy Sensitive Location Information Systems in Smart Buildings. SPC 2006: 149-164
	2005
59		Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter: WSEmail: Secure Internet Messaging Based on Web Services. ICWS 2005: 75-82
58		Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80
57		Karthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)
	2004
56		Kaijun Tan, Jason Crampton, Carl A. Gunter: The Consistency of Task-Based Authorization Constraints in Workflow Systems. CSFW 2004: 155-
55		Michael McDougall, Rajeev Alur, Carl A. Gunter: A model-based approach to integrating security policies for embedded devices. EMSOFT 2004: 211-219
54		Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh: DoS Protection for Reliably Authenticated Broadcast. NDSS 2004
53		Carl A. Gunter, Michael J. May, Stuart G. Stubblebine: A Formal Privacy System and Its Application to Location Based Services. Privacy Enhancing Technologies 2004: 256-282
	2003
52		Carl A. Gunter: Open APIs for Embedded Security. ECOOP 2003: 225-247
51		Pankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning About Secrecy for Active Networks. Journal of Computer Security 11(2): 245-287 (2003)
	2002
50		Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur: Predictable programs in barcodes. CASES 2002: 298-303
49		Carl A. Gunter: Micro Mobile Programs. IFIP TCS 2002: 356-369
48		Karthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): 1-20 (2002)
47		Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
46		Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter: Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)
	2001
45		Carl A. Gunter, Stephen Weeks, Andrew K. Wright: Models and Languages for Digital Rights. HICSS 2001
44		Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
	2000
43		Pankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning about Secrecy for Active Networks. CSFW 2000: 118-129
42		Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71
41		Bow-Yaw Wang, José Meseguer, Carl A. Gunter: Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification 2000: E49-E56
40		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
39		Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
38		Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim: Certificate Distribution with Local Autonomy. IWAN 2000: 277-295
37		Carl A. Gunter, Trevor Jim: Generalized Certificate Revocation. POPL 2000: 316-329
36		Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72
35		Carl A. Gunter: Abstracting dependencies between software configuration items. ACM Trans. Softw. Eng. Methodol. 9(1): 94-131 (2000)
34		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)
33		Carl A. Gunter, Trevor Jim: Policy-directed certificate retrieval. Softw., Pract. Exper. 30(15): 1609-1640 (2000)
	1999
32		Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles: PLANet: An Active Internetwork. INFOCOM 1999: 1124-1133
31		Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter: Specifying the PLAN Network Programming Langauge. Electr. Notes Theor. Comput. Sci. 26: 87-104 (1999)
	1998
30		Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: Network Programming Using PLAN. ICCL Workshop: Internet Programming Languages 1998: 127-143
29		Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: PLAN: A Packet Language for Active Networks. ICFP 1998: 86-93
28		Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66
	1997
27		Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian: The Common Order-Theoretic Structure of Version Spaces and ATMSs. Artif. Intell. 95(2): 357-407 (1997)
	1996
26		Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian: Sets as Anti-Chains. ASIAN 1996: 116-128
25		Carl A. Gunter: Abstracting Dependencies between Software Configuration Items. SIGSOFT FSE 1996: 167-178
24		Carl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
23		Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Reference Counting as a Computational Interpretation of Linear Logic. J. Funct. Program. 6(2): 195-244 (1996)
	1995
22		Carl A. Gunter, Didier Rémy, Jon G. Riecke: A Generalization of Exceptions and Control in ML-like Languages. FPCA 1995: 12-23
	1993
21		Carl A. Gunter: Semantics of programming languages - structures and techniques. MIT Press 1993: I-XVIII, 1-419
20		Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation Inf. Comput. 107(2): 303-323 (1993)
	1992
19		Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715
18		Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Proving Memory Management Invariants for a Language Based on Linear Logic. LISP and Functional Programming 1992: 139-150
17		Carl A. Gunter: The Mixed Powerdomain. Theor. Comput. Sci. 103(2): 311-334 (1992)
	1991
16		Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian: The Common Order-Theoretic Structure of Version Spaces and ATMS's. AAAI 1991: 500-505
15		Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
14		Carl A. Gunter: Forms of Semantic Specification. Bulletin of the EATCS 45: 98-113 (1991)
13		Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion Inf. Comput. 93(1): 172-221 (1991)
	1990
12		Vijay Gehlot, Carl A. Gunter: Normal Process Representatives LICS 1990: 200-207
11		Val Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
10		Carl A. Gunter: Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. POPL 1990: 306-319
9		Carl A. Gunter, Dana S. Scott: Semantic Domains. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 633-674
	1989
8		Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report) LICS 1989: 112-129
7		Thierry Coquand, Carl A. Gunter, Glynn Winskel: Domain Theoretic Models of Polymorphism Inf. Comput. 81(2): 123-167 (1989)
	1988
6		Carl A. Gunter, Achim Jung: Coherence and Consistency in Domains (Extended Outline) LICS 1988: 309-317
	1987
5		Thierry Coquand, Carl A. Gunter, Glynn Winskel: DI-Domains as a Model of Polymorphism. MFPS 1987: 344-363
4		Carl A. Gunter: Universal Profinite Domains Inf. Comput. 72(1): 1-30 (1987)
	1986
3		Carl A. Gunter: The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains LICS 1986: 142-148
	1985
2		Carl A. Gunter: A Universal Domain Technique for Profinite Posets. ICALP 1985: 232-243
1		Carl A. Gunter: Comparing Categories of Domains. Mathematical Foundations of Programming Semantics 1985: 101-121

Coauthor Index

1	Martín Abadi	[43] [51]
2	Tarek F. Abdelzaher	[91] [96]
3	Raja Afandi	[61] [64]
4	Musab AlTurki	[79] [88]
5	D. Scott Alexander	[32]
6	Rajeev Alur	[50] [55]
7	Paul Anderson	[78]
8	David Bergman	[94]
9	Karthikeyan Bhargavan	[28] [36] [39] [42] [44] [46] [47] [48] [57]
10	Nayan L. Bhattad	[59]
11	Rakeshbabu Bobba	[66] [90]
12	Nikita Borisov	[72] [82]
13	Jodie P. Boyer	[60] [62] [72]
14	Matthew Caesar	[96]
15	Roy H. Campbell	[80]
16	Rohit Chadha	[75]
17	Ellick Chan	[76]
18	Ranveer Chandra	[97]
19	Satish Chandra	[44]
20	Jawahar Chirimar	[18] [19] [23]
21	William R. Cook	[89]
22	Thierry Coquand	[5] [7] [8] [13]
23	Jason Crampton	[56]
24	Ali Farhadi	[97]
25	Omid Fatemieh	[66] [68] [73] [90] [97] [99]
26	Kazuhide Fukushima	[81]
27	Sanjam Garg	[70]
28	Vijay Gehlot	[12]
29	Apeksha Godiyal	[80]
30	Alwyn Goodloe	[50] [58] [71]
31	George Gross	[70] [74]
32	Ratul K. Guha	[67]
33	Elsa L. Gunter	[15] [20] [28] [34] [40] [85]
34	Alejandro Gutierrez	[80]
35	Jason J. Haas	[86]
36	Munawar Hafiz	[64]
37	Jiawei Han	[91]
38	Ragib Hasan	[72]
39	Michael W. Hicks (Michael Hicks)	[29] [30] [31] [32]
40	Imranul Hoque	[98]
41	Myra Van Inwegen	[19]
42	Michael Jackson	[28] [34] [40]
43	Sonia Jahid	[76] [98]
44	Trevor Jim	[33] [37] [38]
45	Dong Jin	[94]
46	Xin Jin	[91]
47	Joshua Juen	[94]
48	Achim Jung	[6]
49	Hee Dong Jung	[96]
50	Pankaj Kakkar	[29] [30] [31] [38] [43] [51]
51	Charles R. Kalmanek	[78]
52	Arindam Khan	[90]
53	Fariba Khan	[66] [73] [90]
54	Mohammad Maifi Hasan Khan	[91]
55	Sanjeev Khanna	[54] [73]
56	Himanshu Khurana	[66] [90]
57	Ahmed Khurshid	[96]
58	Moonjoo Kim	[39] [47]
59	Shinsaku Kiyomoto	[81]
60	Hieu Khac Le	[91]
61	Michael LeMay	[68] [70] [74] [80] [86] [87] [91] [95] [99]
62	Adam J. Lee	[62]
63	Insup Lee	[39] [47] [63] [65] [83]
64	David M. Liebovitz	[93]
65	Kevin D. Lux	[59]
66	David B. MacQueen	[15] [20]
67	P. Madhusudan (Parthasarathy Madhusudan)	[77]
68	Bradley Malin (Bradley A. Malin)	[93]
69	Michael J. May	[53] [59] [63] [65] [83]
70	Peter J. McCann	[44]
71	Michael McDougall	[38] [50] [55]
72	José Meseguer	[41] [75] [79] [88]
73	Kazuhiro Minami	[82]
74	John C. Mitchell	[24]
75	Paria Moinzadeh	[91]
76	Jonathan T. Moore	[29] [30] [31] [32]
77	Sanjai Narain	[78]
78	Rajesh Nelli	[74]
79	Scott Nettles	[29] [30] [32]
80	Teow-Hin Ngair	[16] [26] [27]
81	Anh Nguyen	[85]
82	Dong Kun Noh	[91]
83	David Notkin	[24]
84	Davor Obradovic	[28] [36] [39] [42] [46] [47]
85	Hamed Okhravi	[98]
86	Lars E. Olson	[62] [72] [77] [89]
87	Prakash Panangaden	[16]
88	Evgeni Peryshkin	[76]
89	Manoj Prabhakaran	[90]
90	David Raila	[72]
91	Daniel Rebolledo	[76]
92	Didier Rémy	[22]
93	Jon G. Riecke	[18] [22] [23]
94	Saswati Sarkar	[67]
95	Ralf Sasse	[88]
96	Andre Scedrov	[8] [11] [13]
97	Dana S. Scott	[9]
98	Ravinder Shankesi	[75] [88]
99	Wook Shin	[63] [81]
100	Jonathan M. Smith	[78]
101	Oleg Sokolsky	[39] [47]
102	Mark-Oliver Stehr	[58]
103	Matt Stockton	[80]
104	Stuart G. Stubblebine	[53]
105	Devika Subramanian	[16] [26] [27]
106	Rajesh Talpade	[78]
107	Kaijun Tan	[54] [56] [60]
108	Naoki Tanaka	[94]
109	Toshiaki Tanaka	[81]
110	Val Tannen (Valeriu Breazu, Val Breazu-Tannen)	[8] [11] [13]
111	Md. Yusuf Sarwar Uddin	[96]
112	Santosh S. Venkatesh	[54] [73]
113	Mahesh Viswanathan	[39] [47] [75]
114	Bow-Yaw Wang	[41]
115	Lili Wang	[91]
116	Stephen Weeks	[45]
117	Glynn Winskel	[5] [7]
118	Marianne Winslett	[69] [89]
119	Andrew K. Wright	[45] [94]
120	Geoffrey G. Xie	[78]
121	Yong Yang	[91]
122	Ayesha Yasmeen	[85]
123	Pamela Zave	[28] [34] [40]
124	Steve Zdancewic	[83]
125	Charles C. Zhang	[69]
126	Jianqing Zhang	[61] [64] [92]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page