default search action

combined dblp search
author search
venue search
publication search

ask others

Carl A. Gunter

> Home > Persons

Person information

affiliation: University of Illinois, Urbana-Champaign, IL, USA
affiliation: University of Pennsylvania, Philadelphia, PA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1993
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0070913
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0070913
Carl A. Gunter:
Semantics of programming languages - structures and techniques. Foundations of computing, MIT Press 1993, ISBN 978-0-262-07143-7, pp. I-XVIII, 1-419

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/MayLG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/MayLG20
Michael J. May, Kevin D. Lux, Carl A. Gunter:
WSEmail. Serv. Oriented Comput. Appl. 14(1): 5-17 (2020)
2018
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/jstsp/KrishnaGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jstsp/KrishnaGS18
Varun Badrinath Krishna, Carl A. Gunter, William H. Sanders:
Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and DER Fraud. IEEE J. Sel. Top. Signal Process. 12(4): 790-805 (2018)
2017
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/BindschaedlerSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/BindschaedlerSG17
Vincent Bindschaedler, Reza Shokri, Carl A. Gunter:
Plausible Deniability for Privacy-Preserving Data Synthesis. Proc. VLDB Endow. 10(5): 481-492 (2017)
2016
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/KotzGKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/KotzGKW16
David Kotz, Carl A. Gunter, Santosh Kumar, Jonathan P. Weiner:
Privacy and Security in Mobile Health: A Research Agenda. Computer 49(6): 22-30 (2016)
2015
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KotzFGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KotzFGR15
David Kotz, Kevin Fu, Carl A. Gunter, Aviel D. Rubin:
Security for mobile and cloud frontiers in healthcare. Commun. ACM 58(8): 21-23 (2015)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/0001ACFGHMW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/0001ACFGHMW15
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang:
Privacy in the Genomic Era. ACM Comput. Surv. 48(1): 6:1-6:44 (2015)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jamia/FriedmanRBBCEGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jamia/FriedmanRBBCEGM15
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 Sullivan, Douglas Van Houweling:
Toward a science of learning systems: a research agenda for the high-functioning Learning Health System. J. Am. Medical Informatics Assoc. 22(1): 43-50 (2015)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jbi/ChenGBGGKLSDM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbi/ChenGBGGKLSDM15
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:
Building bridges across electronic health record systems through inferred phenotypic topics. J. Biomed. Informatics 55: 82-93 (2015)
2013
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/AnthonyCCGKMMPSGJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/AnthonyCCGKMMPSGJ13
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:
Securing Information Technology in Healthcare. IEEE Secur. Priv. 11(6): 25-33 (2013)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tmis/ZhangMLGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmis/ZhangMLGM13
He Zhang, Sanjay Mehrotra, David M. Liebovitz, Carl A. Gunter, Bradley A. Malin:
Mining Deviations from Patient Care Pathways via Electronic Medical Record System Audits. ACM Trans. Manag. Inf. Syst. 4(4): 17:1-17:20 (2013)
2012
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/KhannaVFKG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/KhannaVFKG12
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter:
Adaptive Selective Verification: An Efficient Adaptive Countermeasure to Thwart DoS Attacks. IEEE/ACM Trans. Netw. 20(3): 715-728 (2012)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tsg/LeMayG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/LeMayG12
Michael LeMay, Carl A. Gunter:
Cumulative Attestation Kernels for Embedded Systems. IEEE Trans. Smart Grid 3(2): 744-760 (2012)
2011
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/GunterLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/GunterLM11
Carl A. Gunter, David M. Liebovitz, Bradley A. Malin:
Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems. IEEE Secur. Priv. 9(5): 48-55 (2011)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsn/ZhangG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsn/ZhangG11
Jianqing Zhang, Carl A. Gunter:
Application-aware secure multicast for power grid communications. Int. J. Secur. Networks 6(1): 40-52 (2011)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/pervasive/BergmanJJTGW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pervasive/BergmanJJTGW11
David C. Bergman, Dong (Kevin) Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright:
Nonintrusive Load-Shed Verification. IEEE Pervasive Comput. 10(1): 49-57 (2011)
2010
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/BobbaFKKGKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/BobbaFKKGKP10
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:1-31:35 (2010)
2009
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/AndersonGKNSTX09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/AndersonGKNSTX09
Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie:
Guest editorial network infrastructure configuration. IEEE J. Sel. Areas Commun. 27(3): 249-252 (2009)
2007
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tmc/GuhaGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmc/GuhaGS07
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)
2005
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BhargavanG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BhargavanG05
Karthikeyan Bhargavan, Carl A. Gunter:
Network Event Recognition. Formal Methods Syst. Des. 27(3): 213-251 (2005)
2003
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/KakkarGA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/KakkarGA03
Pankaj Kakkar, Carl A. Gunter, Martín Abadi:
Reasoning About Secrecy for Active Networks. J. Comput. Secur. 11(2): 245-287 (2003)
2002
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/BhargavanOG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/BhargavanOG02
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter:
Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BhargavanGKLOSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BhargavanGKLOSV02
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)
2000
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Gunter00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Gunter00
Carl A. Gunter:
Automated analysis of standard ML. ACM SIGSOFT Softw. Eng. Notes 25(1): 53 (2000)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GunterGZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GunterGZ00
Carl A. Gunter, Elsa L. Gunter, Pamela Zave:
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25(1): 54 (2000)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/software/GunterGJZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/GunterGJZ00
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications. IEEE Softw. 17(3): 37-43 (2000)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/GunterJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/GunterJ00
Carl A. Gunter, Trevor Jim:
Policy-directed certificate retrieval. Softw. Pract. Exp. 30(15): 1609-1640 (2000)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Gunter00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Gunter00
Carl A. Gunter:
Abstracting dependencies between software configuration items. ACM Trans. Softw. Eng. Methodol. 9(1): 94-131 (2000)
1998
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/network/AlexanderAHKKMG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/network/AlexanderAHKKMG98
D. Scott Alexander, William Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Dennis Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott Nettles, Jonathan M. Smith:
The SwitchWare active network architecture. IEEE Netw. 12(3): 29-36 (1998)
1997
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GunterNS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GunterNS97
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
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/GunterMN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/GunterMN96
Carl A. Gunter, John C. Mitchell, David Notkin:
Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ChirimarGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ChirimarGR96
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)
1993
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GunterGM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GunterGM93
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput. 107(2): 303-323 (1993)
1992
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Gunter92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gunter92
Carl A. Gunter:
The Mixed Powerdomain. Theor. Comput. Sci. 103(2): 311-334 (1992)
1991
[j4]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Gunter91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Gunter91
Carl A. Gunter:
Forms of Semantic Specification. Bull. EATCS 45: 98-113 (1991)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Breazu-TannenCGS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Breazu-TannenCGS91
Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance as Implicit Coercion. Inf. Comput. 93(1): 172-221 (1991)
1989
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CoquandGW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CoquandGW89
Thierry Coquand, Carl A. Gunter, Glynn Winskel:
Domain Theoretic Models of Polymorphism. Inf. Comput. 81(2): 123-167 (1989)
1987
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Gunter87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Gunter87
Carl A. Gunter:
Universal Profinite Domains. Inf. Comput. 72(1): 1-30 (1987)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/KaplanLGQ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/KaplanLGQ23
Berkay Kaplan, Israel J. Lopez-Toledo, Carl A. Gunter, Jingyu Qian:
A Tagging Solution to Discover IoT Devices in Apartments. ACSAC 2023: 205-215
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/satml/XuWLG023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/satml/XuWLG023
Xiaojun Xu, Hanzhang Wang, Alok Lal, Carl A. Gunter, Bo Li:
EDoG: Adversarial Edge Detection For Graph Neural Networks. SaTML 2023: 291-305
[c130]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/soups/HuangDHTGB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soups/HuangDHTGB23
Hsiao-Ying Huang, Soteris Demetriou, Muhammad Hassan, Güliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir:
Evaluating User Behavior in Smartphone Security: A Psychometric Perspective. SOUPS 2023: 509-524
[c129]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/XuHY0L0G23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/XuHY0L0G23
Xiaojun Xu, Qingying Hao, Zhuolin Yang, Bo Li, David M. Liebovitz, Gang Wang, Carl A. Gunter:
How to Cover up Anomalous Accesses to Electronic Health Records. USENIX Security Symposium 2023: 229-246
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/wpes/AnthonyGHKLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wpes/AnthonyGHKLMR23
Denise L. Anthony, Carl A. Gunter, Weijia He, Mounib Khanafer, Susan Landau, Ravindra Mangar, Nathan Reitinger:
The HandyTech's Coming Between 1 and 4: Privacy Opportunities and Challenges for the IoT Handyperson. WPES@CCS 2023: 129-134
2021
[c127]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/LeeJFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/LeeJFG21
Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter:
DOVE: A Data-Oblivious Virtual Environment. NDSS 2021
[c126]
- view
  - electronic edition @ neurips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/LongWYKZGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/LongWYKZGL21
