Using automated model analysis for reasoning about security of web protocols
- Apurva Kumar
- 2012
- ACSAC 2012
Publications
Date
Featured collections
Popular topics
3 results for Apurva Kumar
Managing trust and secrecy in identity management clouds
- Apurva Kumar
- 2012
- CCS 2012
Double-blind consent-driven data sharing on blockchain
- Kumar Bhaskaran
- Peter Ilfrich
- et al.
- 2018
- IC2E 2018