A Universal Domain Technique for Profinite Posets. - Carl A. Gunter (ICALP, 1985)

Comparing Categories of Domains. - Carl A. Gunter (Mathematical Foundations of Programming Semantics, 1985)

The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains - Carl A. Gunter (LICS, 1986)

DI-Domains as a Model of Polymorphism. - Thierry Coquand; Carl A. Gunter; Glynn Winskel (MFPS, 1987)

Universal Profinite Domains - Carl A. Gunter (Inf. Comput., 1987)

Coherence and Consistency in Domains (Extended Outline) - Carl A. Gunter; Achim Jung (LICS, 1988)

Inheritance and Explicit Coercion (Preliminary Report) - Val Tannen; Thierry Coquand; Carl A. Gunter; Andre Scedrov (LICS, 1989)

Domain Theoretic Models of Polymorphism - Thierry Coquand; Carl A. Gunter; Glynn Winskel (Inf. Comput., 1989)

Semantic Domains. - Carl A. Gunter; Dana S. Scott (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

Computing with Coercions. - Val Tannen; Carl A. Gunter; Andre Scedrov (LISP and Functional Programming, 1990)

Normal Process Representatives - Vijay Gehlot; Carl A. Gunter (LICS, 1990)

Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. - Carl A. Gunter (POPL, 1990)

The Common Order-Theoretic Structure of Version Spaces and ATMS's. - Carl A. Gunter; Teow-Hin Ngair; Prakash Panangaden; Devika Subramanian (AAAI, 1991)

An Abstract Interpretation for ML Equality Kinds. - Carl A. Gunter; Elsa L. Gunter; David B. MacQueen (TACS, 1991)

Forms of Semantic Specification. - Carl A. Gunter (Bull. EATCS, 1991)

Inheritance as Implicit Coercion - Val Tannen; Thierry Coquand; Carl A. Gunter; Andre Scedrov (Inf. Comput., 1991)

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. - Jawahar Chirimar; Carl A. Gunter; Myra Van Inwegen (CADE, 1992)

Proving Memory Management Invariants for a Language Based on Linear Logic. - Jawahar Chirimar; Carl A. Gunter; Jon G. Riecke (LISP and Functional Programming, 1992)

The Mixed Powerdomain. - Carl A. Gunter (Theor. Comput. Sci., 1992)

Semantics of programming languages - structures and techniques. - Carl A. Gunter (MIT Press, 1993)

Forms of Semantic Specification. - Carl A. Gunter (Current Trends in Theoretical Computer Science, 1993)

Computing ML Equality Kinds Using Abstract Interpretation - Carl A. Gunter; Elsa L. Gunter; David B. MacQueen (Inf. Comput., 1993)

A Generalization of Exceptions and Control in ML-like Languages. - Carl A. Gunter; Didier Rémy; Jon G. Riecke (FPCA, 1995)

Sets as Anti-Chains. - Carl A. Gunter; Teow-Hin Ngair; Devika Subramanian (ASIAN, 1996)

Strategic Directions in Software Engineering and Programming Languages. - Carl A. Gunter; John C. Mitchell; David Notkin (ACM Comput. Surv., 1996)

Reference Counting as a Computational Interpretation of Linear Logic. - Jawahar Chirimar; Carl A. Gunter; Jon G. Riecke (J. Funct. Program., 1996)

The Common Order-Theoretic Structure of Version Spaces and ATMSs. - Carl A. Gunter; Teow-Hin Ngair; Devika Subramanian (Artif. Intell., 1997)

Network Programming Using PLAN. - Michael W. Hicks; Pankaj Kakkar; Jonathan T. Moore; Carl A. Gunter; Scott Nettles (ICCL Workshop: Internet Programming Languages, 1998)

PLAN: A Packet Language for Active Networks. - Michael W. Hicks; Pankaj Kakkar; Jonathan T. Moore; Carl A. Gunter; Scott Nettles (ICFP, 1998)

The Village Telephone System: A Case Study in Formal Software Engineering. - Karthikeyan Bhargavan; Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Davor Obradovic; Pamela Zave (TPHOLs, 1998)

The SwitchWare active network architecture. - D. Scott Alexander; William Arbaugh; Michael Hicks 001; Pankaj Kakkar; Angelos Dennis Keromytis; Jonathan T. Moore; Carl A. Gunter; Scott Nettles; Jonathan M. Smith (IEEE Netw., 1998)

PLANet: An Active Internetwork. - Michael W. Hicks; Jonathan T. Moore; D. Scott Alexander; Carl A. Gunter; Scott Nettles (INFOCOM, 1999)

Specifying the PLAN Network Programming Langauge. - Pankaj Kakkar; Michael W. Hicks; Jonathan T. Moore; Carl A. Gunter (HOOTS, 1999)

Fault origin adjudication. - Karthikeyan Bhargavan; Carl A. Gunter; Davor Obradovic (FMSP, 2000)

Specification and Formal Analysis of a PLAN Algorithm in Maude. - Bow-Yaw Wang; José Meseguer 001; Carl A. Gunter (ICDCS Workshop on Distributed System Validation and Verification, 2000)

A Reference Model for Requirements and Specifications-Extended Abstract. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (ICRE, 2000)

Certificate Distribution with Local Autonomy. - Pankaj Kakkar; Michael McDougall; Carl A. Gunter; Trevor Jim (IWAN, 2000)

Generalized Certificate Revocation. - Carl A. Gunter; Trevor Jim (POPL, 2000)

Routing Information Protocol in HOL/SPIN. - Karthikeyan Bhargavan; Carl A. Gunter; Davor Obradovic (TPHOLs, 2000)

Automated analysis of standard ML. - Carl A. Gunter (ACM SIGSOFT Softw. Eng. Notes, 2000)

Formal software engineering. - Carl A. Gunter; Elsa L. Gunter; Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 2000)

