Carl A. Gunter

인용

	전체	2018년 이후
서지정보	14438	5257
h-index	66	34
i10-index	156	75

1300

650

325

975

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202383 86 85 159 187 148 140 207 233 320 335 320 386 372 310 358 334 390 324 396 322 404 435 407 454 486 587 625 778 942 1035 1192 1215 93

공개 액세스

모두 보기

자료 52개

자료 1개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Scott NettlesTexas Austinece.utexas.edu의 이메일 확인됨
Soteris DemetriouAssistant Professor, Imperial College Londonimperial.ac.uk의 이메일 확인됨
XiaoFeng WangJames H. Rudy Professor of Computer Science, Indiana University at Bloomingtonindiana.edu의 이메일 확인됨
Bradley MalinAccenture Professor of Biomedical Informatics, Biostatistics, and Computer Science, Vanderbiltvanderbilt.edu의 이메일 확인됨
Scott AlexanderChief Scientist, Perspecta Labsdsalex.org의 이메일 확인됨
Michael LeMayIntel Labslemays.org의 이메일 확인됨
Karthikeyan BhargavanINRIAinria.fr의 이메일 확인됨
Omid FatemiehUniversity of Illinois at Urbana-Champaign / Googlegoogle.com의 이메일 확인됨
David LiebovitzAssociate Professor of Medicine, Northwestern Universitynorthwestern.edu의 이메일 확인됨
Yunhui LongUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Vincent BindschaedlerAssistant Professor at the University of Floridacise.ufl.edu의 이메일 확인됨
Xiaoyong Zhou (周小勇）Google, Incindiana.edu의 이메일 확인됨
Jonathan SmithProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaignillinois.edu의 이메일 확인됨
Qi WangUniversity of Illinois Urbana-Champaignillinois.edu의 이메일 확인됨
Insup LeeProfessor, Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
Nikita BorisovProfessor of Electrical and Computer Engineering, University of Illinois at Urbanaillinois.edu의 이메일 확인됨
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
Klara NahrstedtComputer Science, University of Illinois, Urbana-Champaignillinois.edu의 이메일 확인됨
Kai ChenInstitute of Information Engineering, Chinese Academy of Sciencesiie.ac.cn의 이메일 확인됨

팔로우

Carl A. Gunter

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

illinois.edu의 이메일 확인됨 - 홈페이지

Computer Security Privacy Formal Methods Programming Languages


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Semantics of programming languages: structures and techniques CA Gunter MIT press, 1992	1038	1992
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE Network 12 (3), 29-36, 1998	478	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	461	1998
Semantic domains CA Gunter, DS Scott Handbook of Theoretical Computer Science, 633-674, 1990	436	1990
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	394	2015
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	393	2000
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	368	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	351	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	348	2017
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	337	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	288	2018
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	287	1997
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	285	2015
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	245	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	229	2013
Fear and logging in the internet of things Q Wang, WU Hassan, A Bates, C Gunter Network and Distributed Systems Symposium, 2018	204	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	201	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	199	2018
Privacy and security in mobile health: a research agenda D Kotz, CA Gunter, S Kumar, JP Weiner Computer 49 (6), 22-30, 2016	188	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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자