Yunhui Long, Boxin Wang, Zhuolin Yang, Bhavya Kailkhura, Aston Zhang, Carl A. Gunter, Bo Li:
G-PATE: Scalable Differentially Private Data Generator via Private Aggregation of Teacher Discriminators. NeurIPS 2021: 2965-2977
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/XuWLBGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/XuWLBGL21
Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li:
Detecting AI Trojans Using Meta Neural Analysis. SP 2021: 103-120
2020
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/LongXG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/LongXG20
Yunhui Long, Le Xu, Carl A. Gunter:
A Hypothesis Testing Approach to Sharing Logs with Confidence. CODASPY 2020: 307-318
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/LongWBB0TGC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/LongWBB0TGC20
Yunhui Long, Lei Wang, Diyue Bu, Vincent Bindschaedler, XiaoFeng Wang, Haixu Tang, Carl A. Gunter, Kai Chen:
A Pragmatic Approach to Membership Inferences on Machine Learning Models. EuroS&P 2020: 521-534
[c122]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/WangHLJYZRCCGC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/WangHLJYZRCCGC20
Qi Wang, Wajih Ul Hassan, Ding Li, Kangkook Jee, Xiao Yu, Kexuan Zou, Junghwan Rhee, Zhengzhang Chen, Wei Cheng, Carl A. Gunter, Haifeng Chen:
You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. NDSS 2020
[c121]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/TuncayQG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/TuncayQG20
Güliz Seray Tuncay, Jingyu Qian, Carl A. Gunter:
See No Evil: Phishing for Permissions with False Transparency. USENIX Security Symposium 2020: 415-432
2019
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/WangDYL0G19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/WangDYL0G19
Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter:
Charting the Attack Surface of Trigger-Action IoT Platforms. CCS 2019: 1439-1453
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/HojjatiLDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/HojjatiLDG19
Avesta Hojjati, Yunhui Long, Soteris Demetriou, Carl A. Gunter:
BEEER: distributed record and replay for medical devices in hospital operating rooms. HotSoS 2019: 1:1-1:10
2018
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/GanjuWYGB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/GanjuWYGB18
Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, Nikita Borisov:
Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations. CCS 2018: 619-633
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/mobiquitous/ChenNG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobiquitous/ChenNG18
Bo Chen, Klara Nahrstedt, Carl A. Gunter:
ReSPonSe: Real-time, Secure, and Privacy-aware Video Redaction System. MobiQuitous 2018: 39-48
[c116]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/TuncayDGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/TuncayDGG18
Güliz Seray Tuncay, Soteris Demetriou, Karan Ganju, Carl A. Gunter:
Resolving the Predicament of Android Custom Permissions. NDSS 2018
[c115]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/WangHBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/WangHBG18
Qi Wang, Wajih Ul Hassan, Adam Bates, Carl A. Gunter:
Fear and Logging in the Internet of Things. NDSS 2018
[c114]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/YuanCZLL0ZH0G18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/YuanCZLL0ZH0G18
Xuejing Yuan, Yuxuan Chen, Yue Zhao, Yunhui Long, Xiaokang Liu, Kai Chen, Shengzhi Zhang, Heqing Huang, Xiaofeng Wang, Carl A. Gunter:
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition. USENIX Security Symposium 2018: 49-64
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/wpes/SantuBZG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wpes/SantuBZG18
Shubhra Kanti Karmaker Santu, Vincent Bindschaedler, ChengXiang Zhai, Carl A. Gunter:
NRF: A Naive Re-identification Framework. WPES@CCS 2018: 121-132
2017
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/YangK0G17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/YangK0G17
Wei Yang, Deguang Kong, Tao Xie, Carl A. Gunter:
Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps. ACSAC 2017: 288-302
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/WangCPZWBTG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/WangCPZWBTG17
Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter:
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. CCS 2017: 2421-2434
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/raid/TahirHDAGZCB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raid/TahirHDAGZCB17
Rashid Tahir, Muhammad Huzaifa, Anupam Das, Mohammad Ahmad, Carl A. Gunter, Fareed Zaffar, Matthew Caesar, Nikita Borisov:
Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises. RAID 2017: 287-310
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/wisec/DemetriouZLWGZG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wisec/DemetriouZLWGZG17
Soteris Demetriou, Nan Zhang, Yeonjoon Lee, XiaoFeng Wang, Carl A. Gunter, Xiao-yong Zhou, Michael Grace:
HanGuard: SDN-driven protection of smart home WiFi devices from malicious mobile apps. WISEC 2017: 122-133
2016
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/TuncayDG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/TuncayDG16
Güliz Seray Tuncay, Soteris Demetriou, Carl A. Gunter:
Draco: A System for Uniform and Fine-grained Access Control for Web Code on Android. CCS 2016: 104-115
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HojjatiASCNMWGK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HojjatiASCNMWGK16
Avesta Hojjati, Anku Adhikari, Katarina Struckmann, Edward Chou, Thi Ngoc Tho Nguyen, Kushagra Madan, Marianne Southall Winslett, Carl A. Gunter, William P. King:
Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets. CCS 2016: 883-894
[c106]
- view
  - electronic edition @ internetsociety.org
  - details & citations
