Using automated model analysis for reasoning about security of web protocols
- Apurva Kumar
- 2012
- ACSAC 2012
Publications
Date
Featured collections
Popular topics
2 results at ACSAC 2012
Biometric authentication on a mobile device: A study of user effort, error and task disruption
- Shari Trewin
- Cal Swart
- et al.
- 2012
- ACSAC 2012