A Reference Model for Requirements and Specifications. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (IEEE Softw., 2000)

Policy-directed certificate retrieval. - Carl A. Gunter; Trevor Jim (Softw. Pract. Exp., 2000)

Abstracting dependencies between software configuration items. - Carl A. Gunter (ACM Trans. Softw. Eng. Methodol., 2000)

Models and Languages for Digital Rights. - Carl A. Gunter; Stephen Weeks; Andrew K. Wright (HICSS, 2001)

What packets may come: automata for network monitoring. - Karthikeyan Bhargavan; Satish Chandra 001; Peter J. McCann; Carl A. Gunter (POPL, 2001)

Predictable programs in barcodes. - Alwyn Goodloe; Michael McDougall; Carl A. Gunter; Rajeev Alur (CASES, 2002)

Micro Mobile Programs. - Carl A. Gunter (IFIP TCS, 2002)

Requirements for a Practical Network Event Recognition Language. - Karthikeyan Bhargavan; Carl A. Gunter (RV@FLoC, 2002)

Formal verification of standards for distance vector routing protocols. - Karthikeyan Bhargavan; Davor Obradovic; Carl A. Gunter (J. ACM, 2002)

Verisim: Formal Analysis of Network Simulations. - Karthikeyan Bhargavan; Carl A. Gunter; Moonjoo Kim 001; Insup Lee 001; Davor Obradovic; Oleg Sokolsky; Mahesh Viswanathan 001 (IEEE Trans. Software Eng., 2002)

Open APIs for Embedded Security. - Carl A. Gunter (ECOOP, 2003)

Reasoning About Secrecy for Active Networks. - Pankaj Kakkar; Carl A. Gunter; Martín Abadi (J. Comput. Secur., 2003)

The Consistency of Task-Based Authorization Constraints in Workflow Systems. - Kaijun Tan; Jason Crampton; Carl A. Gunter (CSFW, 2004)

A model-based approach to integrating security policies for embedded devices. - Michael McDougall; Rajeev Alur; Carl A. Gunter (EMSOFT, 2004)

DoS Protection for Reliably Authenticated Broadcast. - Carl A. Gunter; Sanjeev Khanna; Kaijun Tan; Santosh S. Venkatesh (NDSS, 2004)

A Formal Privacy System and Its Application to Location Based Services. - Carl A. Gunter; Michael J. May; Stuart G. Stubblebine (Privacy Enhancing Technologies, 2004)

WSEmail: Secure Internet Messaging Based on Web Services. - Kevin D. Lux; Michael J. May; Nayan L. Bhattad; Carl A. Gunter (ICWS, 2005)

Formal prototyping in early stages of protocol design. - Alwyn Goodloe; Carl A. Gunter; Mark-Oliver Stehr (WITS, 2005)

Network Event Recognition. - Karthikeyan Bhargavan; Carl A. Gunter (Formal Methods Syst. Des., 2005)

