Anupam Datta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
25
Active years
2001–2026
Best venue rank
A*
Where they publish
- A*SP9 papers
- A*CCS7 papers
- A*IJCAI3 papers
- A*AAAI2 papers
- A*NDSS2 papers
- AESORICS2 papers
- BTCC2 papers
- NationalVLSID2 papers
- A*SIGMOD1 paper
- A*ICML1 paper
- A*KDD1 paper
- A*ACL1 paper
- A*CVPR1 paper
- A*ICLR1 paper
- AITC1 paper
- BRV1 paper
- A*CAV1 paper
- NationalICDCIT1 paper
- AASIACRYPT1 paper
- CSACMAT1 paper
- A*FOCS1 paper
- NationalICISS1 paper
- A*ICALP1 paper
- BMFPS1 paper
- NationalAMIA1 paper
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGMOD | Cortex AISQL: A Production SQL Engine for Unstructured Data. | Pawel Liskowski, Benjamin Han, Paritosh Aggarwal, Bowei Chen, Boxin Jiang, Nitish Jindal, Zihan Li, Aaron Lin, Kyle Schmaus, Jay Tayade, Weicheng Zhao, Anupam Datta, Nathan Wiegand, Dimitris Tsirogiannis |
| 2022 | ICML | Robust Models Are More Interpretable Because Attributions Look Normal. | Zifan Wang, Matt Fredrikson, Anupam Datta |
| 2021 | KDD | Machine Learning Explainability and Robustness: Connected at the Hip. | Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang |
| 2020 | AAAI | An Information-Theoretic Quantification of Discrimination with Exempt Features. | Sanghamitra Dutta, Praveen Venkatesh, Piotr Mardziel, Anupam Datta, Pulkit Grover |
| 2020 | ACL | Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. | Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta |
| 2020 | CVPR | Interpreting Interpretations: Organizing Attribution Methods by Criteria. | Zifan Wang, Piotr Mardziel, Anupam Datta, Matt Fredrikson |
| 2020 | SP | SoK: Differential Privacy as a Causal Property. | Michael Carl Tschantz, Shayak Sen, Anupam Datta |
| 2019 | ICLR | Feature-Wise Bias Amplification. | Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta |
| 2018 | ITC | Influence-Directed Explanations for Deep Convolutional Networks. | Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, Linyi Li |
| 2017 | CCS | Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. | Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen |
| 2016 | NDSS | Differentially Private Password Frequency Lists. | Jeremiah Blocki, Anupam Datta, Joseph Bonneau |
| 2016 | SP | Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems. | Anupam Datta, Shayak Sen, Yair Zick |
| 2015 | AAAI | Audit Games with Multiple Defender Resources. | Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha |
| 2015 | CCS | Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. | Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta |
| 2015 | IJCAI | Incentivizing Peer Grading in MOOCS: An Audit Game Approach. | Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick |
| 2015 | IJCAI | Influence in Classification via Cooperative Game Theory. | Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick |
| 2015 | NDSS | Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords. | Jeremiah Blocki, Saranga Komanduri, Lorrie Faith Cranor, Anupam Datta |
| 2015 | RV | A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. | Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman |
| 2014 | CAV | Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. | Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta |
| 2014 | CCS | WPES 2014: 13th Workshop on Privacy in the Electronic Society. | Gail-Joon Ahn, Anupam Datta |
| 2014 | ICDCIT | Privacy through Accountability: A Computer Science Perspective. | Anupam Datta |
| 2014 | SP | Bootstrapping Privacy Compliance in Big Data Systems. | Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing |
| 2013 | ASIACRYPT | Naturally Rehearsing Passwords. | Jeremiah Blocki, Manuel Blum, Anupam Datta |
| 2013 | CCS | GOTCHA password hackers! | Jeremiah Blocki, Manuel Blum, Anupam Datta |
| 2013 | ESORICS | Purpose Restrictions on Information Use. | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
| 2013 | IJCAI | Audit Games. | Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha |
| 2013 | SP | Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. | Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta |
| 2013 | SACMAT | Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. | Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough |
| 2012 | FOCS | The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy. | Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet |
| 2012 | SP | Formalizing and Enforcing Purpose Restrictions in Privacy Policies. | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
| 2011 | CCS | Policy auditing over incomplete logs: theory, implementation and applications. | Deepak Garg, Limin Jia, Anupam Datta |
| 2011 | ICISS | Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |
| 2010 | SP | Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. | Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri |
| 2010 | SP | TrustVisor: Efficient TCB Reduction and Attestation. | Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig |
| 2009 | SP | A Logic of Secure Systems and its Application to Trusted Computing. | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
| 2007 | ESORICS | Inductive Proofs of Computational Secrecy. | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell |
| 2006 | SP | Privacy and Contextual Integrity: Framework and Applications. | Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum |
| 2006 | TCC | Games and the Impossibility of Realizable Ideal Functionality. | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov |
| 2005 | CCS | A modular correctness proof of IEEE 802.11i and TLS. | Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell |
| 2005 | ICALP | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
| 2005 | TCC | On the Relationships Between Notions of Simulation-Based Security. | Anupam Datta, Ralf Ksters, John C. Mitchell, Ajith Ramanathan |
| 2003 | CCS | Secure protocol composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | MFPS | Secure Protocol Composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2002 | VLSID | Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. | Anupam Datta, Sidharth Choudhury, Anupam Basu |
| 2001 | AMIA | Information Retrieval Using UMLS-based Structured Queries. | Lawrence M. Fagan, Daniel C. Berrios, Albert Chan, Russell J. Cucina, Anupam Datta, Maulik K. Shah, Sujith Surendran |
| 2001 | VLSID | Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique. | Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil D. Dutt |