Sciweavers

2432 search results - page 5 / 487
» Cryptographic logical relations
Sort
View
FROCOS
2005
Springer
15 years 3 months ago
Logical Analysis of Hash Functions
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
Dejan Jovanovic, Predrag Janicic
MATA
2004
Springer
113views Communications» more  MATA 2004»
15 years 3 months ago
PEARL: A PErformance evaluAtor of cRyptographic aLgorithms for Mobile Devices
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
José Bringel Filho, Windson Viana, Rossana ...
RSCTC
1998
Springer
118views Fuzzy Logic» more  RSCTC 1998»
15 years 2 months ago
Preimage Relations and Their Matrices
Jouni Järvinen