Using Attribute-Based Access Control to Enable Attribute-Based Messaging. - Rakeshbabu Bobba; Omid Fatemieh; Fariba Khan; Carl A. Gunter; Himanshu Khurana (ACSAC, 2006)

Defeasible security policy composition for web services. - Adam J. Lee; Jodie P. Boyer; Lars E. Olson 001; Carl A. Gunter (FMSE, 2006)

Securing the drop-box architecture for assisted living. - Michael J. May; Wook Shin; Carl A. Gunter; Insup Lee 001 (FMSE, 2006)

Reducing Risk by Managing Software Related Failures in Networked Control Systems. - Girish Baliga; Scott R. Graham; Carl A. Gunter; Panganamala R. Kumar (CDC, 2006)

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. - Michael J. May; Carl A. Gunter; Insup Lee 001 (CSFW, 2006)

AMPol: Adaptive Messaging Policy. - Raja Afandi; Jianqing Zhang; Munawar Hafiz; Carl A. Gunter (ECOWS, 2006)

AMPol-Q: Adaptive Middleware Policy to Support QoS. - Raja Afandi; Jianqing Zhang; Carl A. Gunter (ICSOC, 2006)

I-Living: An Open System Architecture for Assisted Living. - Qixin Wang; Wook Shin; Xue Liu 001; Zheng Zeng 001; Cham Oh; Bedoor K. AlShebli; Marco Caccamo; Carl A. Gunter; Elsa L. Gunter; Jennifer C. Hou; Karrie Karahalios; Lui Sha (SMC, 2006)

Privacy Sensitive Location Information Systems in Smart Buildings. - Jodie P. Boyer; Kaijun Tan; Carl A. Gunter (SPC, 2006)

Improving multi-tier security using redundant authentication. - Jodie P. Boyer; Ragib Hasan; Lars E. Olson 001; Nikita Borisov; Carl A. Gunter; David Raila (CSAW, 2007)

Reasoning about Concurrency for Security Tunnels. - Alwyn Goodloe; Carl A. Gunter (CSF, 2007)

Unified Architecture for Large-Scale Attested Metering. - Michael LeMay; George Gross; Carl A. Gunter; Sanjam Garg (HICSS, 2007)

Supporting Emergency-Response by Retasking Network Infrastructures. - Michael LeMay; Carl A. Gunter (HotNets, 2007)

PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. - Michael LeMay; Omid Fatemieh; Carl A. Gunter (SACMAT, 2007)

On the Safety and Efficiency of Firewall Policy Deployment. - Charles C. Zhang; Marianne Winslett; Carl A. Gunter (S&P, 2007)

Fair Coalitions for Power-Aware Routing in Wireless Networks. - Ratul K. Guha; Carl A. Gunter; Saswati Sarkar (IEEE Trans. Mob. Comput., 2007)

Using rhythmic nonces for puzzle-based DoS resistance. - Ellick Chan; Carl A. Gunter; Sonia Jahid; Evgeni Peryshkin; Daniel Rebolledo (CSAW, 2008)

A formal framework for reflective database access control policies. - Lars E. Olson 001; Carl A. Gunter; P. Madhusudan (CCS, 2008)

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. - Rohit Chadha; Carl A. Gunter; José Meseguer 001; Ravinder Shankesi; Mahesh Viswanathan 001 (FMOODS, 2008)

An Integrated Architecture for Demand Response Communications and Control. - Michael LeMay; Rajesh Nelli; George Gross; Carl A. Gunter (HICSS, 2008)

Adaptive SelectiveVerification. - Sanjeev Khanna; Santosh S. Venkatesh; Omid Fatemieh; Fariba Khan; Carl A. Gunter (INFOCOM, 2008)

Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. - Musab AlTurki; José Meseguer 001; Carl A. Gunter (SecReT@LICS/CSF, 2008)

Implementing Reflective Access Control in SQL. - Lars E. Olson 001; Carl A. Gunter; William R. Cook; Marianne Winslett (DBSec, 2009)

Model-Checking DoS Amplification for VoIP Session Initiation. - Ravinder Shankesi; Musab AlTurki; Ralf Sasse; Carl A. Gunter; José Meseguer 001 (ESORICS, 2009)

Specifying and Analyzing Workflows for Automated Identification and Data Capture. - Elsa L. Gunter; Ayesha Yasmeen; Carl A. Gunter; Anh Nguyen (HICSS, 2009)

