Sciweavers

2303 search results - page 6 / 461
» The Cryptographic Abstract Machine
Sort
View
ECML
1995
Springer
13 years 11 months ago
Simplifying Decision Trees by Pruning and Grafting: New Results (Extended Abstract)
Floriana Esposito, Donato Malerba, Giovanni Semera...
MATA
2004
Springer
113views Communications» more  MATA 2004»
14 years 22 days 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 ...
JCS
2006
91views more  JCS 2006»
13 years 7 months ago
A survey of algebraic properties used in cryptographic protocols
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
Véronique Cortier, Stéphanie Delaune...