- export record
  dblp key:
  - conf/ndss/DemetriouMYZG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/DemetriouMYZG16
Soteris Demetriou, Whitney Merrill, Wei Yang, Aston Zhang, Carl A. Gunter:
Free for All! Assessing User Data Exposure to Advertising Libraries on Android. NDSS 2016
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/www/ZhangGBCHGD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/ZhangGBCHGD16
Aston Zhang, Amit Goyal, Ricardo Baeza-Yates, Yi Chang, Jiawei Han, Carl A. Gunter, Hongbo Deng:
Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach. WWW 2016: 579-590
2015
[c104]
- view
  - electronic edition @ amia.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/amia/ChenXGLMZM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amia/ChenXGLMZM15
You Chen, Wei Xie, Carl A. Gunter, David M. Liebovitz, Sanjay Mehrotra, He Zhang, Bradley A. Malin:
Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization. AMIA 2015
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/LuZGFLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/LuZGFLM15
Xun Lu, Aston Zhang, Carl A. Gunter, Daniel Fabbri, David M. Liebovitz, Bradley A. Malin:
Discovering de facto diagnosis specialties. BCB 2015: 7-16
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LeMayG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LeMayG15
Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency 2015: 404-426
[c101]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/DemetriouZNLYWG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/DemetriouZNLYWG15
Soteris Demetriou, Xiao-yong Zhou, Muhammad Naveed, Yeonjoon Lee, Kan Yuan, XiaoFeng Wang, Carl A. Gunter:
What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources. NDSS 2015
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/sigir/ZhangGKDDCGH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigir/ZhangGKDDCGH15
Aston Zhang, Amit Goyal, Weize Kong, Hongbo Deng, Anlei Dong, Yi Chang, Carl A. Gunter, Jiawei Han:
adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback. SIGIR 2015: 143-152
2014
[c99]
- view
  - electronic edition @ amia.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/amia/He0GN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amia/He0GN14