Collaborative Recommender Systems for Building Automation. - Michael LeMay; Jason J. Haas; Carl A. Gunter (HICSS, 2009)

Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers. - Carl A. Gunter (POLICY, 2009)

Strong and Weak Policy Relations. - Michael J. May; Carl A. Gunter; Insup Lee 001; Steve Zdancewic (POLICY, 2009)

Safety in discretionary access control for logic-based publish-subscribe systems. - Kazuhiro Minami; Nikita Borisov; Carl A. Gunter (SACMAT, 2009)

Completeness of discovery protocols. - Alwyn Goodloe; Carl A. Gunter (SafeConfig, 2009)

How to Bootstrap Security for Ad-Hoc Network: Revisited. - Wook Shin; Carl A. Gunter; Shinsaku Kiyomoto; Kazuhide Fukushima; Toshiaki Tanaka (SEC, 2009)

Sh@re: Negotiated Audit in Social Networks. - Alejandro Gutierrez; Apeksha Godiyal; Matt Stockton; Michael LeMay; Carl A. Gunter; Roy H. Campbell (SMC, 2009)

Guest editorial network infrastructure configuration. - Paul Anderson 003; Carl A. Gunter; Charles R. Kalmanek; Sanjai Narain; Jonathan M. Smith; Rajesh Talpade; Geoffrey G. Xie (IEEE J. Sel. Areas Commun., 2009)

Diagnostic powertracing for sensor node failure analysis. - Mohammad Maifi Hasan Khan; Hieu Khac Le; Michael LeMay; Paria Moinzadeh; Lili Wang 006; Yong Yang 009; Dong Kun Noh; Tarek F. Abdelzaher; Carl A. Gunter; Jiawei Han 001; Xin Jin 001 (IPSN, 2010)

Tiered Incentives for Integrity Based Queuing. - Fariba Khan; Carl A. Gunter (NetEcon, 2010)

EBAM: Experience-Based Access Management for Healthcare. - Carl A. Gunter; David M. Liebovitz; Bradley A. Malin (HealthSec, 2010)

Attribute-Based Messaging: Access Control and Confidentiality. - Rakeshbabu Bobba; Omid Fatemieh; Fariba Khan; Arindam Khan 001; Carl A. Gunter; Himanshu Khurana; Manoj Prabhakaran 001 (ACM Trans. Inf. Syst. Secur., 2010)

Reliable telemetry in white spaces using remote attestation. - Omid Fatemieh; Michael LeMay; Carl A. Gunter (ACSAC, 2011)

MyABDAC: compiling XACML policies for attribute-based database access control. - Sonia Jahid; Carl A. Gunter; Imranul Hoque; Hamed Okhravi (CODASPY, 2011)

Reconstructing Hash Reversal based Proof of Work Schemes. - Jeff Green; Joshua Juen; Omid Fatemieh; Ravinder Shankesi; Dong (Kevin) Jin; Carl A. Gunter (LEET, 2011)

Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. - Omid Fatemieh; Ali Farhadi; Ranveer Chandra; Carl A. Gunter (NDSS, 2011)

Making DTNs robust against spoofing attacks with localized countermeasures. - Md. Yusuf Sarwar Uddin; Ahmed Khurshid; Hee Dong Jung; Carl A. Gunter; Matthew Caesar 001; Tarek F. Abdelzaher (SECON, 2011)

Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. - Michael LeMay; Carl A. Gunter (TRUST, 2011)

Role Prediction Using Electronic Medical Record System Audits. - Wen Zhang; Carl A. Gunter; David M. Liebovitz; Jian Tian (HealthSec, 2011)

Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems. - Carl A. Gunter; David M. Liebovitz; Bradley A. Malin (IEEE Secur. Priv., 2011)

Application-aware secure multicast for power grid communications. - Jianqing Zhang; Carl A. Gunter (Int. J. Secur. Networks, 2011)

Nonintrusive Load-Shed Verification. - David C. Bergman; Dong (Kevin) Jin; Joshua Juen; Naoki Tanaka; Carl A. Gunter; Andrew K. Wright (IEEE Pervasive Comput., 2011)

Tragedy of Anticommons in Digital Right Management of Medical Records. - Quanyan Zhu; Carl A. Gunter; Tamer Basar (HealthSec, 2012)

