Anupam Datta

Cited by

	All	Since 2018
Citations	9019	4504
h-index	45	31
i10-index	109	72

1000

500

250

750

2004200520062007200820092010201120122013201420152016201720182019202020212022202336 72 142 180 217 167 275 331 399 374 429 514 562 579 667 738 884 870 981 359

Public access

View all

27 articles

2 articles

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
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
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
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 SinhaRutgers UniversityVerified email at rutgers.edu
Amit DattaSnap Inc.Verified email at snap.com
Ning QuNIO USA, Waymo, Baidu USA, Google, Carnegie Mellon University, Peking UniversityVerified email at google.com
Nicolas ChristinProfessor, 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
Yanlin LiCarnegie Mellon UniversityVerified email at cmu.edu
Avrim BlumProfessor and Chief Academic Officer, Toyota Technological Institute at ChicagoVerified email at ttic.edu
Divya SharmaGoogleVerified email at google.com
Omar Haider ChowdhuryAssociate Professor of CS at Stony Brook UniversityVerified email at cs.stonybrook.edu
Ariel ProcacciaGordon McKay Professor of Computer Science, Harvard UniversityVerified email at seas.harvard.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
Automated experiments on ad privacy settings: A tale of opacity, choice, and discrimination A Datta, MC Tschantz, A Datta arXiv preprint arXiv:1408.6491, 2014	874	2014
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	811	2010
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	775	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	558	2006
Protocol composition logic (PCL) A Datta, A Derek, JC Mitchell, A Roy Electronic Notes in Theoretical Computer Science 172, 311-358, 2007	295	2007
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	224	2012
Gender bias in neural natural language processing K Lu, P Mardziel, F Wu, P Amancharla, A Datta Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the …, 2020	218	2020
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	212	2013
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
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	178	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	169	2013
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	145	2007
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	143	2009
Probabilistic polynomial-time semantics for a protocol security logic A Datta, A Derek, JC Mitchell, V Shmatikov, M Turuani Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005	140	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	132	2011
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	120	2010
Flow distribution in parallel and reverse flow manifolds AB Datta, AK Majumdar International Journal of Heat and Fluid Flow 2 (4), 253-262, 1980	120	1980
Bootstrapping privacy compliance in big data systems S Sen, S Guha, A Datta, SK Rajamani, J Tsai, JM Wing 2014 IEEE Symposium on Security and Privacy, 327-342, 2014	108	2014
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	107	2003
Secure protocol composition A Datta, A Derek, JC Mitchell, D Pavlovic Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003	106	2003

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