STASH: Securing Transparent Authentication Schemes Using Prover-Side Proximity Verification.
Mika JuutiChristian VaasIvo SluganovicHans LiljestrandN. AsokanIvan MartinovicPublished in: SECON (2017)
Keyphrases
- integrity verification
- identity management
- multimodal biometrics
- signature verification
- theorem proving
- theorem prover
- model checking
- face verification
- information security
- user authentication
- image authentication
- biometric authentication
- identity authentication
- graphical password
- security analysis
- formal methods
- verification method
- data encryption
- key agreement
- access control