Adaptive Selective Verification: An Efficient Adaptive Countermeasure to Thwart DoS Attacks. - Sanjeev Khanna; Santosh S. Venkatesh; Omid Fatemieh; Fariba Khan; Carl A. Gunter (IEEE/ACM Trans. Netw., 2012)

Cumulative Attestation Kernels for Embedded Systems. - Michael LeMay; Carl A. Gunter (IEEE Trans. Smart Grid, 2012)

Identity, location, disease and more: inferring your secrets from android public resources. - Xiao-yong Zhou; Soteris Demetriou; Dongjing He; Muhammad Naveed 001; Xiaorui Pan; XiaoFeng Wang 001; Carl A. Gunter; Klara Nahrstedt (CCS, 2013)

Modeling and detecting anomalous topic access. - Siddharth Gupta 005; Casey Hanson; Carl A. Gunter; Mario Frank 001; David M. Liebovitz; Bradley A. Malin (ISI, 2013)

Evolving role definitions through permission invocation patterns. - Wen Zhang; You Chen 001; Carl A. Gunter; David M. Liebovitz; Bradley A. Malin (SACMAT, 2013)

Requirements and Design for an Extensible Toolkit for Analyzing EMR Audit Logs. - Eric Duffy; Steve Nyemba; Carl A. Gunter; David M. Liebovitz; Bradley A. Malin (HealthTech, 2013)

Securing Information Technology in Healthcare. - Denise L. Anthony; Andrew T. Campbell; Thomas Candon; Andrew Gettinger; David Kotz; Lisa A. Marsch; Andres Molina-Markham; Karen Page; Sean W. Smith; Carl A. Gunter; M. Eric Johnson (IEEE Secur. Priv., 2013)

Mining Deviations from Patient Care Pathways via Electronic Medical Record System Audits. - He Zhang; Sanjay Mehrotra; David M. Liebovitz; Carl A. Gunter; Bradley A. Malin (ACM Trans. Manag. Inf. Syst., 2013)

Security Concerns in Android mHealth Apps. - Dongjing He; Muhammad Naveed 001; Carl A. Gunter; Klara Nahrstedt (AMIA, 2014)

Detecting privacy-sensitive events in medical text. - Prateek Jindal; Carl A. Gunter; Dan Roth 001 (BCB, 2014)

Joint inference for end-to-end coreference resolution for clinical notes. - Prateek Jindal; Dan Roth 001; Carl A. Gunter (BCB, 2014)

Controlled Functional Encryption. - Muhammad Naveed 001; Shashank Agrawal; Manoj Prabhakaran 001; XiaoFeng Wang 001; Erman Ayday; Jean-Pierre Hubaux; Carl A. Gunter (CCS, 2014)

Decide Now or Decide Later?: Quantifying the Tradeoff between Prospective and Retrospective Access Decisions. - Wen Zhang; You Chen 001; Thaddeus Cybulski; Daniel Fabbri; Carl A. Gunter; Patrick N. Lawlor; David M. Liebovitz; Bradley A. Malin (CCS, 2014)

Privacy-preserving audit for broker-based health information exchange. - Se Eun Oh; Ji Young Chun; Limin Jia 001; Deepak Garg 001; Carl A. Gunter; Anupam Datta (CODASPY, 2014)

Privacy Risk in Anonymized Heterogeneous Information Networks. - Aston Zhang; Xing Xie 001; Kevin Chen-Chuan Chang; Carl A. Gunter; Jiawei Han 001; XiaoFeng Wang 001 (EDBT, 2014)

Inside Job: Understanding and Mitigating the Threat of External Device Mis-Binding on Android. - Muhammad Naveed 001; Xiao-yong Zhou; Soteris Demetriou; XiaoFeng Wang 001; Carl A. Gunter (NDSS, 2014)

Detecting Roles and Anomalies in Hospital Access Audit Logs. - Carl A. Gunter (SafeConfig, 2014)

Privacy and Security in the Genomic Era. - Muhammad Naveed 001; Erman Ayday; Ellen Wright Clayton; Jacques Fellay; Carl A. Gunter; Jean-Pierre Hubaux; Bradley A. Malin; XiaoFeng Wang 001 (CoRR, 2014)

Dynamic Searchable Encryption via Blind Storage. - Muhammad Naveed 001; Manoj Prabhakaran 001; Carl A. Gunter (IACR Cryptol. ePrint Arch., 2014)

Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization. - You Chen 001; Wei Xie 002; Carl A. Gunter; David M. Liebovitz; Sanjay Mehrotra; He Zhang; Bradley A. Malin (AMIA, 2015)

