Carl A. Gunter

199 papers A* 37A 17B 7C 5Misc 6Journal 61Unranked 62
YearRankTypeTitle / Venue / Authors
2025 — conf
A Trigger for the Autonomous Decommissioning of Smart Devices.
IOT
Ravindra Mangar, Jared Chandler, Jingyu Qian, Carl A. Gunter, Timothy J. Pierson, David Kotz
2025 J jnl
Help Me Help You: Privacy Considerations for Third Party IoT Device Repair.
Proc. Priv. Enhancing Technol.
Nathan Reitinger, Weijia He, Chelsea Bruno, Susan Landau, Carl A. Gunter, Mounib Khanafer, Ravindra Mangar, Denise L. Anthony
2025 — conf
Termite Attacks: Gnawing on Logs to Extract Secret Information.
HOST
Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter
2024 J jnl
We Need a "Building Inspector for IoT" When Smart Homes Are Sold.
IEEE Secur. Priv.
Timothy J. Pierson, Cesar Arguello, Beatrice Perez, Wondimu Zegeye, Kevin T. Kornegay, Carl A. Gunter, David Kotz
2023 A conf
A Tagging Solution to Discover IoT Devices in Apartments.
ACSAC
Berkay Kaplan, Israel J. Lopez-Toledo, Carl A. Gunter, Jingyu Qian
2023 — conf
EDoG: Adversarial Edge Detection For Graph Neural Networks.
SaTML
Xiaojun Xu, Hanzhang Wang, Alok Lal, Carl A. Gunter, Bo Li
2023 A conf
Evaluating User Behavior in Smartphone Security: A Psychometric Perspective.
SOUPS
Hsiao-Ying Huang, Soteris Demetriou, Muhammad Hassan, Güliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir
2023 A* conf
How to Cover up Anomalous Accesses to Electronic Health Records.
USENIX Security Symposium
Xiaojun Xu, Qingying Hao, Zhuolin Yang, Bo Li, David M. Liebovitz, Gang Wang, Carl A. Gunter
2023 — conf
The HandyTech's Coming Between 1 and 4: Privacy Opportunities and Challenges for the IoT Handyperson.
WPES@CCS
Denise L. Anthony, Carl A. Gunter, Weijia He, Mounib Khanafer, Susan Landau, Ravindra Mangar, Nathan Reitinger
2022 J jnl
A Tagging Solution to Discover IoT Devices in Apartments.
CoRR
Berkay Kaplan, Jingyu Qian, Israel Lopez-Toledo, Carl A. Gunter
2022 J jnl
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing.
CoRR
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, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs-Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul G. Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller, Daniela Rus, Alexander G. Schwing, Anshumali Shrivastava
2022 J jnl
EDoG: Adversarial Edge Detection For Graph Neural Networks.
CoRR
Xiaojun Xu, Yue Yu, Hanzhang Wang, Alok Lal, Carl A. Gunter, Bo Li
2021 J jnl
Compromised ACC vehicles can degrade current mixed-autonomy traffic performance while remaining stealthy against detection.
CoRR
George Gunter, Huichen Li, Avesta Hojjati, Matthew Nice, Matthew R. Bunting, Carl A. Gunter, Bo Li, Jonathan Sprinkle, Daniel B. Work
2021 A* conf
DOVE: A Data-Oblivious Virtual Environment.
NDSS
Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter
2021 J jnl
DOVE: A Data-Oblivious Virtual Environment.
CoRR
Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter
2021 A* conf
Detecting AI Trojans Using Meta Neural Analysis.
SP
Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li
2021 A* conf
G-PATE: Scalable Differentially Private Data Generator via Private Aggregation of Teacher Discriminators.
NeurIPS
Yunhui Long, Boxin Wang, Zhuolin Yang, Bhavya Kailkhura, Aston Zhang, Carl A. Gunter, Bo Li
2020 — conf
A Hypothesis Testing Approach to Sharing Logs with Confidence.
CODASPY
Yunhui Long, Le Xu, Carl A. Gunter
2020 A conf
A Pragmatic Approach to Membership Inferences on Machine Learning Models.
EuroS&P
Yunhui Long, Lei Wang, Diyue Bu, Vincent Bindschaedler, Xiaofeng Wang, Haixu Tang, Carl A. Gunter, Kai Chen
2020 J jnl
Grand Challenges for Embedded Security Research in a Connected World.
CoRR
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
2020 A* conf
See No Evil: Phishing for Permissions with False Transparency.
USENIX Security Symposium
Güliz Seray Tuncay, Jingyu Qian, Carl A. Gunter
2020 J jnl
Smartphone Security Behavioral Scale: A New Psychometric Measurement for Smartphone Security.
CoRR
Hsiao-Ying Huang, Soteris Demetriou, Rini Banerjee, Güliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir
2020 J jnl
WSEmail.
Serv. Oriented Comput. Appl.
Michael J. May, Kevin D. Lux, Carl A. Gunter
2020 A* conf
You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis.
NDSS
Qi Wang, Wajih Ul Hassan, Ding Li, Kangkook Jee, Xiao Yu, Kexuan Zou, Junghwan Rhee, Zhengzhang Chen, Wei Cheng, Carl A. Gunter, Haifeng Chen
2019 — conf
BEEER: distributed record and replay for medical devices in hospital operating rooms.
HotSoS
Avesta Hojjati, Yunhui Long, Soteris Demetriou, Carl A. Gunter
2019 A* conf
Charting the Attack Surface of Trigger-Action IoT Platforms.
CCS
Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter
2019 J jnl
Detecting AI Trojans Using Meta Neural Analysis.
CoRR
Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li
2019 J jnl
Scalable Differentially Private Generative Student Model via PATE.
CoRR
Yunhui Long, Suxin Lin, Zhuolin Yang, Carl A. Gunter, Bo Li
2019 J jnl
WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services.
CoRR
Kevin D. Lux, Michael J. May, Carl A. Gunter
2018 A* conf
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition.
USENIX Security Symposium
Xuejing Yuan, Yuxuan Chen, Yue Zhao, Yunhui Long, Xiaokang Liu, Kai Chen, Shengzhi Zhang, Heqing Huang, Xiaofeng Wang, Carl A. Gunter
2018 J jnl
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition.
CoRR
Xuejing Yuan, Yuxuan Chen, Yue Zhao, Yunhui Long, Xiaokang Liu, Kai Chen, Shengzhi Zhang, Heqing Huang, Xiaofeng Wang, Carl A. Gunter
2018 J jnl
Distributed and Secure ML with Self-tallying Multi-party Aggregation.
CoRR
Yunhui Long, Tanmay Gangwani, Haris Mughees, Carl A. Gunter
2018 J jnl
Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and DER Fraud.
IEEE J. Sel. Top. Signal Process.
Varun Badrinath Krishna, Carl A. Gunter, William H. Sanders
2018 A* conf
Fear and Logging in the Internet of Things.
NDSS
Qi Wang, Wajih Ul Hassan, Adam Bates, Carl A. Gunter
2018 — conf
NRF: A Naive Re-identification Framework.
WPES@CCS
Shubhra Kanti Karmaker Santu, Vincent Bindschaedler, ChengXiang Zhai, Carl A. Gunter
2018 A* conf
Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations.
CCS
Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, Nikita Borisov
2018 C conf
ReSPonSe: Real-time, Secure, and Privacy-aware Video Redaction System.
MobiQuitous
Bo Chen, Klara Nahrstedt, Carl A. Gunter
2018 A* conf
Resolving the Predicament of Android Custom Permissions.
NDSS
Güliz Seray Tuncay, Soteris Demetriou, Karan Ganju, Carl A. Gunter
2018 J jnl
Understanding Membership Inferences on Well-Generalized Learning Models.
CoRR
Yunhui Long, Vincent Bindschaedler, Lei Wang, Diyue Bu, Xiaofeng Wang, Haixu Tang, Carl A. Gunter, Kai Chen
2017 J jnl
Guardian of the HAN: Thwarting Mobile Attacks on Smart-Home Devices Using OS-level Situation Awareness.
CoRR
Soteris Demetriou, Nan Zhang, Yeonjoon Lee, Xiaofeng Wang, Carl A. Gunter, Xiao-yong Zhou, Michael Grace
2017 — conf
HanGuard: SDN-driven protection of smart home WiFi devices from malicious mobile apps.
WISEC
Soteris Demetriou, Nan Zhang, Yeonjoon Lee, Xiaofeng Wang, Carl A. Gunter, Xiao-yong Zhou, Michael Grace
2017 A* conf
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX.
CCS
Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, Xiaofeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter
2017 J jnl
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX.
CoRR
Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, Xiaofeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter
2017 A conf
Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps.
ACSAC
Wei Yang, Deguang Kong, Tao Xie, Carl A. Gunter
2017 A conf
Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises.
RAID
Rashid Tahir, Muhammad Huzaifa, Anupam Das, Mohammad Ahmad, Carl A. Gunter, Fareed Zaffar, Matthew Caesar, Nikita Borisov
2017 J jnl
Plausible Deniability for Privacy-Preserving Data Synthesis.
CoRR
Vincent Bindschaedler, Reza Shokri, Carl A. Gunter
2017 J jnl
Plausible Deniability for Privacy-Preserving Data Synthesis.
Proc. VLDB Endow.
Vincent Bindschaedler, Reza Shokri, Carl A. Gunter
2017 J jnl
Towards Measuring Membership Privacy.
CoRR
Yunhui Long, Vincent Bindschaedler, Carl A. Gunter
2017 J jnl
Understanding IoT Security Through the Data Crystal Ball: Where We Are Now and Where We Are Going to Be.
CoRR
Nan Zhang, Soteris Demetriou, Xianghang Mi, Wenrui Diao, Kan Yuan, Peiyuan Zong, Feng Qian, Xiaofeng Wang, Kai Chen, Yuan Tian, Carl A. Gunter, Kehuan Zhang, Patrick Tague, Yue-Hsun Lin
2016 A* conf
Draco: A System for Uniform and Fine-grained Access Control for Web Code on Android.
CCS
Güliz Seray Tuncay, Soteris Demetriou, Carl A. Gunter
2016 A* conf
Free for All! Assessing User Data Exposure to Advertising Libraries on Android.
NDSS
Soteris Demetriou, Whitney Merrill, Wei Yang, Aston Zhang, Carl A. Gunter
2016 A* conf
Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets.
CCS
Avesta Hojjati, Anku Adhikari, Katarina Struckmann, Edward Chou, Thi Ngoc Tho Nguyen, Kushagra Madan, Marianne Southall Winslett, Carl A. Gunter, William P. King
2016 J jnl
Privacy and Security in Mobile Health: A Research Agenda.
Computer
David Kotz, Carl A. Gunter, Santosh Kumar, Jonathan P. Weiner
2016 A* conf
Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach.
WWW
Aston Zhang, Amit Goyal, Ricardo Baeza-Yates, Yi Chang, Jiawei Han, Carl A. Gunter, Hongbo Deng
2015 J jnl
Building bridges across electronic health record systems through inferred phenotypic topics.
J. Biomed. Informatics
You Chen, Joydeep Ghosh, Cosmin Adrian Bejan, Carl A. Gunter, Siddharth Gupta, Abel N. Kho, David M. Liebovitz, Jimeng Sun, Joshua C. Denny, Bradley A. Malin
2015 — conf
Discovering de facto diagnosis specialties.
BCB
Xun Lu, Aston Zhang, Carl A. Gunter, Daniel Fabbri, David M. Liebovitz, Bradley A. Malin
2015 Misc conf
Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization.
AMIA
You Chen, Wei Xie, Carl A. Gunter, David M. Liebovitz, Sanjay Mehrotra, He Zhang, Bradley A. Malin
2015 — conf
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware.
Logic, Rewriting, and Concurrency
Michael LeMay, Carl A. Gunter
2015 J jnl
Privacy in the Genomic Era.
ACM Comput. Surv.
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, Xiaofeng Wang
2015 J jnl
Privacy in the Genomic Era.
IACR Cryptol. ePrint Arch.
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, Xiaofeng Wang
2015 J jnl
Security for mobile and cloud frontiers in healthcare.
Commun. ACM
David Kotz, Kevin Fu, Carl A. Gunter, Aviel D. Rubin
2015 J jnl
Toward a science of learning systems: a research agenda for the high-functioning Learning Health System.
J. Am. Medical Informatics Assoc.
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
2015 A* conf
What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources.
NDSS
Soteris Demetriou, Xiao-yong Zhou, Muhammad Naveed, Yeonjoon Lee, Kan Yuan, Xiaofeng Wang, Carl A. Gunter
2015 A* conf
adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback.
SIGIR
Aston Zhang, Amit Goyal, Weize Kong, Hongbo Deng, Anlei Dong, Yi Chang, Carl A. Gunter, Jiawei Han
2014 A* conf
Controlled Functional Encryption.
CCS
Muhammad Naveed, Shashank Agrawal, Manoj Prabhakaran, Xiaofeng Wang, Erman Ayday, Jean-Pierre Hubaux, Carl A. Gunter
2014 A* conf
Decide Now or Decide Later?: Quantifying the Tradeoff between Prospective and Retrospective Access Decisions.
CCS
Wen Zhang, You Chen, Thaddeus Cybulski, Daniel Fabbri, Carl A. Gunter, Patrick N. Lawlor, David M. Liebovitz, Bradley A. Malin
2014 — conf
Detecting Roles and Anomalies in Hospital Access Audit Logs.
SafeConfig
Carl A. Gunter
2014 — conf
Detecting privacy-sensitive events in medical text.
BCB
Prateek Jindal, Carl A. Gunter, Dan Roth
2014 A* conf
Dynamic Searchable Encryption via Blind Storage.
IEEE Symposium on Security and Privacy
Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter
2014 J jnl
Dynamic Searchable Encryption via Blind Storage.
IACR Cryptol. ePrint Arch.
Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter
2014 A* conf
Inside Job: Understanding and Mitigating the Threat of External Device Mis-Binding on Android.
NDSS
Muhammad Naveed, Xiao-yong Zhou, Soteris Demetriou, Xiaofeng Wang, Carl A. Gunter
2014 — conf
Joint inference for end-to-end coreference resolution for clinical notes.
BCB
Prateek Jindal, Dan Roth, Carl A. Gunter
2014 J jnl
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware.
CoRR
Michael LeMay, Carl A. Gunter
2014 B conf
Privacy Risk in Anonymized Heterogeneous Information Networks.
EDBT
Aston Zhang, Xing Xie, Kevin Chen-Chuan Chang, Carl A. Gunter, Jiawei Han, Xiaofeng Wang
2014 J jnl
Privacy and Security in the Genomic Era.
CoRR
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, Xiaofeng Wang
2014 — conf
Privacy-preserving audit for broker-based health information exchange.
CODASPY
Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
2014 Misc conf
Security Concerns in Android mHealth Apps.
AMIA
Dongjing He, Muhammad Naveed, Carl A. Gunter, Klara Nahrstedt
2013 C conf
Evolving role definitions through permission invocation patterns.
SACMAT
Wen Zhang, You Chen, Carl A. Gunter, David M. Liebovitz, Bradley A. Malin
2013 A* conf
Identity, location, disease and more: inferring your secrets from android public resources.
CCS
Xiao-yong Zhou, Soteris Demetriou, Dongjing He, Muhammad Naveed, Xiaorui Pan, Xiaofeng Wang, Carl A. Gunter, Klara Nahrstedt
2013 J jnl
Mining Deviations from Patient Care Pathways via Electronic Medical Record System Audits.
ACM Trans. Manag. Inf. Syst.
He Zhang, Sanjay Mehrotra, David M. Liebovitz, Carl A. Gunter, Bradley A. Malin
2013 C conf
Modeling and detecting anomalous topic access.
ISI
Siddharth Gupta, Casey Hanson, Carl A. Gunter, Mario Frank, David M. Liebovitz, Bradley A. Malin
2013 — conf
Requirements and Design for an Extensible Toolkit for Analyzing EMR Audit Logs.
HealthTech
Eric Duffy, Steve Nyemba, Carl A. Gunter, David M. Liebovitz, Bradley A. Malin
2013 J jnl
Securing Information Technology in Healthcare.
IEEE Secur. Priv.
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
2012 — ed.
3rd USENIX Workshop on Health Security and Privacy, HealthSec'12, Bellevue, WA, USA, August 6-7, 2012
HealthSec
Carl A. Gunter, Zachary N. J. Peterson
2012 J jnl
Adaptive Selective Verification: An Efficient Adaptive Countermeasure to Thwart DoS Attacks.
IEEE/ACM Trans. Netw.
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter
2012 J jnl
Cumulative Attestation Kernels for Embedded Systems.
IEEE Trans. Smart Grid
Michael LeMay, Carl A. Gunter
2012 — conf
Tragedy of Anticommons in Digital Right Management of Medical Records.
HealthSec
Quanyan Zhu, Carl A. Gunter, Tamer Basar
2011 J jnl
Application-aware secure multicast for power grid communications.
Int. J. Secur. Networks
Jianqing Zhang, Carl A. Gunter
2011 — conf
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor.
TRUST
Michael LeMay, Carl A. Gunter
2011 J jnl
Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems.
IEEE Secur. Priv.
Carl A. Gunter, David M. Liebovitz, Bradley A. Malin
2011 B conf
Making DTNs robust against spoofing attacks with localized countermeasures.
SECON
Md. Yusuf Sarwar Uddin, Ahmed Khurshid, Hee Dong Jung, Carl A. Gunter, Matthew Caesar, Tarek F. Abdelzaher
2011 — conf
MyABDAC: compiling XACML policies for attribute-based database access control.
CODASPY
Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi
2011 J jnl
Nonintrusive Load-Shed Verification.
IEEE Pervasive Comput.
David C. Bergman, Dong (Kevin) Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright
2011 — conf
Reconstructing Hash Reversal based Proof of Work Schemes.
LEET
Jeff Green, Joshua Juen, Omid Fatemieh, Ravinder Shankesi, Dong (Kevin) Jin, Carl A. Gunter
2011 A conf
Reliable telemetry in white spaces using remote attestation.
ACSAC
Omid Fatemieh, Michael LeMay, Carl A. Gunter
2011 — conf
Role Prediction Using Electronic Medical Record System Audits.
HealthSec
Wen Zhang, Carl A. Gunter, David M. Liebovitz, Jian Tian
2011 A* conf
Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks.
NDSS
Omid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter
2010 J jnl
Attribute-Based Messaging: Access Control and Confidentiality.
ACM Trans. Inf. Syst. Secur.
Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Arindam Khan, Carl A. Gunter, Himanshu Khurana, Manoj Prabhakaran
2010 — conf
Diagnostic powertracing for sensor node failure analysis.
IPSN
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
2010 — conf
EBAM: Experience-Based Access Management for Healthcare.
HealthSec
Carl A. Gunter, David M. Liebovitz, Bradley A. Malin
2010 — conf
Tiered Incentives for Integrity Based Queuing.
NetEcon
Fariba Khan, Carl A. Gunter
2009 — conf
Collaborative Recommender Systems for Building Automation.
HICSS
Michael LeMay, Jason J. Haas, Carl A. Gunter
2009 — conf
Completeness of discovery protocols.
SafeConfig
Alwyn Goodloe, Carl A. Gunter
2009 A conf
Cumulative Attestation Kernels for Embedded Systems.
ESORICS
Michael LeMay, Carl A. Gunter
2009 J jnl
Guest editorial network infrastructure configuration.
IEEE J. Sel. Areas Commun.
Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie
2009 Misc conf
How to Bootstrap Security for Ad-Hoc Network: Revisited.
SEC
Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka
2009 B conf
Implementing Reflective Access Control in SQL.
DBSec
Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett
2009 A conf
Model-Checking DoS Amplification for VoIP Session Initiation.
ESORICS
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
2009 C conf
Safety in discretionary access control for logic-based publish-subscribe systems.
SACMAT
Kazuhiro Minami, Nikita Borisov, Carl A. Gunter
2009 — conf
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers.
POLICY
Carl A. Gunter
2009 B conf
Sh@re: Negotiated Audit in Social Networks.
SMC
Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell
2009 — conf
Specifying and Analyzing Workflows for Automated Identification and Data Capture.
HICSS
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen
2009 — conf
Strong and Weak Policy Relations.
POLICY
Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic
2008 A* conf
A formal framework for reflective database access control policies.
CCS
Lars E. Olson, Carl A. Gunter, P. Madhusudan
2008 A* conf
Adaptive SelectiveVerification.
INFOCOM
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter
2008 — conf
An Integrated Architecture for Demand Response Communications and Control.
HICSS
Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter
2008 — conf
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.
FMOODS
Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
2008 — conf
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.
SecReT@LICS/CSF
Musab AlTurki, José Meseguer, Carl A. Gunter
2008 — conf
Using rhythmic nonces for puzzle-based DoS resistance.
CSAW
Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo
2007 J jnl
Fair Coalitions for Power-Aware Routing in Wireless Networks.
IEEE Trans. Mob. Comput.
Ratul K. Guha, Carl A. Gunter, Saswati Sarkar
2007 — conf
Improving multi-tier security using redundant authentication.
CSAW
Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila
2007 — conf
On the Safety and Efficiency of Firewall Policy Deployment.
S&P
Charles C. Zhang, Marianne Winslett, Carl A. Gunter
2007 C conf
PolicyMorph: interactive policy transformations for a logical attribute-based access control framework.
SACMAT
Michael LeMay, Omid Fatemieh, Carl A. Gunter
2007 A conf
Reasoning about Concurrency for Security Tunnels.
CSF
Alwyn Goodloe, Carl A. Gunter
2007 Misc conf
Supporting Emergency-Response by Retasking Network Infrastructures.
HotNets
Michael LeMay, Carl A. Gunter
2007 — conf
Unified Architecture for Large-Scale Attested Metering.
HICSS
Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg
2006 A conf
AMPol-Q: Adaptive Middleware Policy to Support QoS.
ICSOC
Raja Afandi, Jianqing Zhang, Carl A. Gunter
2006 — conf
AMPol: Adaptive Messaging Policy.
ECOWS
Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter
2006 — conf
Defeasible security policy composition for web services.
FMSE
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter
2006 B conf
I-Living: An Open System Architecture for Assisted Living.
SMC
Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha
2006 — conf
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.
CSFW
Michael J. May, Carl A. Gunter, Insup Lee
2006 — conf
Privacy Sensitive Location Information Systems in Smart Buildings.
SPC
Jodie P. Boyer, Kaijun Tan, Carl A. Gunter
2006 — conf
Reducing Risk by Managing Software Related Failures in Networked Control Systems.
CDC
Girish Baliga, Scott R. Graham, Carl A. Gunter, Panganamala R. Kumar
2006 — conf
Securing the drop-box architecture for assisted living.
FMSE
Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee
2006 A conf
Using Attribute-Based Access Control to Enable Attribute-Based Messaging.
ACSAC
Rakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana
2005 — conf
Formal prototyping in early stages of protocol design.
WITS
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
2005 J jnl
Network Event Recognition.
Formal Methods Syst. Des.
Karthikeyan Bhargavan, Carl A. Gunter
2005 A conf
WSEmail: Secure Internet Messaging Based on Web Services.
ICWS
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter
2004 A conf
A Formal Privacy System and Its Application to Location Based Services.
Privacy Enhancing Technologies
Carl A. Gunter, Michael J. May, Stuart G. Stubblebine
2004 Misc conf
A model-based approach to integrating security policies for embedded devices.
EMSOFT
Michael McDougall, Rajeev Alur, Carl A. Gunter
2004 A* conf
DoS Protection for Reliably Authenticated Broadcast.
NDSS
Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh
2004 — conf
Fair coalitions for power-aware routing in wireless networks.
CDC
Ratul K. Guha, Carl A. Gunter, Saswati Sarkar
2004 — conf
The Consistency of Task-Based Authorization Constraints in Workflow Systems.
CSFW
Kaijun Tan, Jason Crampton, Carl A. Gunter
2003 A conf
Open APIs for Embedded Security.
ECOOP
Carl A. Gunter
2003 J jnl
Reasoning About Secrecy for Active Networks.
J. Comput. Secur.
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
2002 J jnl
Formal verification of standards for distance vector routing protocols.
J. ACM
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter
2002 — conf
Micro Mobile Programs.
IFIP TCS
Carl A. Gunter
2002 Misc conf
Predictable programs in barcodes.
CASES
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur
2002 — conf
Requirements for a Practical Network Event Recognition Language.
RV@FLoC
Karthikeyan Bhargavan, Carl A. Gunter
2002 J jnl
Verisim: Formal Analysis of Network Simulations.
IEEE Trans. Software Eng.
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2001 — conf
Models and Languages for Digital Rights.
HICSS
Carl A. Gunter, Stephen Weeks, Andrew K. Wright
2001 A* conf
What packets may come: automata for network monitoring.
POPL
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
2000 — conf
A Reference Model for Requirements and Specifications-Extended Abstract.
ICRE
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
2000 J jnl
A Reference Model for Requirements and Specifications.
IEEE Softw.
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
2000 J jnl
Abstracting dependencies between software configuration items.
ACM Trans. Softw. Eng. Methodol.
Carl A. Gunter
2000 J jnl
Automated analysis of standard ML.
ACM SIGSOFT Softw. Eng. Notes
Carl A. Gunter
2000 — conf
Certificate Distribution with Local Autonomy.
IWAN
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim
2000 — conf
Fault origin adjudication.
FMSP
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
2000 J jnl
Formal software engineering.
ACM SIGSOFT Softw. Eng. Notes
Carl A. Gunter, Elsa L. Gunter, Pamela Zave
2000 A* conf
Generalized Certificate Revocation.
POPL
Carl A. Gunter, Trevor Jim
2000 J jnl
Policy-directed certificate retrieval.
Softw. Pract. Exp.
Carl A. Gunter, Trevor Jim
2000 — conf
Reasoning about Secrecy for Active Networks.
CSFW
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
2000 — conf
Routing Information Protocol in HOL/SPIN.
TPHOLs
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
2000 — conf
Specification and Formal Analysis of a PLAN Algorithm in Maude.
ICDCS Workshop on Distributed System Validation and Verification
Bow-Yaw Wang, José Meseguer, Carl A. Gunter
2000 A conf
Verisim: Formal analysis of network simulations.
ISSTA
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
1999 A* conf
PLANet: An Active Internetwork.
INFOCOM
Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles
1999 — conf
Specifying the PLAN Network Programming Langauge.
HOOTS
Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter
1998 — conf
Network Programming Using PLAN.
ICCL Workshop: Internet Programming Languages
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
1998 A conf
PLAN: A Packet Language for Active Networks.
ICFP
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
1998 J jnl
The SwitchWare active network architecture.
IEEE Netw.
D. Scott Alexander, William Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Dennis Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott Nettles, Jonathan M. Smith
1998 — conf
The Village Telephone System: A Case Study in Formal Software Engineering.
TPHOLs
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave
1997 J jnl
The Common Order-Theoretic Structure of Version Spaces and ATMSs.
Artif. Intell.
Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian
1996 — conf
Abstracting Dependencies between Software Configuration Items.
SIGSOFT FSE
Carl A. Gunter
1996 J jnl
Reference Counting as a Computational Interpretation of Linear Logic.
J. Funct. Program.
Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
1996 — conf
Sets as Anti-Chains.
ASIAN
Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian
1996 J jnl
Strategic Directions in Software Engineering and Programming Languages.
ACM Comput. Surv.
Carl A. Gunter, John C. Mitchell, David Notkin
1995 — conf
A Generalization of Exceptions and Control in ML-like Languages.
FPCA
Carl A. Gunter, Didier Rémy, Jon G. Riecke
1993 J jnl
Computing ML Equality Kinds Using Abstract Interpretation
Inf. Comput.
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
1993 — ch.
Forms of Semantic Specification.
Current Trends in Theoretical Computer Science
Carl A. Gunter
1993 — book
Semantics of programming languages - structures and techniques.
Carl A. Gunter
1992 — conf
Proving Memory Management Invariants for a Language Based on Linear Logic.
LISP and Functional Programming
Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
1992 J jnl
The Mixed Powerdomain.
Theor. Comput. Sci.
Carl A. Gunter
1992 A conf
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.
CADE
Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen
1991 — conf
An Abstract Interpretation for ML Equality Kinds.
TACS
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
1991 J jnl
Forms of Semantic Specification.
Bull. EATCS
Carl A. Gunter
1991 J jnl
Inheritance as Implicit Coercion
Inf. Comput.
Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
1991 A* conf
The Common Order-Theoretic Structure of Version Spaces and ATMS's.
AAAI
Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian
1990 — conf
Computing with Coercions.
LISP and Functional Programming
Val Tannen, Carl A. Gunter, Andre Scedrov
1990 A* conf
Normal Process Representatives
LICS
Vijay Gehlot, Carl A. Gunter
1990 A* conf
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs.
POPL
Carl A. Gunter
1990 — ch.
Semantic Domains.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
Carl A. Gunter, Dana S. Scott
1989 J jnl
Domain Theoretic Models of Polymorphism
Inf. Comput.
Thierry Coquand, Carl A. Gunter, Glynn Winskel
1989 A* conf
Inheritance and Explicit Coercion (Preliminary Report)
LICS
Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
1988 A* conf
Coherence and Consistency in Domains (Extended Outline)
LICS
Carl A. Gunter, Achim Jung
1987 B conf
DI-Domains as a Model of Polymorphism.
MFPS
Thierry Coquand, Carl A. Gunter, Glynn Winskel
1987 J jnl
Universal Profinite Domains
Inf. Comput.
Carl A. Gunter
1986 A* conf
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains
LICS
Carl A. Gunter
1985 A* conf
A Universal Domain Technique for Profinite Posets.
ICALP
Carl A. Gunter
1985 B conf
Comparing Categories of Domains.
Mathematical Foundations of Programming Semantics
Carl A. Gunter