300 search results - page 8 / 60 » Formal Methods for Smartcard Security |
83
Voted
GLVLSI
2007
IEEE
15 years 4 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...
64
Voted
FM
2003
Springer
15 years 3 months ago
2003
Springer
85
Voted
ENTCS
2006
14 years 10 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
15 years 4 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
15 years 3 months 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...