Discovering de facto diagnosis specialties. - Xun Lu; Aston Zhang; Carl A. Gunter; Daniel Fabbri; David M. Liebovitz; Bradley A. Malin (BCB, 2015)

Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. - Michael LeMay; Carl A. Gunter (Logic, Rewriting, and Concurrency, 2015)

What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources. - Soteris Demetriou; Xiao-yong Zhou; Muhammad Naveed 001; Yeonjoon Lee; Kan Yuan; XiaoFeng Wang 001; Carl A. Gunter (NDSS, 2015)

adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback. - Aston Zhang; Amit Goyal 001; Weize Kong; Hongbo Deng; Anlei Dong; Yi Chang 001; Carl A. Gunter; Jiawei Han 001 (SIGIR, 2015)

Security for mobile and cloud frontiers in healthcare. - David Kotz; Kevin Fu; Carl A. Gunter; Aviel D. Rubin (Commun. ACM, 2015)

Privacy in the Genomic Era. - Muhammad Naveed 001; Erman Ayday; Ellen Wright Clayton; Jacques Fellay; Carl A. Gunter; Jean-Pierre Hubaux; Bradley A. Malin; XiaoFeng Wang 001 (ACM Comput. Surv., 2015)

Toward a science of learning systems: a research agenda for the high-functioning Learning Health System. - Charles P. Friedman; Joshua C. Rubin; Jeffrey S. Brown; Melinda Buntin; Milton Corn; Lynn Etheredge; Carl A. Gunter; Mark A. Musen; Richard Platt; William W. Stead; Kevin J. Sullivan; Douglas Van Houweling (J. Am. Medical Informatics Assoc., 2015)

Building bridges across electronic health record systems through inferred phenotypic topics. - You Chen 001; Joydeep Ghosh; Cosmin Adrian Bejan; Carl A. Gunter; Siddharth Gupta 005; Abel N. Kho; David M. Liebovitz; Jimeng Sun 001; Joshua C. Denny; Bradley A. Malin (J. Biomed. Informatics, 2015)

Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets. - Avesta Hojjati; Anku Adhikari; Katarina Struckmann; Edward Chou; Thi Ngoc Tho Nguyen; Kushagra Madan; Marianne Southall Winslett; Carl A. Gunter; William P. King (CCS, 2016)

Draco: A System for Uniform and Fine-grained Access Control for Web Code on Android. - Güliz Seray Tuncay; Soteris Demetriou; Carl A. Gunter (CCS, 2016)

Free for All! Assessing User Data Exposure to Advertising Libraries on Android. - Soteris Demetriou; Whitney Merrill; Wei Yang 013; Aston Zhang; Carl A. Gunter (NDSS, 2016)

Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach. - Aston Zhang; Amit Goyal 001; Ricardo Baeza-Yates; Yi Chang 001; Jiawei Han 001; Carl A. Gunter; Hongbo Deng (WWW, 2016)

Privacy and Security in Mobile Health: A Research Agenda. - David Kotz; Carl A. Gunter; Santosh Kumar 001; Jonathan P. Weiner (Computer, 2016)

Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps. - Wei Yang 013; Deguang Kong; Tao Xie 001; Carl A. Gunter (ACSAC, 2017)

Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. - Wenhao Wang 001; Guoxing Chen; Xiaorui Pan; Yinqian Zhang; XiaoFeng Wang 001; Vincent Bindschaedler; Haixu Tang; Carl A. Gunter (CCS, 2017)

Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises. - Rashid Tahir; Muhammad Huzaifa; Anupam Das 001; Mohammad Ahmad; Carl A. Gunter; Fareed Zaffar; Matthew Caesar 001; Nikita Borisov (RAID, 2017)

HanGuard: SDN-driven protection of smart home WiFi devices from malicious mobile apps. - Soteris Demetriou; Nan Zhang 018; Yeonjoon Lee; XiaoFeng Wang 001; Carl A. Gunter; Xiao-yong Zhou; Michael Grace (WISEC, 2017)

Guardian of the HAN: Thwarting Mobile Attacks on Smart-Home Devices Using OS-level Situation Awareness. - Soteris Demetriou; Nan Zhang 018; Yeonjoon Lee; XiaoFeng Wang 001; Carl A. Gunter; Xiao-yong Zhou; Michael Grace (CoRR, 2017)

