Carl A. Gunter

Cited by

	All	Since 2018
Citations	14849	5656
h-index	66	35
i10-index	159	78

1300

650

325

975

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202382 86 82 162 187 147 140 204 235 317 333 321 388 374 310 361 335 390 326 398 322 404 435 407 452 489 586 628 784 941 1039 1205 1250 435

Public access

View all

55 articles

1 article

available

not available

Based on funding mandates

Co-authors

Scott NettlesTexas AustinVerified email at ece.utexas.edu
Soteris DemetriouAssistant Professor, Imperial College LondonVerified email at imperial.ac.uk
XiaoFeng WangJames H. Rudy Professor of Computer Science, Indiana University at BloomingtonVerified email at indiana.edu
Bradley MalinAccenture Professor of Biomedical Informatics, Biostatistics, and Computer Science, VanderbiltVerified email at vanderbilt.edu
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Michael LeMayIntel LabsVerified email at lemays.org
Karthikeyan BhargavanINRIAVerified email at inria.fr
Omid FatemiehUniversity of Illinois at Urbana-Champaign / GoogleVerified email at google.com
David LiebovitzAssociate Professor of Medicine, Northwestern UniversityVerified email at northwestern.edu
Yunhui LongUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Xiaoyong Zhou (周小勇）Google, IncVerified email at indiana.edu
Vincent BindschaedlerAssistant Professor at the University of FloridaVerified email at cise.ufl.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
Nikita BorisovProfessor of Electrical and Computer Engineering, University of Illinois at UrbanaVerified email at illinois.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.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
Bo LiUniversity of Illinois at Urbana–ChampaignVerified email at illinois.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	1046	1992
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE Network 12 (3), 29-36, 1998	479	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	463	1998
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	445	2015
Semantic domains CA Gunter, DS Scott Handbook of Theoretical Computer Science, 633-674, 1990	437	1990
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	399	2000
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	376	2014
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	370	2015
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	368	2017
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	342	1991
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	327	2018
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	297	2015
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	289	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	244	2002
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	237	2013
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	227	2018
Fear and logging in the internet of things Q Wang, WU Hassan, A Bates, C Gunter Network and Distributed Systems Symposium, 2018	211	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	209	2018
Privacy and security in mobile health: a research agenda D Kotz, CA Gunter, S Kumar, JP Weiner Computer 49 (6), 22-30, 2016	198	2016
PLANet: An active internetwork M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles IEEE Conference on Computer Communications (INFOCOM '99) 3, 1124-1133 vol. 3, 1999	181	1999

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