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 (AMIA, 2001)

Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique. - Anupam Datta; Sidharth Choudhury; Anupam Basu; Hiroyuki Tomiyama; Nikil D. Dutt (VLSI Design, 2001)

Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. - Anupam Datta; Sidharth Choudhury; Anupam Basu (ASP-DAC/VLSI Design, 2002)

Secure protocol composition. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (FMSE, 2003)

A Derivation System for Security Protocols and its Logical Formalization. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2003)

Abstraction and Refinement in Protocol Derivation. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2004)

A modular correctness proof of IEEE 802.11i and TLS. - Changhua He; Mukund Sundararajan; Anupam Datta; Ante Derek; John C. Mitchell (CCS, 2005)

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. - Anupam Datta; Ante Derek; John C. Mitchell; Vitaly Shmatikov; Mathieu Turuani (ICALP, 2005)

Games and the Impossibility of Realizable Ideal Functionality. - Anupam Datta; Ante Derek; John C. Mitchell; Ajith Ramanathan; Andre Scedrov (IACR Cryptol. ePrint Arch., 2005)

A derivation system and compositional logic for security protocols. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (J. Comput. Secur., 2005)

Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations. - Anupam Datta (2005)

Secrecy Analysis in Protocol Composition Logic. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell; Jean-Pierre Seifert (ASIAN, 2006)

Computationally Sound Compositional Logic for Key Exchange Protocols. - Anupam Datta; Ante Derek; John C. Mitchell; Bogdan Warinschi (CSFW, 2006)

Privacy and Contextual Integrity: Framework and Applications. - Adam Barth; Anupam Datta; John C. Mitchell; Helen Nissenbaum (S&P, 2006)

Key Exchange Protocols: Security Definition, Proof Method and Applications. - Anupam Datta; Ante Derek; John C. Mitchell; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2006)

Compositional analysis of contract-signing protocols. - Michael Backes 001; Anupam Datta; Ante Derek; John C. Mitchell; Mathieu Turuani (Theor. Comput. Sci., 2006)

Privacy and Utility in Business Processes. - Adam Barth; John C. Mitchell; Anupam Datta; Sharada Sundaram (CSF, 2007)

Inductive Proofs of Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (ESORICS, 2007)

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. - Arnab Roy 001; Anupam Datta; John C. Mitchell (TGC, 2007)

Protocol Composition Logic (PCL). - Anupam Datta; Ante Derek; John C. Mitchell; Arnab Roy 001 (Computation, Meaning, and Logic, 2007)

Inductive Proof Method for Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (IACR Cryptol. ePrint Arch., 2007)

On the Relationships between Notions of Simulation-Based Security. - Ralf Küsters; Anupam Datta; John C. Mitchell; Ajith Ramanathan (J. Cryptol., 2008)

ASPIER: An Automated Framework for Verifying Security Protocol Implementations. - Sagar Chaki; Anupam Datta (CSF, 2009)

A Logic of Secure Systems and its Application to Trusted Computing. - Anupam Datta; Jason Franklin; Deepak Garg 001; Dilsun Kirli Kaynar (SP, 2009)

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 (IEEE Symposium on Security and Privacy, 2010)

TrustVisor: Efficient TCB Reduction and Attestation. - Jonathan M. McCune; Yanlin Li; Ning Qu; Zongwei Zhou; Anupam Datta; Virgil D. Gligor; Adrian Perrig (IEEE Symposium on Security and Privacy, 2010)

Distributed programming with distributed authorization. - Kumar Avijit; Anupam Datta; Robert Harper 001 (TLDI, 2010)

Privacy Challenges in Patient-centric Health Information Systems. - Anupam Datta; Nipun Dave; John C. Mitchell; Helen Nissenbaum; Divya Sharma (HealthSec, 2010)

Experiences in the logical specification of the HIPAA and GLBA privacy laws. - Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Anupam Datta (WPES, 2010)

Compositional System Security with Interface-Confined Adversaries. - Deepak Garg 001; Jason Franklin; Dilsun Kirli Kaynar; Anupam Datta (MFPS, 2010)

Logical Methods in Security and Privacy. - Anupam Datta (IEEE Secur. Priv., 2010)

Inductive trace properties for computational security. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (J. Comput. Secur., 2010)

Analysis Techniques for Information Security - Anupam Datta; Somesh Jha; Ninghui Li; David Melski; Thomas W. Reps (Morgan & Claypool Publishers, 2010)