Understanding IoT Security Through the Data Crystal Ball: Where We Are Now and Where We Are Going to Be. - Nan Zhang 018; Soteris Demetriou; Xianghang Mi; Wenrui Diao; Kan Yuan; Peiyuan Zong; Feng Qian 001; XiaoFeng Wang 001; Kai Chen 012; Yuan Tian 001; Carl A. Gunter; Kehuan Zhang; et al. (CoRR, 2017)

Towards Measuring Membership Privacy. - Yunhui Long; Vincent Bindschaedler; Carl A. Gunter (CoRR, 2017)

Plausible Deniability for Privacy-Preserving Data Synthesis. - Vincent Bindschaedler; Reza Shokri; Carl A. Gunter (Proc. VLDB Endow., 2017)

Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations. - Karan Ganju; Qi Wang 017; Wei Yang 013; Carl A. Gunter; Nikita Borisov (CCS, 2018)

ReSPonSe: Real-time, Secure, and Privacy-aware Video Redaction System. - Bo Chen 025; Klara Nahrstedt; Carl A. Gunter (MobiQuitous, 2018)

Resolving the Predicament of Android Custom Permissions. - Güliz Seray Tuncay; Soteris Demetriou; Karan Ganju; Carl A. Gunter (NDSS, 2018)

Fear and Logging in the Internet of Things. - Qi Wang 017; Wajih Ul Hassan; Adam Bates 001; Carl A. Gunter (NDSS, 2018)

CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition. - Xuejing Yuan; Yuxuan Chen; Yue Zhao 018; Yunhui Long; Xiaokang Liu; Kai Chen 012; Shengzhi Zhang; Heqing Huang 001; Xiaofeng Wang 006; Carl A. Gunter (USENIX Security Symposium, 2018)

NRF: A Naive Re-identification Framework. - Shubhra Kanti Karmaker Santu; Vincent Bindschaedler; ChengXiang Zhai; Carl A. Gunter (WPES@CCS, 2018)

Understanding Membership Inferences on Well-Generalized Learning Models. - Yunhui Long; Vincent Bindschaedler; Lei Wang; Diyue Bu; Xiaofeng Wang 006; Haixu Tang; Carl A. Gunter; Kai Chen 012 (CoRR, 2018)

Distributed and Secure ML with Self-tallying Multi-party Aggregation. - Yunhui Long; Tanmay Gangwani; Haris Mughees; Carl A. Gunter (CoRR, 2018)

Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and DER Fraud. - Varun Badrinath Krishna; Carl A. Gunter; William H. Sanders (IEEE J. Sel. Top. Signal Process., 2018)

Charting the Attack Surface of Trigger-Action IoT Platforms. - Qi Wang 017; Pubali Datta; Wei Yang 013; Si Liu 003; Adam Bates 001; Carl A. Gunter (CCS, 2019)

BEEER: distributed record and replay for medical devices in hospital operating rooms. - Avesta Hojjati; Yunhui Long; Soteris Demetriou; Carl A. Gunter (HotSoS, 2019)

Scalable Differentially Private Generative Student Model via PATE. - Yunhui Long; Suxin Lin; Zhuolin Yang; Carl A. Gunter; Bo Li 026 (CoRR, 2019)

WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services. - Kevin D. Lux; Michael J. May; Carl A. Gunter (CoRR, 2019)

A Hypothesis Testing Approach to Sharing Logs with Confidence. - Yunhui Long; Le Xu; Carl A. Gunter (CODASPY, 2020)

A Pragmatic Approach to Membership Inferences on Machine Learning Models. - Yunhui Long; Lei Wang; Diyue Bu; Vincent Bindschaedler; XiaoFeng Wang 001; Haixu Tang; Carl A. Gunter; Kai Chen 012 (EuroS&P, 2020)

You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. - Qi Wang 017; Wajih Ul Hassan; Ding Li 001; Kangkook Jee; Xiao Yu 007; Kexuan Zou; Junghwan Rhee; Zhengzhang Chen; Wei Cheng 002; Carl A. Gunter; Haifeng Chen (NDSS, 2020)

See No Evil: Phishing for Permissions with False Transparency. - Güliz Seray Tuncay; Jingyu Qian; Carl A. Gunter (USENIX Security Symposium, 2020)

