| Publication | Date of Publication | Type |
|---|
Equivariant KK-theory and model categories
Journal of Functional Analysis | 2026-04-21 | Paper |
A higher categorical approach to graded bivariant K-theories for Real C^*-algebras
(available as arXiv preprint) | 2026-01-01 | Paper |
| The Johnson-Lindenstrauss transform itself preserves differential privacy | 2025-05-05 | Paper |
Equivariant KK-theory and model categories
(available as arXiv preprint) | 2025-01-01 | Paper |
The spectral model of (Real) K-theory
(available as arXiv preprint) | 2024-01-01 | Paper |
Fairness Under Feature Exemptions: Counterfactual and Observational Measures
IEEE Transactions on Information Theory | 2022-02-17 | Paper |
| Prime Sums | 2021-11-01 | Paper |
Gender bias in neural natural language processing
(available as arXiv preprint) | 2021-07-08 | Paper |
Prime Sums
(available as arXiv preprint) | 2021-01-01 | Paper |
scientific article; zbMATH DE number 6866300 (Why is no real title available?)
(available as arXiv preprint) | 2018-05-03 | Paper |
Differentially private data analysis of social networks via restricted sensitivity
Proceedings of the 4th conference on Innovations in Theoretical Computer Science | 2017-05-16 | Paper |
Formal verification of differential privacy for interactive systems (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Compositional system security with interface-confined adversaries
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| Secure protocol composition | 2016-05-03 | Paper |
Adaptive Regret Minimization in Bounded-Memory Games
Lecture Notes in Computer Science | 2014-09-15 | Paper |
Adaptive Regret Minimization in Bounded-Memory Games
Lecture Notes in Computer Science | 2014-09-15 | Paper |
Naturally rehearsing passwords
Advances in Cryptology - ASIACRYPT 2013 | 2013-12-10 | Paper |
Protocol composition logic (PCL)
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Audit Mechanisms for Provable Risk Management and Accountable Data Governance
Lecture Notes in Computer Science | 2013-03-13 | Paper |
Parametric verification of address space separation
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Provable de-anonymization of large datasets with sparse dimensions
Lecture Notes in Computer Science | 2012-06-29 | Paper |
On the relationships between notions of simulation-based security
Journal of Cryptology | 2009-06-08 | Paper |
Inductive Proofs of Computational Secrecy
Computer Security – ESORICS 2007 | 2008-08-21 | Paper |
Theory of Cryptography
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Compositional analysis of contract-signing protocols
Theoretical Computer Science | 2007-01-09 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory of Cryptography
Lecture Notes in Computer Science | 2005-12-07 | Paper |
