405 search results - page 15 / 81 » Practice-Oriented Provable Security |
CHES
2006
Springer
13 years 11 months ago
2006
Springer
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
ICALP
2004
Springer
14 years 27 days ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
ICCNMC
2005
Springer
14 years 1 months ago
2005
Springer
MYCRYPT
2005
Springer
14 years 1 months ago
2005
Springer
