Anupam Datta - RankMe

156 papers A* 30A 12B 6C 1Misc 4Journal 66Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Strategic Navigation or Stochastic Search? How Agents and Humans Reason Over Document Collections. CoRR Lukasz Borchmann, Jordy Van Landeghem, Michal Turski, Shreyansh Padarha, Ryan Othniel Kearns, Adam Mahdi, Niels Rogge, Clémentine Fourrier, Siwei Han, Huaxiu Yao, Artemis Llabrés, Yiming Xu, Dimosthenis Karatzas, Hao Zhang, Anupam Datta
2025	J	`jnl`	Cortex AISQL: A Production SQL Engine for Unstructured Data. CoRR Paritosh Aggarwal, Bowei Chen, Anupam Datta, Benjamin Han, Boxin Jiang, Nitish Jindal, Zihan Li, Aaron Lin, Pawel Liskowski, Jay Tayade, Dimitris Tsirogiannis, Nathan Wiegand, Weicheng Zhao
2025	J	`jnl`	ReFoRCE: A Text-to-SQL Agent with Self-Refinement, Format Restriction, and Column Exploration. CoRR Minghang Deng, Ashwin Ramachandran, Canwen Xu, Lanxiang Hu, Zhewei Yao, Anupam Datta, Hao Zhang
2025	J	`jnl`	What Is Your Agent's GPA? A Framework for Evaluating Agent Goal-Plan-Action Alignment. CoRR Allison Sihan Jia, Daniel Huang, Nikhil Vytla, Nirvika Choudhury, Shayak Sen, John C. Mitchell, Anupam Datta
2024	J	`jnl`	De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. CoRR Sanjari Srivastava, Piotr Mardziel, Zhikhun Zhang, Archana Ahlawat, Anupam Datta, John C. Mitchell
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. CoRR Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2023	J	`jnl`	Is Certifying 𝓁 CoRR Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
2022	J	`jnl`	Faithful Explanations for Deep Graph Models. CoRR Zifan Wang, Yuhang Yao, Chaoran Zhang, Han Zhang, Youjie Kang, Carlee Joe-Wong, Matt Fredrikson, Anupam Datta
2022	J	`jnl`	Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models. CoRR Kaiji Lu, Anupam Datta
2022	A*	`conf`	Robust Models Are More Interpretable Because Attributions Look Normal. ICML Zifan Wang, Matt Fredrikson, Anupam Datta
2021	J	`jnl`	Boundary Attributions Provide Normal (Vector) Explanations. CoRR Zifan Wang, Matt Fredrikson, Anupam Datta
2021	J	`jnl`	Consistent Counterfactuals for Deep Models. CoRR Emily Black, Zifan Wang, Matt Fredrikson, Anupam Datta
2021	—	`conf`	Exploring Conceptual Soundness with TruLens. NeurIPS (Competition and Demos) Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang
2021	J	`jnl`	Fairness Under Feature Exemptions: Counterfactual and Observational Measures. IEEE Trans. Inf. Theory Sanghamitra Dutta, Praveen Venkatesh, Piotr Mardziel, Anupam Datta, Pulkit Grover
2021	A*	`conf`	Influence Patterns for Explaining Information Flow in BERT. NeurIPS Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta
2021	A*	`conf`	Machine Learning Explainability and Robustness: Connected at the Hip. KDD Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
2020	J	`jnl`	Abstracting Influence Paths for Explaining (Contextualization of) BERT Models. CoRR Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta
2020	A*	`conf`	An Information-Theoretic Quantification of Discrimination with Exempt Features. AAAI Sanghamitra Dutta, Praveen Venkatesh, Piotr Mardziel, Anupam Datta, Pulkit Grover
2020	J	`jnl`	Fairness Under Feature Exemptions: Counterfactual and Observational Measures. CoRR Sanghamitra Dutta, Praveen Venkatesh, Piotr Mardziel, Anupam Datta, Pulkit Grover
2020	—	`conf`	Gender Bias in Neural Natural Language Processing. Logic, Language, and Security Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta
2020	A*	`conf`	Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. ACL Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
2020	J	`jnl`	Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. CoRR Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
2020	—	`conf`	Interpreting Interpretations: Organizing Attribution Methods by Criteria. CVPR Workshops Zifan Wang, Piotr Mardziel, Anupam Datta, Matt Fredrikson
2020	J	`jnl`	Interpreting Interpretations: Organizing Attribution Methods by Criteria. CoRR Zifan Wang, Piotr Mardziel, Anupam Datta, Matt Fredrikson
2020	A*	`conf`	Smoothed Geometry for Robust Attribution. NeurIPS Zifan Wang, Haofan Wang, Shakul Ramkumar, Piotr Mardziel, Matt Fredrikson, Anupam Datta
2020	J	`jnl`	Smoothed Geometry for Robust Attribution. CoRR Zifan Wang, Haofan Wang, Shakul Ramkumar, Matt Fredrikson, Piotr Mardziel, Anupam Datta
2020	A*	`conf`	SoK: Differential Privacy as a Causal Property. SP Michael Carl Tschantz, Shayak Sen, Anupam Datta
2020	J	`jnl`	Towards Behavior-Level Explanation for Deep Reinforcement Learning. CoRR Xuan Chen, Zifan Wang, Yucai Fan, Bonan Jin, Piotr Mardziel, Carlee Joe-Wong, Anupam Datta
2019	—	`conf`	Feature-Wise Bias Amplification. ICLR (Poster) Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta
2018	J	`jnl`	Correspondences between Privacy and Nondiscrimination: Why They Should Be Studied Together. CoRR Anupam Datta, Shayak Sen, Michael Carl Tschantz
2018	J	`jnl`	Device microagent for IoT home gateway: a lightweight plug-n-play architecture. SIGBED Rev. Dhiman Chattopadhyay, Abinash Samantaray, Anupam Datta
2018	—	`conf`	Discrimination in Online Personalization: A Multidisciplinary Inquiry. FAT Amit Datta, Anupam Datta, Jael Makagon, Deirdre K. Mulligan, Michael Carl Tschantz
2018	J	`jnl`	Feature-Wise Bias Amplification. CoRR Klas Leino, Matt Fredrikson, Emily Black, Shayak Sen, Anupam Datta
2018	J	`jnl`	Gender Bias in Neural Natural Language Processing. CoRR Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta
2018	A*	`conf`	Hunting for Discriminatory Proxies in Linear Regression Models. NeurIPS Samuel Yeom, Anupam Datta, Matt Fredrikson
2018	J	`jnl`	Hunting for Discriminatory Proxies in Linear Regression Models. CoRR Samuel Yeom, Anupam Datta, Matt Fredrikson
2018	A	`conf`	Influence-Directed Explanations for Deep Convolutional Networks. ITC Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, Linyi Li
2018	J	`jnl`	Influence-Directed Explanations for Deep Convolutional Networks. CoRR Klas Leino, Linyi Li, Shayak Sen, Anupam Datta, Matt Fredrikson
2018	—	`ch.`	Privacy Through Accountability. Encyclopedia of Database Systems (2nd ed.) Anupam Datta
2018	J	`jnl`	Supervising Feature Influence. CoRR Shayak Sen, Piotr Mardziel, Anupam Datta, Matthew Fredrikson
2017	J	`jnl`	Differential Privacy as a Causal Property. CoRR Michael Carl Tschantz, Shayak Sen, Anupam Datta
2017	J	`jnl`	Latent Factor Interpretations for Collaborative Filtering. CoRR Anupam Datta, Sophia Kovaleva, Piotr Mardziel, Shayak Sen
2017	—	`ed.`	Proceedings of the 3rd International Workshop on Privacy Engineering co-located with 38th IEEE Symposium on Security and Privacy, IWPE@SP 2017, San Jose, CA, USA, May 25, 2017. IWPE@SP José M. del Álamo, Seda F. Gürses, Anupam Datta
2017	J	`jnl`	Proxy Non-Discrimination in Data-Driven Systems. CoRR Anupam Datta, Matt Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
2017	A	`conf`	Towards Human Computable Passwords. ITCS Jeremiah Blocki, Manuel Blum, Anupam Datta, Santosh S. Vempala
2017	A*	`conf`	Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. CCS Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
2017	J	`jnl`	Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. CoRR Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
2016	—	`conf`	Accountability in cyber-physical systems. SOSCYPS@CPSWeek Anupam Datta, Soummya Kar, Bruno Sinopoli, Sean Weerakkody
2016	A*	`conf`	Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems. IEEE Symposium on Security and Privacy Anupam Datta, Shayak Sen, Yair Zick
2016	A	`conf`	CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. CSF Jeremiah Blocki, Anupam Datta
2016	A*	`conf`	Differentially Private Password Frequency Lists. NDSS Jeremiah Blocki, Anupam Datta, Joseph Bonneau
2016	J	`jnl`	Differentially Private Password Frequency Lists. IACR Cryptol. ePrint Arch. Jeremiah Blocki, Anupam Datta, Joseph Bonneau
2016	J	`jnl`	Information Flow for Security in Control Systems. CoRR Sean Weerakkody, Bruno Sinopoli, Soummya Kar, Anupam Datta
2016	—	`conf`	Information flow for security in control systems. CDC Sean Weerakkody, Bruno Sinopoli, Soummya Kar, Anupam Datta
2016	J	`jnl`	Report on the NSF Workshop on Formal Methods for Security. CoRR Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016	A*	`conf`	überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. USENIX Security Symposium Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
2015	B	`conf`	A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. RV Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
2015	A	`conf`	A Logic of Programs with Interface-Confined Code. CSF Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2015	A	`conf`	A Methodology for Information Flow Experiments. CSF Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
2015	J	`jnl`	A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen
2015	A*	`conf`	Audit Games with Multiple Defender Resources. AAAI Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
2015	J	`jnl`	Automated Experiments on Ad Privacy Settings. Proc. Priv. Enhancing Technol. Amit Datta, Michael Carl Tschantz, Anupam Datta
2015	J	`jnl`	CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. CoRR Jeremiah Blocki, Anupam Datta
2015	A*	`conf`	Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015	J	`jnl`	Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015	A*	`conf`	Incentivizing Peer Grading in MOOCS: An Audit Game Approach. IJCAI Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick
2015	A*	`conf`	Influence in Classification via Cooperative Game Theory. IJCAI Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick
2015	J	`jnl`	Influence in Classification via Cooperative Game Theory. CoRR Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick
2015	J	`jnl`	Naturally Rehearsing Passwords. IACR Cryptol. ePrint Arch. Jeremiah Blocki, Manuel Blum, Anupam Datta
2015	A	`conf`	Program Actions as Actual Causes: A Building Block for Accountability. CSF Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2015	J	`jnl`	Program Actions as Actual Causes: A Building Block for Accountability. CoRR Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2015	A*	`conf`	Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords. NDSS Jeremiah Blocki, Saranga Komanduri, Lorrie Faith Cranor, Anupam Datta
2015	J	`jnl`	System M: A Program Logic for Code Sandboxing and Identification. CoRR Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2014	J	`jnl`	A Methodology for Information Flow Experiments. CoRR Michael Carl Tschantz, Amit Datta, Anupam Datta, Jeannette M. Wing
2014	J	`jnl`	Audit Games with Multiple Defender Resources. CoRR Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
2014	J	`jnl`	Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination. CoRR Amit Datta, Michael Carl Tschantz, Anupam Datta
2014	A*	`conf`	Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing
2014	J	`jnl`	Human Computable Passwords. CoRR Jeremiah Blocki, Manuel Blum, Anupam Datta
2014	—	`conf`	Power napping with loud neighbors: optimal energy-constrained jamming and anti-jamming. WISEC Bruce DeBruhl, Christian Kroer, Anupam Datta, Tuomas Sandholm, Patrick Tague
2014	Misc	`conf`	Privacy through Accountability: A Computer Science Perspective. ICDCIT Anupam Datta
2014	—	`conf`	Privacy-preserving audit for broker-based health information exchange. CODASPY Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
2014	—	`ed.`	Proceedings of the 13th Workshop on Privacy in the Electronic Society, WPES 2014, Scottsdale, AZ, USA, November 3, 2014 WPES Gail-Joon Ahn, Anupam Datta
2014	J	`jnl`	Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords. CoRR Jeremiah Blocki, Saranga Komanduri, Lorrie Faith Cranor, Anupam Datta
2014	A*	`conf`	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
2014	A*	`conf`	WPES 2014: 13th Workshop on Privacy in the Electronic Society. CCS Gail-Joon Ahn, Anupam Datta
2013	—	`conf`	Adaptive Regret Minimization in Bounded-Memory Games. GameSec Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
2013	J	`jnl`	Audit Games CoRR Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
2013	A*	`conf`	Audit Games. IJCAI Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
2013	A*	`conf`	Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. IEEE Symposium on Security and Privacy Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta
2013	A	`conf`	Differentially private data analysis of social networks via restricted sensitivity. ITCS Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet
2013	J	`jnl`	GOTCHA Password Hackers! CoRR Jeremiah Blocki, Manuel Blum, Anupam Datta
2013	—	`conf`	GOTCHA password hackers! AISec Jeremiah Blocki, Manuel Blum, Anupam Datta
2013	J	`jnl`	Naturally Rehearsing Passwords CoRR Jeremiah Blocki, Manuel Blum, Anupam Datta
2013	—	`conf`	Naturally Rehearsing Passwords. ASIACRYPT (2) Jeremiah Blocki, Manuel Blum, Anupam Datta
2013	C	`conf`	Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
2013	A	`conf`	Purpose Restrictions on Information Use. ESORICS Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2012	—	`conf`	Audit Mechanisms for Provable Risk Management and Accountable Data Governance. GameSec Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
2012	J	`jnl`	Differentially Private Data Analysis of Social Networks via Restricted Sensitivity CoRR Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet
2012	—	`ed.`	Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Formal Aspects in Security and Trust Gilles Barthe, Anupam Datta, Sandro Etalle
2012	A*	`conf`	Formalizing and Enforcing Purpose Restrictions in Privacy Policies. IEEE Symposium on Security and Privacy Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2012	—	`conf`	Parametric Verification of Address Space Separation. POST Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
2012	—	`conf`	Provable De-anonymization of Large Datasets with Sparse Dimensions. POST Anupam Datta, Divya Sharma, Arunesh Sinha
2012	J	`jnl`	The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy CoRR Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet
2012	A*	`conf`	The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy. FOCS Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet
2011	J	`jnl`	A Logical Method for Policy Enforcement over Evolving Audit Logs CoRR Deepak Garg, Limin Jia, Anupam Datta
2011	J	`jnl`	Adaptive Regret Minimization in Bounded-Memory Games CoRR Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
2011	—	`conf`	Audit Mechanisms for Privacy Protection in Healthcare Environments. HealthSec Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
2011	J	`jnl`	Formal Verification of Differential Privacy for Interactive Systems CoRR Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
2011	B	`conf`	Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). MFPS Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
2011	J	`jnl`	On Adversary Models and Compositional Security. IEEE Secur. Priv. Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
2011	J	`jnl`	On the Semantics of Purpose Requirements in Privacy Policies CoRR Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
2011	A*	`conf`	Policy auditing over incomplete logs: theory, implementation and applications. CCS Deepak Garg, Limin Jia, Anupam Datta
2011	—	`ch.`	Protocol Composition Logic. Formal Models and Techniques for Analyzing Security Protocols Anupam Datta, John C. Mitchell, Arnab Roy, Stephan Hyeonjun Stiller
2011	A	`conf`	Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection. CSF Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
2011	Misc	`conf`	Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
2010	—	`book`	Analysis Techniques for Information Security Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps
2010	B	`conf`	Compositional System Security with Interface-Confined Adversaries. MFPS Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta
2010	—	`conf`	Distributed programming with distributed authorization. TLDI Kumar Avijit, Anupam Datta, Robert Harper
2010	—	`conf`	Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
2010	J	`jnl`	Inductive trace properties for computational security. J. Comput. Secur. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2010	J	`jnl`	Logical Methods in Security and Privacy. IEEE Secur. Priv. Anupam Datta
2010	—	`conf`	Privacy Challenges in Patient-centric Health Information Systems. HealthSec Anupam Datta, Nipun Dave, John C. Mitchell, Helen Nissenbaum, Divya Sharma
2010	A*	`conf`	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri
2010	A*	`conf`	TrustVisor: Efficient TCB Reduction and Attestation. IEEE Symposium on Security and Privacy Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig
2009	A*	`conf`	A Logic of Secure Systems and its Application to Trusted Computing. SP Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar
2009	A	`conf`	ASPIER: An Automated Framework for Verifying Security Protocol Implementations. CSF Sagar Chaki, Anupam Datta
2009	—	`ed.`	Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings ASIAN Anupam Datta
2008	J	`jnl`	On the Relationships between Notions of Simulation-Based Security. J. Cryptol. Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan
2007	—	`conf`	Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC Arnab Roy, Anupam Datta, John C. Mitchell
2007	J	`jnl`	Inductive Proof Method for Computational Secrecy. IACR Cryptol. ePrint Arch. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007	A	`conf`	Inductive Proofs of Computational Secrecy. ESORICS Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2007	A	`conf`	Privacy and Utility in Business Processes. CSF Adam Barth, John C. Mitchell, Anupam Datta, Sharada Sundaram
2007	—	`conf`	Protocol Composition Logic (PCL). Computation, Meaning, and Logic Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
2006	J	`jnl`	Compositional analysis of contract-signing protocols. Theor. Comput. Sci. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2006	—	`conf`	Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2006	B	`conf`	Games and the Impossibility of Realizable Ideal Functionality. TCC Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
2006	J	`jnl`	Inductive Trace Properties for Computational Security. IACR Cryptol. ePrint Arch. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
2006	J	`jnl`	Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptol. ePrint Arch. Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2006	J	`jnl`	On the Relationships Between Notions of Simulation-Based Security. IACR Cryptol. ePrint Arch. Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2006	—	`conf`	Privacy and Contextual Integrity: Framework and Applications. S&P Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum
2006	—	`conf`	Secrecy Analysis in Protocol Composition Logic. ASIAN Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
2005	J	`jnl`	A derivation system and compositional logic for security protocols. J. Comput. Secur. Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2005	A*	`conf`	A modular correctness proof of IEEE 802.11i and TLS. CCS Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell
2005	—	`conf`	Compositional Analysis of Contract Signing Protocols. CSFW Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2005	J	`jnl`	Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptol. ePrint Arch. Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
2005	B	`conf`	On the Relationships Between Notions of Simulation-Based Security. TCC Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
2005	A*	`conf`	Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
2005	—	`—`	Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations. Anupam Datta
2004	—	`conf`	Abstraction and Refinement in Protocol Derivation. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	A Derivation System for Security Protocols and its Logical Formalization. CSFW Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	B	`conf`	Secure Protocol Composition. MFPS Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2003	—	`conf`	Secure protocol composition. FMSE Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
2002	—	`conf`	Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. ASP-DAC/VLSI Design Anupam Datta, Sidharth Choudhury, Anupam Basu
2001	Misc	`conf`	Information Retrieval Using UMLS-based Structured Queries. AMIA Lawrence M. Fagan, Daniel C. Berrios, Albert Chan, Russell J. Cucina, Anupam Datta, Maulik K. Shah, Sujith Surendran
2001	Misc	`conf`	Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique. VLSI Design Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil D. Dutt