Carl A. Gunter

Cited by

	All	Since 2018
Citations	15310	6051
h-index	67	36
i10-index	158	79

1300

650

325

975

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202338 74 96 86 175 189 151 146 209 248 329 339 320 389 378 310 339 330 387 332 393 322 410 434 408 454 487 590 628 781 948 1037 1194 1276 811

Public access

View all

56 articles

1 article

available

not available

Based on funding mandates

Co-authors

XiaoFeng WangJames H. Rudy Professor of Computer Science, Indiana University at BloomingtonVerified email at indiana.edu
Scott NettlesTexas AustinVerified email at ece.utexas.edu
Soteris DemetriouAssistant Professor, Imperial College LondonVerified email at imperial.ac.uk
Bradley MalinAccenture Professor of Biomedical Informatics, Biostatistics, and Computer Science, VanderbiltVerified email at vanderbilt.edu
Michael LeMayIntel LabsVerified email at lemays.org
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Karthikeyan BhargavanINRIAVerified email at inria.fr
Omid FatemiehUniversity of Illinois at Urbana-Champaign / GoogleVerified email at google.com
Yunhui LongUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
David LiebovitzAssociate Professor of Medicine, Northwestern UniversityVerified email at northwestern.edu
Vincent BindschaedlerAssistant Professor at the University of FloridaVerified email at cise.ufl.edu
Xiaoyong Zhou (周小勇）Google, IncVerified email at indiana.edu
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Qi WangUniversity of Illinois Urbana-ChampaignVerified email at illinois.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Nikita BorisovProfessor of Electrical and Computer Engineering, University of Illinois at UrbanaVerified email at illinois.edu
Kan YuanIndiana University Computer Science DepartmentVerified email at indiana.edu
Kai ChenInstitute of Information Engineering, Chinese Academy of SciencesVerified email at iie.ac.cn
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu

Carl A. Gunter

George and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign

Verified email at illinois.edu - Homepage

Computer Security Privacy Formal Methods Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Semantics of programming languages: structures and techniques CA Gunter MIT press, 1992	1063	1992
What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources. S Demetriou, X Zhou, M Naveed, Y Lee, K Yuan, XF Wang, CA Gunter ISOC Network and Distributed System Security (NDSS ’15), 2015	483	2015
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE Network 12 (3), 29-36, 1998	480	1998
PLAN: A packet language for active networks M Hicks, P Kakkar, JT Moore, CA Gunter, S Nettles ACM International Conference on Functional Programming Languages (ICFP ’98 …, 1998	471	1998
Semantic domains CA Gunter, DS Scott Handbook of Theoretical Computer Science, 633-674, 1990	444	1990
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	398	2000
Leaky cauldron on the dark land: Understanding memory side-channel hazards in SGX W Wang, G Chen, X Pan, Y Zhang, XF Wang, V Bindschaedler, H Tang, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	390	2017
Toward a science of learning systems: a research agenda for the high-functioning Learning Health System C Friedman, J Rubin, J Brown, M Buntin, M Corn, L Etheredge, C Gunter, ... Journal of the American Medical Informatics Association 22 (1), 43-50, 2015	387	2015
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	383	2014
Property inference attacks on fully connected neural networks using permutation invariant representations K Ganju, Q Wang, W Yang, CA Gunter, N Borisov Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018	370	2018
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	343	1991
Privacy in the genomic era M Naveed, E Ayday, EW Clayton, J Fellay, CA Gunter, JP Hubaux, ... ACM Computing Surveys (CSUR) 48 (1), 1-44, 2015	309	2015
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	298	1997
Formal verification of standards for distance vector routing protocols K Bhargavan, D Obradovic, CA Gunter Journal of the ACM (JACM) 49 (4), 538-576, 2002	246	2002
{CommanderSong}: A systematic approach for practical adversarial voice recognition X Yuan, Y Chen, Y Zhao, Y Long, X Liu, K Chen, S Zhang, H Huang, ... 27th USENIX security symposium (USENIX security 18), 49-64, 2018	244	2018
Identity, location, disease and more: Inferring your secrets from Android public resources X Zhou, S Demetriou, D He, M Naveed, X Pan, XF Wang, CA Gunter, ... Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	239	2013
Fear and logging in the internet of things Q Wang, WU Hassan, A Bates, C Gunter Network and Distributed Systems Symposium, 2018	229	2018
Understanding membership inferences on well-generalized learning models Y Long, V Bindschaedler, L Wang, D Bu, X Wang, H Tang, CA Gunter, ... arXiv preprint arXiv:1802.04889, 2018	224	2018
Privacy and security in mobile health: a research agenda D Kotz, CA Gunter, S Kumar, JP Weiner Computer 49 (6), 22-30, 2016	212	2016
Detecting ai trojans using meta neural analysis X Xu, Q Wang, H Li, N Borisov, CA Gunter, B Li 2021 IEEE Symposium on Security and Privacy (SP), 103-120, 2021	194	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors