Search Sciweavers | Sciweavers

300 search results - page 2 / 60

» Formal Methods for Smartcard Security

182

click to vote

WISA
2009
Springer

222views Security Privacy» more WISA 2009»

EM Side-Channel Attacks on Commercial Contactless Smartcards Using Low-Cost Equipment

15 years 9 months ago

Download www.crypto.rub.de

We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identication Devices (RFID) and develop techniques for facilitating a correlatio...

Timo Kasper, David Oswald, Christof Paar

claim paper

Read More »

167

click to vote

EMSOFT
2004
Springer

120views Software Engineering» more EMSOFT 2004»

A model-based approach to integrating security policies for embedded devices

15 years 10 months ago

Download www.cis.upenn.edu

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...

Michael McDougall, Rajeev Alur, Carl A. Gunter

claim paper

Read More »

138

click to vote

CCS
2007
ACM

159views Security Privacy» more CCS 2007»

Universally composable and forward-secure RFID authentication and authenticated key exchange

15 years 11 months ago

Download www.cs.fsu.edu

Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...

Tri Van Le, Mike Burmester, Breno de Medeiros

claim paper

Read More »

135

click to vote

ISSE
2010

128views Security Privacy» more ISSE 2010»

Formal methods integration in software engineering

15 years 3 months ago

Download www.artist-embedded.org

Isabelle Perseil, Laurent Pautet

claim paper