Grand Challenges for Embedded Security Research in a Connected World. - Wayne P. Burleson; Kevin Fu; Denise L. Anthony; Jorge Guajardo; Carl A. Gunter; Kyle Ingols; Jean-Baptiste Jeannin; Farinaz Koushanfar; Carl E. Landwehr; Susan Squires (CoRR, 2020)

Smartphone Security Behavioral Scale: A New Psychometric Measurement for Smartphone Security. - Hsiao-Ying Huang; Soteris Demetriou; Rini Banerjee; Güliz Seray Tuncay; Carl A. Gunter; Masooda N. Bashir (CoRR, 2020)

WSEmail. - Michael J. May; Kevin D. Lux; Carl A. Gunter (Serv. Oriented Comput. Appl., 2020)

DOVE: A Data-Oblivious Virtual Environment. - Hyun Bin Lee; Tushar M. Jois; Christopher W. Fletcher; Carl A. Gunter (NDSS, 2021)

G-PATE: Scalable Differentially Private Data Generator via Private Aggregation of Teacher Discriminators. - Yunhui Long; Boxin Wang; Zhuolin Yang; Bhavya Kailkhura; Aston Zhang; Carl A. Gunter; Bo Li 026 (NeurIPS, 2021)

Detecting AI Trojans Using Meta Neural Analysis. - Xiaojun Xu; Qi Wang 017; Huichen Li; Nikita Borisov; Carl A. Gunter; Bo Li 026 (SP, 2021)

Compromised ACC vehicles can degrade current mixed-autonomy traffic performance while remaining stealthy against detection. - George Gunter; Huichen Li; Avesta Hojjati; Matthew Nice; Matthew R. Bunting; Carl A. Gunter; Bo Li 026; Jonathan Sprinkle; Daniel B. Work (CoRR, 2021)

Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. - Klara Nahrstedt; Naresh R. Shanbhag; Vikram S. Adve; Nancy M. Amato; Romit Roy Choudhury; Carl A. Gunter; Nam Sung Kim; Olgica Milenkovic; Sayan Mitra; Lav R. Varshney; Yurii Vlasov; Sarita V. Adve; et al. (CoRR, 2022)

EDoG: Adversarial Edge Detection For Graph Neural Networks. - Xiaojun Xu; Yue Yu; Hanzhang Wang; Alok Lal; Carl A. Gunter; Bo Li 026 (CoRR, 2022)

A Tagging Solution to Discover IoT Devices in Apartments. - Berkay Kaplan; Israel J. Lopez-Toledo; Carl A. Gunter; Jingyu Qian (ACSAC, 2023)

EDoG: Adversarial Edge Detection For Graph Neural Networks. - Xiaojun Xu; Hanzhang Wang; Alok Lal; Carl A. Gunter; Bo Li 026 (SaTML, 2023)

Evaluating User Behavior in Smartphone Security: A Psychometric Perspective. - Hsiao-Ying Huang; Soteris Demetriou; Muhammad Hassan 005; Güliz Seray Tuncay; Carl A. Gunter; Masooda N. Bashir (SOUPS, 2023)

How to Cover up Anomalous Accesses to Electronic Health Records. - Xiaojun Xu; Qingying Hao; Zhuolin Yang; Bo Li 026; David M. Liebovitz; Gang Wang 011; Carl A. Gunter (USENIX Security Symposium, 2023)

The HandyTech's Coming Between 1 and 4: Privacy Opportunities and Challenges for the IoT Handyperson. - Denise L. Anthony; Carl A. Gunter; Weijia He; Mounib Khanafer; Susan Landau 001; Ravindra Mangar; Nathan Reitinger (WPES@CCS, 2023)

We Need a "Building Inspector for IoT" When Smart Homes Are Sold. - Timothy J. Pierson; Cesar Arguello; Beatrice Perez; Wondimu Zegeye; Kevin T. Kornegay; Carl A. Gunter; David Kotz (IEEE Secur. Priv., 2024)

Termite Attacks: Gnawing on Logs to Extract Secret Information. - Hyun Bin Lee; Tushar M. Jois; Christopher W. Fletcher; Carl A. Gunter (HOST, 2025)

Help Me Help You: Privacy Considerations for Third Party IoT Device Repair. - Nathan Reitinger; Weijia He; Chelsea Bruno; Susan Landau 001; Carl A. Gunter; Mounib Khanafer; Ravindra Mangar; Denise L. Anthony (Proc. Priv. Enhancing Technol., 2025)