300 search results - page 8 / 60 » Formal Methods for Smartcard Security |
GLVLSI
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose a new design methodology to assess the risk for side-channel attacks, more specifically timing analysis and simple power analysis, at an early design st...
FM
2003
Springer
14 years 23 days ago
2003
Springer
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Most e-government applications have to find a solution for simple, reliable, secure and authentic signing of official documents. Citizens need a simple way to verify ...
AMAST
2004
Springer
14 years 28 days ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...