Protocol Composition Logic. - Anupam Datta; John C. Mitchell; Arnab Roy 001; Stephan Hyeonjun Stiller (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Policy auditing over incomplete logs: theory, implementation and applications. - Deepak Garg 001; Limin Jia 001; Anupam Datta (CCS, 2011)

Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Arunesh Sinha (CSF, 2011)

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. - Anupam Datta; Jeremiah Blocki; Nicolas Christin; Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Arunesh Sinha (ICISS, 2011)

Audit Mechanisms for Privacy Protection in Healthcare Environments. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Arunesh Sinha (HealthSec, 2011)

Formal Verification of Differential Privacy for Interactive Systems - Michael Carl Tschantz; Dilsun Kirli Kaynar; Anupam Datta (CoRR, 2011)

A Logical Method for Policy Enforcement over Evolving Audit Logs - Deepak Garg 001; Limin Jia 001; Anupam Datta (CoRR, 2011)

On the Semantics of Purpose Requirements in Privacy Policies - Michael Carl Tschantz; Anupam Datta; Jeannette M. Wing (CoRR, 2011)

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). - Michael Carl Tschantz; Dilsun Kirli Kaynar; Anupam Datta (MFPS, 2011)

On Adversary Models and Compositional Security. - Anupam Datta; Jason Franklin; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar (IEEE Secur. Priv., 2011)

The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy. - Jeremiah Blocki; Avrim Blum; Anupam Datta; Or Sheffet (FOCS, 2012)

Audit Mechanisms for Provable Risk Management and Accountable Data Governance. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Arunesh Sinha (GameSec, 2012)

Provable De-anonymization of Large Datasets with Sparse Dimensions. - Anupam Datta; Divya Sharma; Arunesh Sinha (POST, 2012)

Parametric Verification of Address Space Separation. - Jason Franklin; Sagar Chaki; Anupam Datta; Jonathan M. McCune; Amit Vasudevan (POST, 2012)

Formalizing and Enforcing Purpose Restrictions in Privacy Policies. - Michael Carl Tschantz; Anupam Datta; Jeannette M. Wing (IEEE Symposium on Security and Privacy, 2012)

GOTCHA password hackers! - Jeremiah Blocki; Manuel Blum 001; Anupam Datta (AISec, 2013)

Purpose Restrictions on Information Use. - Michael Carl Tschantz; Anupam Datta; Jeannette M. Wing (ESORICS, 2013)

Adaptive Regret Minimization in Bounded-Memory Games. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Arunesh Sinha (GameSec, 2013)

Audit Games. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Ariel D. Procaccia; Arunesh Sinha (IJCAI, 2013)

Differentially private data analysis of social networks via restricted sensitivity. - Jeremiah Blocki; Avrim Blum; Anupam Datta; Or Sheffet (ITCS, 2013)

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. - Omar Chowdhury; Andreas Gampe; Jianwei Niu 001; Jeffery von Ronne; Jared Bennatt; Anupam Datta; Limin Jia 001; William H. Winsborough (SACMAT, 2013)

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. - Amit Vasudevan; Sagar Chaki; Limin Jia 001; Jonathan M. McCune; James Newsome; Anupam Datta (IEEE Symposium on Security and Privacy, 2013)

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. - Omar Chowdhury; Limin Jia 001; Deepak Garg 001; Anupam Datta (CAV, 2014)

WPES 2014: 13th Workshop on Privacy in the Electronic Society. - Gail-Joon Ahn; Anupam Datta (CCS, 2014)

Privacy-preserving audit for broker-based health information exchange. - Se Eun Oh; Ji Young Chun; Limin Jia 001; Deepak Garg 001; Carl A. Gunter; Anupam Datta (CODASPY, 2014)

Privacy through Accountability: A Computer Science Perspective. - Anupam Datta (ICDCIT, 2014)

Bootstrapping Privacy Compliance in Big Data Systems. - Shayak Sen; Saikat Guha; Anupam Datta; Sriram K. Rajamani; Janice Y. Tsai; Jeannette M. Wing (IEEE Symposium on Security and Privacy, 2014)

Power napping with loud neighbors: optimal energy-constrained jamming and anti-jamming. - Bruce DeBruhl; Christian Kroer; Anupam Datta; Tuomas Sandholm; Patrick Tague (WISEC, 2014)

Human Computable Passwords. - Jeremiah Blocki; Manuel Blum 001; Anupam Datta (CoRR, 2014)

Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination. - Amit Datta; Michael Carl Tschantz; Anupam Datta (CoRR, 2014)

Audit Games with Multiple Defender Resources. - Jeremiah Blocki; Nicolas Christin; Anupam Datta; Ariel D. Procaccia; Arunesh Sinha (AAAI, 2015)

Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. - Omar Chowdhury; Deepak Garg 001; Limin Jia 001; Anupam Datta (CCS, 2015)

Program Actions as Actual Causes: A Building Block for Accountability. - Anupam Datta; Deepak Garg 001; Dilsun Kirli Kaynar; Divya Sharma; Arunesh Sinha (CSF, 2015)

