Sciweavers

31387 search results - page 117 / 6278
» Abstracts
Sort
View
CRYPTO
2009
Springer
113views Cryptology» more  CRYPTO 2009»
15 years 9 months ago
Abstraction in Cryptography
ion in Cryptography Ueli Maurer ETH Zurich CRYPTO 2009, August 19, 2009
Ueli M. Maurer
FM
2009
Springer
105views Formal Methods» more  FM 2009»
15 years 9 months ago
Three-Valued Spotlight Abstractions
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch