300 search results - page 2 / 60 » Formal Methods for Smartcard Security |
116
Voted
WISA
2009
Springer
15 years 2 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
91
Voted
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
77
Voted
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
74
Voted
ISSE
2010
14 years 8 months ago
2010
164
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer