A Formalization of Strong Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer. A Formalization of Strong Security. Archive of Formal Proofs, 2014, 2014. [doi]

This author has not been identified. Look up 'Sylvia Grewe' in GoogleThis author has not been identified. Look up 'Alexander Lux' in GoogleThis author has not been identified. Look up 'Heiko Mantel' in GoogleThis author has not been identified. Look up 'Jens Sauer' in Google

runs on WebDSL