Carl A. Gunter

Cited by

	All	Since 2019
Citations	16310	6281
h-index	68	35
i10-index	163	73

1200

600

300

900

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202479 91 90 168 188 143 149 205 262 334 351 322 382 383 311 328 324 385 330 391 323 404 427 413 455 485 585 634 767 912 963 1083 1161 1169 986

Public access

View all

62 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 iu.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
Yunhui LongUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Michael LeMayIntel LabsVerified email at lemays.org
Scott AlexanderChief Scientist, Perspecta LabsVerified email at dsalex.org
Karthikeyan BhargavanINRIAVerified email at inria.fr
Vincent BindschaedlerAssistant Professor at the University of FloridaVerified email at cise.ufl.edu
Omid FatemiehUniversity of Illinois at Urbana-Champaign / GoogleVerified email at google.com
David LiebovitzAssociate Professor of Medicine, Northwestern UniversityVerified email at northwestern.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
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
David KotzDartmouth CollegeVerified email at dartmouth.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Bo LiUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
Kai ChenInstitute of Information Engineering, Chinese Academy of SciencesVerified email at iie.ac.cn
Wei YangAssociate Professor, Department of Computer Science, University of Texas at DallasVerified email at utdallas.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	1048	1992
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	565	2018
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE Network 12 (3), 29-36, 1998	481	1998
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	475	2017
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	474	1998
Semantic domains CA Gunter, DS Scott Handbook of Theoretical Computer Science, 633-674, 1990	447*	1990
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	445	2015
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	417	2014
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	404	2000
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	350	2015
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	349	1991
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	346	2021
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	297	1997
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	294	2018
{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	293	2018
Fear and logging in the internet of things Q Wang, WU Hassan, A Bates, C Gunter Network and Distributed Systems Symposium, 2018	273	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	257	2013
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	256	2002
Privacy and security in mobile health: a research agenda D Kotz, CA Gunter, S Kumar, JP Weiner Computer 49 (6), 22-30, 2016	229	2016
You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis. Q Wang, WU Hassan, D Li, K Jee, X Yu, K Zou, J Rhee, Z Chen, W Cheng, ... NDSS, 2020	210	2020

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