Anupam Datta

Cited by

	All	Since 2017
Citations	7993	4085
h-index	44	30
i10-index	99	66

900

450

225

675

200420052006200720082009201020112012201320142015201620172018201920202021202236 67 147 180 210 170 284 320 406 372 431 512 542 576 674 728 885 877 334

Public access

View all

35 articles

1 article

available

not available

Based on funding mandates

Co-authors

John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Jeremiah BlockiPurdue UniversityVerified email at purdue.edu
Limin JiaCarnegie Mellon UniversityVerified email at cmu.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Dilsun Kırlı KaynarAssociate Teaching Professor, Carnegie Mellon UniversityVerified email at cmu.edu
Jonathan McCuneGoogle IncVerified email at google.com
Piotr MardzielScientist, TrueraVerified email at cmu.edu
Arnab RoyResearch Scientist Manager, Novi Research | FacebookVerified email at cs.stanford.edu
Jason FranklinResearch Associate, Stanford UniversityVerified email at cs.stanford.edu
Arunesh SinhaSingapore Management UniversityVerified email at smu.edu.sg
Ning QuBaidu USA, Google, Carnegie Mellon University, Peking UniversityVerified email at google.com
Amit DattaSnap Inc.Verified email at snap.com
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Nicolas ChristinAssociate Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab FellowVerified email at inf.ethz.ch
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Divya SharmaGoogleVerified email at google.com
Yanlin LiCarnegie Mellon UniversityVerified email at cmu.edu
Avrim BlumProfessor and Chief Academic Officer, Toyota Technological Institute at ChicagoVerified email at ttic.edu
Omar Haider ChowdhuryAssistant Professor at University of IowaVerified email at uiowa.edu

Anupam Datta

Professor, Electrical and Computer Engineering & Computer Science Departments, CMU

Verified email at cmu.edu - Homepage

Security Privacy Accountable AI/ML


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
TrustVisor: Efficient TCB reduction and attestation JM McCune, Y Li, N Qu, Z Zhou, A Datta, V Gligor, A Perrig 2010 IEEE Symposium on Security and Privacy, 143-158, 2010	770	2010
Automated experiments on ad privacy settings A Datta, MC Tschantz, A Datta Proceedings on privacy enhancing technologies 2015 (1), 92-112, 2015	726	2015
Algorithmic transparency via quantitative input influence: Theory and experiments with learning systems A Datta, S Sen, Y Zick 2016 IEEE symposium on security and privacy (SP), 598-617, 2016	614	2016
Privacy and contextual integrity: Framework and applications A Barth, A Datta, JC Mitchell, H Nissenbaum 2006 IEEE symposium on security and privacy (S&P'06), 15 pp.-198, 2006	524	2006
Protocol composition logic (PCL) A Datta, A Derek, JC Mitchell, A Roy Electronic Notes in Theoretical Computer Science 172, 311-358, 2007	293	2007
A derivation system and compositional logic for security protocols A Datta, A Derek, JC Mitchell, D Pavlovic Journal of Computer Security 13 (3), 423-482, 2005	197	2005
The johnson-lindenstrauss transform itself preserves differential privacy J Blocki, A Blum, A Datta, O Sheffet 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science, 410-419, 2012	194	2012
Differentially private data analysis of social networks via restricted sensitivity J Blocki, A Blum, A Datta, O Sheffet Proceedings of the 4th conference on Innovations in Theoretical Computer …, 2013	178	2013
A modular correctness proof of IEEE 802.11 i and TLS C He, M Sundararajan, A Datta, A Derek, JC Mitchell Proceedings of the 12th ACM conference on Computer and communications …, 2005	175	2005
Design, implementation and verification of an extensible and modular hypervisor framework A Vasudevan, S Chaki, L Jia, J McCune, J Newsome, A Datta 2013 IEEE Symposium on Security and Privacy, 430-444, 2013	155	2013
A logic of secure systems and its application to trusted computing A Datta, J Franklin, D Garg, D Kaynar 2009 30th IEEE Symposium on Security and Privacy, 221-236, 2009	141	2009
Privacy and utility in business processes A Barth, J Mitchell, A Datta, S Sundaram 20th IEEE Computer Security Foundations Symposium (CSF'07), 279-294, 2007	138	2007
Gender bias in neural natural language processing K Lu, P Mardziel, F Wu, P Amancharla, A Datta Logic, Language, and Security, 189-202, 2020	136	2020
Probabilistic polynomial-time semantics for a protocol security logic A Datta, A Derek, JC Mitchell, V Shmatikov, M Turuani International Colloquium on Automata, Languages, and Programming, 16-29, 2005	135	2005
Policy auditing over incomplete logs: theory, implementation and applications D Garg, L Jia, A Datta Proceedings of the 18th ACM conference on Computer and communications …, 2011	127	2011
Flow distribution in parallel and reverse flow manifolds AB Datta, AK Majumdar International Journal of Heat and Fluid Flow 2 (4), 253-262, 1980	118	1980
Experiences in the logical specification of the HIPAA and GLBA privacy laws H DeYoung, D Garg, L Jia, D Kaynar, A Datta Proceedings of the 9th Annual ACM Workshop on Privacy in the Electronic …, 2010	114	2010
Secure protocol composition A Datta, A Derek, JC Mitchell, D Pavlovic Electronic Notes in Theoretical Computer Science 83, 201-226, 2003	107	2003
A derivation system for security protocols and its logical formalization A Datta, A Derek, JC Mitchell, D Pavlovic 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 109-125, 2003	104	2003
ASPIER: An automated framework for verifying security protocol implementations S Chaki, A Datta 2009 22nd IEEE Computer Security Foundations Symposium, 172-185, 2009	99	2009

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 this author

Cited by

Co-authors