| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jianqing Zhang, Carl A. Gunter |
Application-aware secure multicast for power grid communications.  |
IJSN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, Dong Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright |
Nonintrusive Load-Shed Verification. |
IEEE Pervasive Computing |
2011 |
DBLP DOI BibTeX RDF |
nonintrusive load monitoring, demand response, demand side management, pervasive computing, cybersecurity, smart grid |
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
security and privacy protection knowledge, data engineering tools and techniques, security, privacy, integrity and protection, public policy issues |
| 1 | Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi |
MyABDAC: compiling XACML policies for attribute-based database access control. |
CODASPY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Fatemieh, Michael LeMay, Carl A. Gunter |
Reliable telemetry in white spaces using remote attestation. |
ACSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, Carl A. Gunter |
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. |
TRUST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter |
Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. |
NDSS |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
sensor networks, energy, troubleshooting |
| 1 | Musab AlTurki, José Meseguer, Carl A. Gunter |
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka |
How to Bootstrap Security for Ad-Hoc Network: Revisited. |
SEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic |
Strong and Weak Policy Relations. |
POLICY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers. |
POLICY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell |
Sh@re: Negotiated Audit in Social Networks. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen |
Specifying and Analyzing Workflows for Automated Identification and Data Capture. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, Jason J. Haas, Carl A. Gunter |
Collaborative Recommender Systems for Building Automation. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Minami, Nikita Borisov, Carl A. Gunter |
Safety in discretionary access control for logic-based publish-subscribe systems. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
access control, safety, inference control, publish-subscribe system, logical language |
| 1 | Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett |
Implementing Reflective Access Control in SQL. |
DBSec |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, Carl A. Gunter |
Cumulative Attestation Kernels for Embedded Systems. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer |
Model-Checking DoS Amplification for VoIP Session Initiation. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan |
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter |
An Integrated Architecture for Demand Response Communications and Control. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter |
Adaptive SelectiveVerification. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
formal safety verification, reflective database access control, transaction datalog, fine-grained access control |
| 1 | Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo |
Using rhythmic nonces for puzzle-based DoS resistance. |
CSAW |
2008 |
DBLP DOI BibTeX RDF |
security |
| 1 | Ratul K. Guha, Carl A. Gunter, Saswati Sarkar |
Fair Coalitions for Power-Aware Routing in Wireless Networks. |
IEEE Trans. Mob. Comput. |
2007 |
DBLP DOI BibTeX RDF |
energy-aware systems and routing, Wireless communication, algorithm design and analysis |
| 1 | Charles C. Zhang, Marianne Winslett, Carl A. Gunter |
On the Safety and Efficiency of Firewall Policy Deployment. |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg |
Unified Architecture for Large-Scale Attested Metering. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwyn Goodloe, Carl A. Gunter |
Reasoning about Concurrency for Security Tunnels. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael LeMay, Omid Fatemieh, Carl A. Gunter |
PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
policy administration, constraints, separation of duty, attribute based access control |
| 1 | Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila |
Improving multi-tier security using redundant authentication. |
CSAW |
2007 |
DBLP DOI BibTeX RDF |
Building Automation Systems, authentication |
| 1 | Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter |
AMPol: Adaptive Messaging Policy. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana |
Using Attribute-Based Access Control to Enable Attribute-Based Messaging. |
ACSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raja Afandi, Jianqing Zhang, Carl A. Gunter |
AMPol-Q: Adaptive Middleware Policy to Support QoS. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
AMPol-Q, WSEmail, Dynamic Service Discovery, Security, QoS, Ontologies, Service Oriented Architecture, Policy, Adaptive Middleware |
| 1 | Michael J. May, Carl A. Gunter, Insup Lee |
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jodie P. Boyer, Kaijun Tan, Carl A. Gunter |
Privacy Sensitive Location Information Systems in Smart Buildings. |
SPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter |
Defeasible security policy composition for web services. |
FMSE |
2006 |
DBLP DOI BibTeX RDF |
security policy composition, web services, defeasible logic |
| 1 | Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee |
Securing the drop-box architecture for assisted living. |
FMSE |
2006 |
DBLP DOI BibTeX RDF |
home health monitoring, security protocol verification, formal methods, formal verification, assisted living |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter |
Network Event Recognition. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis |
| 1 | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr |
Formal prototyping in early stages of protocol design. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter |
WSEmail: Secure Internet Messaging Based on Web Services. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael McDougall, Rajeev Alur, Carl A. Gunter |
A model-based approach to integrating security policies for embedded devices. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
policy integration, smartcards, model based design, Java cards |
| 1 | Kaijun Tan, Jason Crampton, Carl A. Gunter |
The Consistency of Task-Based Authorization Constraints in Workflow Systems. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh |
DoS Protection for Reliably Authenticated Broadcast. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Michael J. May, Stuart G. Stubblebine |
A Formal Privacy System and Its Application to Location Based Services. |
Privacy Enhancing Technologies |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Carl A. Gunter, Martín Abadi |
Reasoning About Secrecy for Active Networks. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter |
Open APIs for Embedded Security. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter |
Requirements for a Practical Network Event Recognition Language. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter |
Formal verification of standards for distance vector routing protocols. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
distance vector routing, network standards, model checking, Formal verification, routing protocols, AODV, SPIN, interactive theorem proving, HOL, RIP |
| 1 | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur |
Predictable programs in barcodes. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
active barcodes, code delivery, programmability of embedded devices, formal verification |
| 1 | Carl A. Gunter |
Micro Mobile Programs. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
What packets may come: automata for network monitoring. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
TCP/IP |
| 1 | Carl A. Gunter, Stephen Weeks, Andrew K. Wright |
Models and Languages for Digital Rights. (PDF / PS) |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
copyright enforcement, Digital Rights Management, digital music |
| 1 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave |
A Reference Model for Requirements and Specifications. |
IEEE Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Trevor Jim |
Policy-directed certificate retrieval. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Abstracting dependencies between software configuration items. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
mathematical models of build dependencies, Petri nets, abstract interpretation, software configuration management |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
Verisim: Formal analysis of network simulations. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Trevor Jim |
Generalized Certificate Revocation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim |
Certificate Distribution with Local Autonomy. |
IWAN |
2000 |
DBLP DOI BibTeX RDF |
certificate distribution, local autonomy, ABone, QCM, Query Certificate Manager, access control, Security policy, active networks |
| 1 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave |
A Reference Model for Requirements and Specifications-Extended Abstract. (PDF / PS) |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
formal methods, specifications, refinement, requirements, software engineering methodology |
| 1 | Pankaj Kakkar, Carl A. Gunter, Martín Abadi |
Reasoning about Secrecy for Active Networks. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic |
Routing Information Protocol in HOL/SPIN. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic |
Fault origin adjudication. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter |
Specifying the PLAN Network Programming Langauge. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles |
PLANet: An Active Internetwork. |
INFOCOM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
PLAN: A Packet Language for Active Networks. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles |
Network Programming Using PLAN. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian |
The Common Order-Theoretic Structure of Version Spaces and ATMSs. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, John C. Mitchell, David Notkin |
Strategic Directions in Software Engineering and Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke |
Reference Counting as a Computational Interpretation of Linear Logic. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian |
Sets as Anti-Chains. |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Abstracting Dependencies between Software Configuration Items. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Didier Rémy, Jon G. Riecke |
A Generalization of Exceptions and Control in ML-like Languages. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Elsa L. Gunter, David B. MacQueen |
Computing ML Equality Kinds Using Abstract Interpretation |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Semantics of programming languages - structures and techniques. |
|
1993 |
RDF |
|
| 1 | Carl A. Gunter |
The Mixed Powerdomain. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen |
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke |
Proving Memory Management Invariants for a Language Based on Linear Logic. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
Inheritance as Implicit Coercion |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Forms of Semantic Specification. |
Bulletin of the EATCS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Elsa L. Gunter, David B. MacQueen |
An Abstract Interpretation for ML Equality Kinds. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian |
The Common Order-Theoretic Structure of Version Spaces and ATMS's. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Dana S. Scott |
Semantic Domains. |
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) |
1990 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter |
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Carl A. Gunter, Andre Scedrov |
Computing with Coercions. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Gehlot, Carl A. Gunter |
Normal Process Representatives |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
Domain Theoretic Models of Polymorphism |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov |
Inheritance and Explicit Coercion (Preliminary Report) |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter, Achim Jung |
Coherence and Consistency in Domains (Extended Outline) |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Universal Profinite Domains |
Inf. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
DI-Domains as a Model of Polymorphism. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains |
LICS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter |
A Universal Domain Technique for Profinite Posets. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Comparing Categories of Domains. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")