A Logic of Programs with Interface-Confined Code. - Limin Jia 001; Shayak Sen; Deepak Garg 001; Anupam Datta (CSF, 2015)

A Methodology for Information Flow Experiments. - Michael Carl Tschantz; Amit Datta; Anupam Datta; Jeannette M. Wing (CSF, 2015)

Incentivizing Peer Grading in MOOCS: An Audit Game Approach. - Alejandro Uriel Carbonara; Anupam Datta; Arunesh Sinha; Yair Zick (IJCAI, 2015)

Influence in Classification via Cooperative Game Theory. - Amit Datta; Anupam Datta; Ariel D. Procaccia; Yair Zick (IJCAI, 2015)

Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords. - Jeremiah Blocki; Saranga Komanduri; Lorrie Faith Cranor; Anupam Datta (NDSS, 2015)

A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. - Aaron Kane; Omar Chowdhury; Anupam Datta; Philip Koopman (RV, 2015)

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. - Anupam Datta; Joseph Y. Halpern; John C. Mitchell; Arnab Roy 001; Shayak Sen (CoRR, 2015)

System M: A Program Logic for Code Sandboxing and Identification. - Limin Jia 001; Shayak Sen; Deepak Garg 001; Anupam Datta (CoRR, 2015)

Naturally Rehearsing Passwords. - Jeremiah Blocki; Manuel Blum 001; Anupam Datta (IACR Cryptol. ePrint Arch., 2015)

Automated Experiments on Ad Privacy Settings. - Amit Datta; Michael Carl Tschantz; Anupam Datta (Proc. Priv. Enhancing Technol., 2015)

Information flow for security in control systems. - Sean Weerakkody; Bruno Sinopoli; Soummya Kar; Anupam Datta (CDC, 2016)

Accountability in cyber-physical systems. - Anupam Datta; Soummya Kar; Bruno Sinopoli; Sean Weerakkody (SOSCYPS@CPSWeek, 2016)

CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. - Jeremiah Blocki; Anupam Datta (CSF, 2016)

Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems. - Anupam Datta; Shayak Sen; Yair Zick (IEEE Symposium on Security and Privacy, 2016)

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. - Amit Vasudevan; Sagar Chaki; Petros Maniatis; Limin Jia 001; Anupam Datta (USENIX Security Symposium, 2016)

Report on the NSF Workshop on Formal Methods for Security. - Stephen Chong; Joshua D. Guttman; Anupam Datta; Andrew C. Myers; Benjamin C. Pierce; Patrick Schaumont; Tim Sherwood; Nickolai Zeldovich (CoRR, 2016)

Differentially Private Password Frequency Lists. - Jeremiah Blocki; Anupam Datta; Joseph Bonneau (IACR Cryptol. ePrint Arch., 2016)

Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. - Anupam Datta; Matthew Fredrikson; Gihyuk Ko; Piotr Mardziel; Shayak Sen (CCS, 2017)

Towards Human Computable Passwords. - Jeremiah Blocki; Manuel Blum 001; Anupam Datta; Santosh S. Vempala (ITCS, 2017)

Proxy Non-Discrimination in Data-Driven Systems. - Anupam Datta; Matt Fredrikson; Gihyuk Ko; Piotr Mardziel; Shayak Sen (CoRR, 2017)

Differential Privacy as a Causal Property. - Michael Carl Tschantz; Shayak Sen; Anupam Datta (CoRR, 2017)

Latent Factor Interpretations for Collaborative Filtering. - Anupam Datta; Sophia Kovaleva; Piotr Mardziel; Shayak Sen (CoRR, 2017)

Discrimination in Online Personalization: A Multidisciplinary Inquiry. - Amit Datta; Anupam Datta; Jael Makagon; Deirdre K. Mulligan; Michael Carl Tschantz (FAT, 2018)

Influence-Directed Explanations for Deep Convolutional Networks. - Klas Leino; Shayak Sen; Anupam Datta; Matt Fredrikson; Linyi Li (ITC, 2018)

Hunting for Discriminatory Proxies in Linear Regression Models. - Samuel Yeom; Anupam Datta; Matt Fredrikson (NeurIPS, 2018)

Supervising Feature Influence. - Shayak Sen; Piotr Mardziel; Anupam Datta; Matthew Fredrikson (CoRR, 2018)

Correspondences between Privacy and Nondiscrimination: Why They Should Be Studied Together. - Anupam Datta; Shayak Sen; Michael Carl Tschantz (CoRR, 2018)

Device microagent for IoT home gateway: a lightweight plug-n-play architecture. - Dhiman Chattopadhyay; Abinash Samantaray; Anupam Datta (SIGBED Rev., 2018)

