The following pages link to Anupam Datta (Q276484):
Displaying 19 items.
- Secure protocol composition (Q276488) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- Gender bias in neural natural language processing (Q2038005) (← links)
- Protocol Composition Logic (PCL) (Q2864155) (← links)
- Naturally Rehearsing Passwords (Q2867165) (← links)
- Parametric Verification of Address Space Separation (Q2894314) (← links)
- Provable De-anonymization of Large Datasets with Sparse Dimensions (Q2894325) (← links)
- Differentially private data analysis of social networks via restricted sensitivity (Q2986861) (← links)
- Compositional System Security with Interface-Confined Adversaries (Q3178245) (← links)
- Adaptive Regret Minimization in Bounded-Memory Games (Q3190039) (← links)
- Inductive Proofs of Computational Secrecy (Q3521245) (← links)
- (Q4638058) (← links)
- Audit Mechanisms for Provable Risk Management and Accountable Data Governance (Q4909428) (← links)
- Fairness Under Feature Exemptions: Counterfactual and Observational Measures (Q5032529) (← links)
- Theory of Cryptography (Q5711659) (← links)
- Automata, Languages and Programming (Q5716777) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Theory of Cryptography (Q5898364) (← links)