Dongjing He, Muhammad Naveed, Carl A. Gunter, Klara Nahrstedt:
Security Concerns in Android mHealth Apps. AMIA 2014
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/JindalRG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/JindalRG14
Prateek Jindal, Dan Roth, Carl A. Gunter:
Joint inference for end-to-end coreference resolution for clinical notes. BCB 2014: 192-201
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/JindalGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/JindalGR14
Prateek Jindal, Carl A. Gunter, Dan Roth:
Detecting privacy-sensitive events in medical text. BCB 2014: 617-620
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhangCCFGLLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhangCCFGLLM14
Wen Zhang, You Chen, Thaddeus Cybulski, Daniel Fabbri, Carl A. Gunter, Patrick N. Lawlor, David M. Liebovitz, Bradley A. Malin:
Decide Now or Decide Later?: Quantifying the Tradeoff between Prospective and Retrospective Access Decisions. CCS 2014: 1182-1192
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NaveedAPWAHG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NaveedAPWAHG14
Muhammad Naveed, Shashank Agrawal, Manoj Prabhakaran, XiaoFeng Wang, Erman Ayday, Jean-Pierre Hubaux, Carl A. Gunter:
Controlled Functional Encryption. CCS 2014: 1280-1291
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/OhCJGGD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/OhCJGGD14
Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta:
Privacy-preserving audit for broker-based health information exchange. CODASPY 2014: 313-320
[c93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/edbt/ZhangXCGHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/ZhangXCGHW14
Aston Zhang, Xing Xie, Kevin Chen-Chuan Chang, Carl A. Gunter, Jiawei Han, XiaoFeng Wang:
Privacy Risk in Anonymized Heterogeneous Information Networks. EDBT 2014: 595-606
[c92]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/NaveedZDWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/NaveedZDWG14
Muhammad Naveed, Xiao-yong Zhou, Soteris Demetriou, XiaoFeng Wang, Carl A. Gunter:
Inside Job: Understanding and Mitigating the Threat of External Device Mis-Binding on Android. NDSS 2014
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/safeconfig/Gunter14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safeconfig/Gunter14
Carl A. Gunter:
Detecting Roles and Anomalies in Hospital Access Audit Logs. SafeConfig 2014: 1
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/NaveedPG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/NaveedPG14
Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter:
Dynamic Searchable Encryption via Blind Storage. IEEE Symposium on Security and Privacy 2014: 639-654
2013
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhouDHNPWGN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhouDHNPWGN13
Xiao-yong Zhou, Soteris Demetriou, Dongjing He, Muhammad Naveed, Xiaorui Pan, XiaoFeng Wang, Carl A. Gunter, Klara Nahrstedt:
Identity, location, disease and more: inferring your secrets from android public resources. CCS 2013: 1017-1028
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/isi/GuptaHGFLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isi/GuptaHGFLM13
Siddharth Gupta, Casey Hanson, Carl A. Gunter, Mario Frank, David M. Liebovitz, Bradley A. Malin:
Modeling and detecting anomalous topic access. ISI 2013: 100-105
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/ZhangCGLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/ZhangCGLM13
Wen Zhang, You Chen, Carl A. Gunter, David M. Liebovitz, Bradley A. Malin:
Evolving role definitions through permission invocation patterns. SACMAT 2013: 37-48
[c86]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/DuffyNGLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/DuffyNGLM13
Eric Duffy, Steve Nyemba, Carl A. Gunter, David M. Liebovitz, Bradley A. Malin:
Requirements and Design for an Extensible Toolkit for Analyzing EMR Audit Logs. HealthTech 2013
2012
[c85]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/ZhuGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/ZhuGB12
Quanyan Zhu, Carl A. Gunter, Tamer Basar:
Tragedy of Anticommons in Digital Right Management of Medical Records. HealthSec 2012
2011
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/FatemiehLG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/FatemiehLG11
Omid Fatemieh, Michael LeMay, Carl A. Gunter:
Reliable telemetry in white spaces using remote attestation. ACSAC 2011: 323-332
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/JahidGHO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/JahidGHO11
Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi:
MyABDAC: compiling XACML policies for attribute-based database access control. CODASPY 2011: 97-108
[c82]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/leet/GreenJFSJG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/leet/GreenJFSJG11
Jeff Green, Joshua Juen, Omid Fatemieh, Ravinder Shankesi, Dong (Kevin) Jin, Carl A. Gunter:
Reconstructing Hash Reversal based Proof of Work Schemes. LEET 2011
[c81]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/FatemiehFCG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/FatemiehFCG11
Omid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter:
Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. NDSS 2011
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/secon/UddinKJGCA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secon/UddinKJGCA11
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
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/trust/LeMayG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trust/LeMayG11
Michael LeMay, Carl A. Gunter:
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. TRUST 2011: 202-216
[c78]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/ZhangGLT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/ZhangGLT11
Wen Zhang, Carl A. Gunter, David M. Liebovitz, Jian Tian:
Role Prediction Using Electronic Medical Record System Audits. HealthSec 2011
2010
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ipsn/KhanLLMWYNAGHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipsn/KhanLLMWYNAGHJ10
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
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/osdi/KhanG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/KhanG10
Fariba Khan, Carl A. Gunter:
Tiered Incentives for Integrity Based Queuing. NetEcon 2010: 8:1-8:7
[c75]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/GunterLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/GunterLM10
Carl A. Gunter, David M. Liebovitz, Bradley A. Malin:
EBAM: Experience-Based Access Management for Healthcare. HealthSec 2010
2009
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/OlsonGCW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/OlsonGCW09
Lars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett:
Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
[c73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/ShankesiASGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/ShankesiASGM09
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer:
Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/LeMayG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/LeMayG09
Michael LeMay, Carl A. Gunter:
Cumulative Attestation Kernels for Embedded Systems. ESORICS 2009: 655-670
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/GunterYGN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/GunterYGN09
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen:
Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/LeMayHG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/LeMayHG09
Michael LeMay, Jason J. Haas, Carl A. Gunter:
Collaborative Recommender Systems for Building Automation. HICSS 2009: 1-10
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/policy/MayGLZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/policy/MayGLZ09
Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic:
Strong and Weak Policy Relations. POLICY 2009: 33-36
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/policy/Gunter09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/policy/Gunter09
Carl A. Gunter:
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers. POLICY 2009: 114-117
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/MinamiBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/MinamiBG09
Kazuhiro Minami, Nikita Borisov, Carl A. Gunter:
Safety in discretionary access control for logic-based publish-subscribe systems. SACMAT 2009: 3-12
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/safeconfig/GoodloeG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safeconfig/GoodloeG09
Alwyn Goodloe, Carl A. Gunter:
Completeness of discovery protocols. SafeConfig 2009: 29-36
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sec/ShinGKFT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/ShinGKFT09
Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka:
How to Bootstrap Security for Ad-Hoc Network: Revisited. SEC 2009: 119-131
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/GutierrezGSLGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/GutierrezGSLGC09
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
2008
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ChanGJPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ChanGJPR08
Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo:
Using rhythmic nonces for puzzle-based DoS resistance. CSAW 2008: 51-58
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/OlsonGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/OlsonGM08
Lars E. Olson, Carl A. Gunter, P. Madhusudan:
A formal framework for reflective database access control policies. CCS 2008: 289-298
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/ChadhaGMSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/ChadhaGMSV08
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
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/LeMayNGG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/LeMayNGG08
Michael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter:
An Integrated Architecture for Demand Response Communications and Control. HICSS 2008: 174
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/KhannaVFKG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/KhannaVFKG08
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter:
Adaptive SelectiveVerification. INFOCOM 2008: 529-537
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlTurkiMG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlTurkiMG09
Musab AlTurki, José Meseguer, Carl A. Gunter:
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. SecReT@LICS/CSF 2008: 3-18
2007
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BoyerHOBGR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BoyerHOBGR07
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
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GoodloeG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GoodloeG07
Alwyn Goodloe, Carl A. Gunter:
Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/LeMayGGG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/LeMayGGG07
Michael LeMay, George Gross, Carl A. Gunter, Sanjam Garg:
Unified Architecture for Large-Scale Attested Metering. HICSS 2007: 115
[c54]
- view
  - electronic edition @ sigcomm.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hotnets/LeMayG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotnets/LeMayG07
Michael LeMay, Carl A. Gunter:
Supporting Emergency-Response by Retasking Network Infrastructures. HotNets 2007
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/LeMayFG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/LeMayFG07
Michael LeMay, Omid Fatemieh, Carl A. Gunter:
PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. SACMAT 2007: 205-214
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ZhangWG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ZhangWG07
Charles C. Zhang, Marianne Winslett, Carl A. Gunter:
On the Safety and Efficiency of Firewall Policy Deployment. S&P 2007: 33-50
2006
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/BobbaFKGK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/BobbaFKGK06
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
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MaySGL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MaySGL06
Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee:
Securing the drop-box architecture for assisted living. FMSE 2006: 1-12
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LeeBOG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LeeBOG06
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter:
Defeasible security policy composition for web services. FMSE 2006: 45-54
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BaligaGGK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BaligaGGK06
Girish Baliga, Scott R. Graham, Carl A. Gunter, Panganamala R. Kumar:
Reducing Risk by Managing Software Related Failures in Networked Control Systems. CDC 2006: 2866-2871
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MayGL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MayGL06
Michael J. May, Carl A. Gunter, Insup Lee:
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW 2006: 85-97
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/AfandiZHG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/AfandiZHG06
Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter:
AMPol: Adaptive Messaging Policy. ECOWS 2006: 53-64
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/AfandiZG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/AfandiZG06
Raja Afandi, Jianqing Zhang, Carl A. Gunter:
AMPol-Q: Adaptive Middleware Policy to Support QoS. ICSOC 2006: 165-178
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/WangSLZOACGGHKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/WangSLZOACGGHKS06
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:
I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/spc/BoyerTG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spc/BoyerTG06
Jodie P. Boyer, Kaijun Tan, Carl A. Gunter:
Privacy Sensitive Location Information Systems in Smart Buildings. SPC 2006: 149-164
2005
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/LuxMBG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/LuxMBG05
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter:
WSEmail: Secure Internet Messaging Based on Web Services. ICWS 2005: 75-82
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GoodloeGS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GoodloeGS05
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr:
Formal prototyping in early stages of protocol design. WITS 2005: 67-80
2004
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GuhaGS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GuhaGS04
Ratul K. Guha, Carl A. Gunter, Saswati Sarkar:
Fair coalitions for power-aware routing in wireless networks. CDC 2004: 3271-3276
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/TanCG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/TanCG04
Kaijun Tan, Jason Crampton, Carl A. Gunter:
The Consistency of Task-Based Authorization Constraints in Workflow Systems. CSFW 2004: 155-
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/McDougallAG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/McDougallAG04
Michael McDougall, Rajeev Alur, Carl A. Gunter:
A model-based approach to integrating security policies for embedded devices. EMSOFT 2004: 211-219
[c37]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/GunterKTV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/GunterKTV04
Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh:
DoS Protection for Reliably Authenticated Broadcast. NDSS 2004
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pet/GunterMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pet/GunterMS04
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Gunter03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Gunter03
Carl A. Gunter:
Open APIs for Embedded Security. ECOOP 2003: 225-247
2002
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cases/GoodloeMGA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cases/GoodloeMGA02
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur:
Predictable programs in barcodes. CASES 2002: 298-303
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/Gunter02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/Gunter02
Carl A. Gunter:
Micro Mobile Programs. IFIP TCS 2002: 356-369
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BhargavanG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BhargavanG02
Karthikeyan Bhargavan, Carl A. Gunter:
Requirements for a Practical Network Event Recognition Language. RV@FLoC 2002: 1-20
2001
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/GunterWW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/GunterWW01
Carl A. Gunter, Stephen Weeks, Andrew K. Wright:
Models and Languages for Digital Rights. HICSS 2001
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BhargavanCMG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BhargavanCMG01
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter:
What packets may come: automata for network monitoring. POPL 2001: 206-219
2000
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KakkarGA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KakkarGA00
Pankaj Kakkar, Carl A. Gunter, Martín Abadi:
Reasoning about Secrecy for Active Networks. CSFW 2000: 118-129
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/BhargavanGO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/BhargavanGO00
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic:
Fault origin adjudication. FMSP 2000: 61-71
[c27]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icdcsw/WangMG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/WangMG00
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
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icre/GunterGJZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icre/GunterGJZ00
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BhargavanGKLOSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BhargavanGKLOSV00
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
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iwan/KakkarMGJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwan/KakkarMGJ00
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim:
Certificate Distribution with Local Autonomy. IWAN 2000: 277-295
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GunterJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GunterJ00
Carl A. Gunter, Trevor Jim:
Generalized Certificate Revocation. POPL 2000: 316-329
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BhargavanGO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BhargavanGO00
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic:
Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72
1999
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/HicksMAGN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/HicksMAGN99
Michael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles:
PLANet: An Active Internetwork. INFOCOM 1999: 1124-1133
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KakkarHMG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KakkarHMG99
Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter:
Specifying the PLAN Network Programming Langauge. HOOTS 1999: 87-104
1998
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/HicksKMGN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/HicksKMGN98
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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HicksKMGN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HicksKMGN98
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles:
PLAN: A Packet Language for Active Networks. ICFP 1998: 86-93
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BhargavanGGJOZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BhargavanGGJOZ98
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
1996
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GunterNS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GunterNS96
Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian:
Sets as Anti-Chains. ASIAN 1996: 116-128
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Gunter96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Gunter96
Carl A. Gunter:
Abstracting Dependencies between Software Configuration Items. SIGSOFT FSE 1996: 167-178
1995
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fpca/GunterRR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/GunterRR95
Carl A. Gunter, Didier Rémy, Jon G. Riecke:
A Generalization of Exceptions and Control in ML-like Languages. FPCA 1995: 12-23
1992
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ChirimarGI92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ChirimarGI92
Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen:
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/ChirimarGR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/ChirimarGR92
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
1991
[c11]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/GunterNPS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GunterNPS91
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/GunterGM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/GunterGM91
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
1990
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/TannenGS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/TannenGS90
Val Tannen, Carl A. Gunter, Andre Scedrov:
Computing with Coercions. LISP and Functional Programming 1990: 44-60
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/GehlotG90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GehlotG90
Vijay Gehlot, Carl A. Gunter:
Normal Process Representatives. LICS 1990: 200-207
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Gunter90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Gunter90
Carl A. Gunter:
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. POPL 1990: 306-319
1989
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Breazu-TannenCGS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Breazu-TannenCGS89
Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance and Explicit Coercion (Preliminary Report). LICS 1989: 112-129
1988
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/GunterJ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GunterJ88
Carl A. Gunter, Achim Jung:
Coherence and Consistency in Domains (Extended Outline). LICS 1988: 309-317
1987
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/CoquandGW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/CoquandGW87
Thierry Coquand, Carl A. Gunter, Glynn Winskel:
DI-Domains as a Model of Polymorphism. MFPS 1987: 344-363
1986
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/lics/Gunter86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Gunter86
Carl A. Gunter:
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains. LICS 1986: 142-148
1985
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Gunter85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Gunter85
Carl A. Gunter:
A Universal Domain Technique for Profinite Posets. ICALP 1985: 232-243
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/Gunter85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/Gunter85
Carl A. Gunter:
Comparing Categories of Domains. Mathematical Foundations of Programming Semantics 1985: 101-121

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

1993
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Gunter93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Gunter93
Carl A. Gunter:
Forms of Semantic Specification. Current Trends in Theoretical Computer Science 1993: 332-353
1990
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/leeuwen90/GunterS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/GunterS90
Carl A. Gunter, Dana S. Scott:
Semantic Domains. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 633-674

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2012
[e1]
- view
- export record
  dblp key:
  - conf/uss/2012healthsec
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/2012healthsec
Carl A. Gunter, Zachary N. J. Peterson:
3rd USENIX Workshop on Health Security and Privacy, HealthSec'12, Bellevue, WA, USA, August 6-7, 2012. USENIX Association 2012 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-06676
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-06676
Berkay Kaplan, Jingyu Qian, Israel Lopez-Toledo, Carl A. Gunter:
A Tagging Solution to Discover IoT Devices in Apartments. CoRR abs/2210.06676 (2022)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08974
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08974
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:
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. CoRR abs/2210.08974 (2022)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-13607
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-13607
Xiaojun Xu, Yue Yu, Hanzhang Wang, Alok Lal, Carl A. Gunter, Bo Li:
EDoG: Adversarial Edge Detection For Graph Neural Networks. CoRR abs/2212.13607 (2022)
2021
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-05195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-05195
Hyun Bin Lee, Tushar M. Jois, Christopher W. Fletcher, Carl A. Gunter:
DOVE: A Data-Oblivious Virtual Environment. CoRR abs/2102.05195 (2021)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-11986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-11986
George Gunter, Huichen Li, Avesta Hojjati, Matthew Nice, Matthew R. Bunting, Carl A. Gunter, Bo Li, Jonathan Sprinkle, Daniel B. Work:
Compromised ACC vehicles can degrade current mixed-autonomy traffic performance while remaining stealthy against detection. CoRR abs/2112.11986 (2021)
2020
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06585
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:
Grand Challenges for Embedded Security Research in a Connected World. CoRR abs/2005.06585 (2020)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-01721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-01721
Hsiao-Ying Huang, Soteris Demetriou, Rini Banerjee, Güliz Seray Tuncay, Carl A. Gunter, Masooda N. Bashir:
Smartphone Security Behavioral Scale: A New Psychometric Measurement for Smartphone Security. CoRR abs/2007.01721 (2020)
2019
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-09338
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-09338
Yunhui Long, Suxin Lin, Zhuolin Yang, Carl A. Gunter, Bo Li:
Scalable Differentially Private Generative Student Model via PATE. CoRR abs/1906.09338 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-02108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-02108
Kevin D. Lux, Michael J. May, Carl A. Gunter:
WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services. CoRR abs/1908.02108 (2019)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-03137
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-03137
Xiaojun Xu, Qi Wang, Huichen Li, Nikita Borisov, Carl A. Gunter, Bo Li:
Detecting AI Trojans Using Meta Neural Analysis. CoRR abs/1910.03137 (2019)
2018
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08535
Xuejing Yuan, Yuxuan Chen, Yue Zhao, Yunhui Long, Xiaokang Liu, Kai Chen, Shengzhi Zhang, Heqing Huang, Xiaofeng Wang, Carl A. Gunter:
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition. CoRR abs/1801.08535 (2018)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-04889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-04889
Yunhui Long, Vincent Bindschaedler, Lei Wang, Diyue Bu, Xiaofeng Wang, Haixu Tang, Carl A. Gunter, Kai Chen:
Understanding Membership Inferences on Well-Generalized Learning Models. CoRR abs/1802.04889 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-10296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10296
Yunhui Long, Tanmay Gangwani, Haris Mughees, Carl A. Gunter:
Distributed and Secure ML with Self-tallying Multi-party Aggregation. CoRR abs/1811.10296 (2018)
2017
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DemetriouZLWGZG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DemetriouZLWGZG17
Soteris Demetriou, Nan Zhang, Yeonjoon Lee, XiaoFeng Wang, Carl A. Gunter, Xiao-yong Zhou, Michael Grace:
Guardian of the HAN: Thwarting Mobile Attacks on Smart-Home Devices Using OS-level Situation Awareness. CoRR abs/1703.01537 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ZhangDMDYZQW0TG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhangDMDYZQW0TG17
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:
Understanding IoT Security Through the Data Crystal Ball: Where We Are Now and Where We Are Going to Be. CoRR abs/1703.09809 (2017)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/WangCPZWBTG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangCPZWBTG17
Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter:
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. CoRR abs/1705.07289 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07975
Vincent Bindschaedler, Reza Shokri, Carl A. Gunter:
Plausible Deniability for Privacy-Preserving Data Synthesis. CoRR abs/1708.07975 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-09136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-09136
Yunhui Long, Vincent Bindschaedler, Carl A. Gunter:
Towards Measuring Membership Privacy. CoRR abs/1712.09136 (2017)
2015
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/0001ACFGHMW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/0001ACFGHMW15
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang:
Privacy in the Genomic Era. IACR Cryptol. ePrint Arch. 2015: 563 (2015)
2014
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LeMayG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LeMayG14
Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. CoRR abs/1404.3465 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NaveedACFGHMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaveedACFGHMW14
Muhammad Naveed, Erman Ayday, Ellen Wright Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang:
Privacy and Security in the Genomic Era. CoRR abs/1405.1891 (2014)
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/NaveedPG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/NaveedPG14
Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter:
Dynamic Searchable Encryption via Blind Storage. IACR Cryptol. ePrint Arch. 2014: 219 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.