Carl A. Gunter

引用先

	すべて	2019 年以来
引用	16096	6084
h 指標	68	35
i10 指標	163	73

1200

600

300

900

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202479 91 90 168 188 143 148 205 261 334 352 322 382 383 311 328 324 384 329 391 324 404 427 412 455 484 590 633 765 914 961 1077 1158 1149 822

オープンアクセス

すべて表示

61 件の論文

1 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

XiaoFeng WangJames H. Rudy Professor of Computer Science, Indiana University at Bloomington確認したメールアドレス: iu.edu
Scott NettlesTexas Austin確認したメールアドレス: ece.utexas.edu
Bradley MalinAccenture Professor of Biomedical Informatics, Biostatistics, and Computer Science, Vanderbilt確認したメールアドレス: vanderbilt.edu
Soteris DemetriouAssistant Professor, Imperial College London確認したメールアドレス: imperial.ac.uk
Jonathan SmithProfessor of Computer and Information Science, University of Pennsylvania確認したメールアドレス: cis.upenn.edu
Yunhui LongUniversity of Illinois at Urbana-Champaign確認したメールアドレス: illinois.edu
Michael LeMayIntel Labs確認したメールアドレス: lemays.org
Scott AlexanderChief Scientist, Perspecta Labs確認したメールアドレス: dsalex.org
Karthikeyan BhargavanINRIA確認したメールアドレス: inria.fr
Omid FatemiehUniversity of Illinois at Urbana-Champaign / Google確認したメールアドレス: google.com
Vincent BindschaedlerAssistant Professor at the University of Florida確認したメールアドレス: cise.ufl.edu
David LiebovitzAssociate Professor of Medicine, Northwestern University確認したメールアドレス: northwestern.edu
Qi WangUniversity of Illinois Urbana-Champaign確認したメールアドレス: illinois.edu
Nikita BorisovProfessor of Electrical and Computer Engineering, University of Illinois at Urbana確認したメールアドレス: illinois.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaign確認したメールアドレス: illinois.edu
David KotzDartmouth College確認したメールアドレス: dartmouth.edu
Insup LeeProfessor, Computer and Information Science, University of Pennsylvania確認したメールアドレス: cis.upenn.edu
Bo LiUniversity of Illinois at Urbana–Champaign確認したメールアドレス: illinois.edu
Kai ChenInstitute of Information Engineering, Chinese Academy of Sciences確認したメールアドレス: iie.ac.cn
Wei YangAssociate Professor, Department of Computer Science, University of Texas at Dallas確認したメールアドレス: utdallas.edu

フォロー

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	1045	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	538	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
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	473	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	463	2017
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	440	2015
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	411	2014
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	402	2000
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	349	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	343	2015
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	321	2021
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	297	1997
{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	289	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	288	2018
Fear and logging in the internet of things Q Wang, WU Hassan, A Bates, C Gunter Network and Distributed Systems Symposium, 2018	266	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	255	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	254	2002
Privacy and security in mobile health: a research agenda D Kotz, CA Gunter, S Kumar, JP Weiner Computer 49 (6), 22-30, 2016	227	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	192	2020

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者