Anupam Datta

Available identifiers

Publication	Date of Publication	Type
Fairness Under Feature Exemptions: Counterfactual and Observational Measures	2022-02-17	Paper
Prime Sums	2021-11-01	Paper
Gender bias in neural natural language processing	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4638058	2018-05-03	Paper
Differentially private data analysis of social networks via restricted sensitivity	2017-05-16	Paper
Formal verification of differential privacy for interactive systems (extended abstract)	2016-07-15	Paper
Compositional system security with interface-confined adversaries	2016-07-08	Paper
Secure protocol composition	2016-05-03	Paper
Adaptive Regret Minimization in Bounded-Memory Games	2014-09-15	Paper
Naturally rehearsing passwords	2013-12-10	Paper
Protocol composition logic (PCL)	2013-12-06	Paper
Audit Mechanisms for Provable Risk Management and Accountable Data Governance	2013-03-13	Paper
Parametric verification of address space separation	2012-06-29	Paper
Provable de-anonymization of large datasets with sparse dimensions	2012-06-29	Paper
On the relationships between notions of simulation-based security	2009-06-08	Paper
Inductive Proofs of Computational Secrecy	2008-08-21	Paper
Theory of Cryptography	2007-02-12	Paper
Compositional analysis of contract-signing protocols	2007-01-09	Paper
Automata, Languages and Programming	2006-01-10	Paper
Theory of Cryptography	2005-12-07	Paper

This page was built for person: Anupam Datta