Privacy Through Accountability. - Anupam Datta (Encyclopedia of Database Systems (2nd ed.), 2018)

Feature-Wise Bias Amplification. - Klas Leino; Emily Black; Matt Fredrikson; Shayak Sen; Anupam Datta (ICLR (Poster), 2019)

An Information-Theoretic Quantification of Discrimination with Exempt Features. - Sanghamitra Dutta; Praveen Venkatesh; Piotr Mardziel; Anupam Datta; Pulkit Grover (AAAI, 2020)

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. - Kaiji Lu; Piotr Mardziel; Klas Leino; Matt Fredrikson; Anupam Datta (ACL, 2020)

Gender Bias in Neural Natural Language Processing. - Kaiji Lu; Piotr Mardziel; Fangjing Wu; Preetam Amancharla; Anupam Datta (Logic, Language, and Security, 2020)

Interpreting Interpretations: Organizing Attribution Methods by Criteria. - Zifan Wang 001; Piotr Mardziel; Anupam Datta; Matt Fredrikson (CVPR Workshops, 2020)

Smoothed Geometry for Robust Attribution. - Zifan Wang 001; Haofan Wang; Shakul Ramkumar; Piotr Mardziel; Matt Fredrikson; Anupam Datta (NeurIPS, 2020)

SoK: Differential Privacy as a Causal Property. - Michael Carl Tschantz; Shayak Sen; Anupam Datta (SP, 2020)

Towards Behavior-Level Explanation for Deep Reinforcement Learning. - Xuan Chen; Zifan Wang 001; Yucai Fan; Bonan Jin; Piotr Mardziel; Carlee Joe-Wong; Anupam Datta (CoRR, 2020)

Abstracting Influence Paths for Explaining (Contextualization of) BERT Models. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (CoRR, 2020)

Machine Learning Explainability and Robustness: Connected at the Hip. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Zifan Wang 001 (KDD, 2021)

Exploring Conceptual Soundness with TruLens. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Ricardo Shih; Zifan Wang 001 (NeurIPS (Competition and Demos), 2021)

Influence Patterns for Explaining Information Flow in BERT. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (NeurIPS, 2021)

Boundary Attributions Provide Normal (Vector) Explanations. - Zifan Wang 001; Matt Fredrikson; Anupam Datta (CoRR, 2021)

Consistent Counterfactuals for Deep Models. - Emily Black; Zifan Wang 001; Matt Fredrikson; Anupam Datta (CoRR, 2021)

Fairness Under Feature Exemptions: Counterfactual and Observational Measures. - Sanghamitra Dutta; Praveen Venkatesh; Piotr Mardziel; Anupam Datta; Pulkit Grover (IEEE Trans. Inf. Theory, 2021)

Robust Models Are More Interpretable Because Attributions Look Normal. - Zifan Wang 001; Matt Fredrikson; Anupam Datta (ICML, 2022)

Faithful Explanations for Deep Graph Models. - Zifan Wang 001; Yuhang Yao; Chaoran Zhang; Han Zhang 037; Youjie Kang; Carlee Joe-Wong; Matt Fredrikson; Anupam Datta (CoRR, 2022)

Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models. - Kaiji Lu; Anupam Datta (CoRR, 2022)

Identifying and Mitigating the Security Risks of Generative AI. - Clark W. Barrett; Brad Boyd; Ellie Burzstein; Nicholas Carlini; Brad Chen; Jihye Choi; Amrita Roy Chowdhury 001; Mihai Christodorescu; Anupam Datta; Soheil Feizi; Kathleen Fisher; Tatsunori Hashimoto; et al. (CoRR, 2023)

Is Certifying 𝓁p Robustness Still Worthwhile? - Ravi Mangal; Klas Leino; Zifan Wang 001; Kai Hu; Weicheng Yu; Corina S. Pasareanu; Anupam Datta; Matt Fredrikson (CoRR, 2023)

Identifying and Mitigating the Security Risks of Generative AI. - Clark W. Barrett; Brad Boyd; Elie Bursztein; Nicholas Carlini; Brad Chen; Jihye Choi; Amrita Roy Chowdhury 001; Mihai Christodorescu; Anupam Datta; Soheil Feizi; Kathleen Fisher; Tatsunori Hashimoto; et al. (Found. Trends Priv. Secur., 2023)

De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. - Sanjari Srivastava; Piotr Mardziel; Zhikhun Zhang; Archana Ahlawat; Anupam Datta; John C. Mitchell (CoRR, 2024)

ReFoRCE: A Text-to-SQL Agent with Self-Refinement, Format Restriction, and Column Exploration. - Minghang Deng; Ashwin Ramachandran; Canwen Xu; Lanxiang Hu; Zhewei Yao; Anupam Datta; Hao Zhang (CoRR, 2025)