Anupam Datta

Cited by

	All	Since 2020
Citations	10838	4857
h-index	50	29
i10-index	116	67

1100

550

275

825

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202536 76 150 182 217 168 280 326 399 368 435 517 555 578 652 762 898 887 1015 1005 970 79

Public access

View all

26 articles

3 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
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Piotr MardzielindependentVerified email at cmu.edu
Jonathan McCuneGoogle IncVerified email at google.com
Arunesh SinhaRutgers UniversityVerified email at rutgers.edu
Arnab RoyResearch Scientist, Mysten LabsVerified email at cs.stanford.edu
Amit DattaAmazonVerified email at amazon.com
Jason FranklinResearch Associate, Stanford UniversityVerified email at cs.stanford.edu
Ning QuNIO USA, Waymo, Baidu USA, Google, Carnegie Mellon University, Peking UniversityVerified email at google.com
Nicolas ChristinCarnegie 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
Avrim BlumProfessor and Chief Academic Officer, Toyota Technological Institute at ChicagoVerified email at ttic.edu
Yanlin LiCarnegie Mellon UniversityVerified email at cmu.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

Snowflake AI Research, Ex-Professor CMU

Verified email at snowflake.com - Homepage

Trustworthy AI Privacy Security


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	1121	2014
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	1044	2016
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	851	2010
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	609	2006
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	405	2020
Protocol composition logic (PCL) A Datta, A Derek, JC Mitchell, A Roy Electronic Notes in Theoretical Computer Science 172, 311-358, 2007	297	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	294	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	265	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	206	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	191	2005
Machine learning explainability in finance: an application to default risk analysis P Bracke, A Datta, C Jung, S Sen Bank of England Working Paper, 2019	184	2019
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	181	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
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	141	2005
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	134	2009
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
Flow distribution in parallel and reverse flow manifolds AB Datta, AK Majumdar International Journal of Heat and Fluid Flow 2 (4), 253-262, 1980	132	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	131	2010
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	129	2014
ASPIER: An automated framework for verifying security protocol implementations S Chaki, A Datta 2009 22nd IEEE Computer Security Foundations Symposium, 172-185, 2009	115	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

Cited by

Co-authors