Anupam Datta

Cited by

	All	Since 2019
Citations	10483	5270
h-index	49	31
i10-index	116	76

1100

550

275

825

20042005200620072008200920102011201220132014201520162017201820192020202120222023202436 76 150 182 216 169 280 325 396 372 435 516 555 582 649 758 897 886 1010 995 716

Public access

View all

25 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
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

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	1077	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	999	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	845	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	596	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	372	2020
Protocol composition logic (PCL) A Datta, A Derek, JC Mitchell, A Roy Electronic Notes in Theoretical Computer Science 172, 311-358, 2007	298	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	279	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	257	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	207	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	188	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	180	2013
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	167	2019
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
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	130	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	129	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	124	2014
ASPIER: An automated framework for verifying security protocol implementations S Chaki, A Datta 2009 22nd IEEE Computer Security Foundations Symposium, 172-185, 2009	113	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