Sciweavers

137 search results - page 5 / 28
» Memories: A Survey of Their Secure Uses in Smart Cards
Sort
View
ESMART
2001
Springer
14 years 7 days ago
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels
Yves Deswarte, Noreddine Abghour, Vincent Nicomett...
SPE
2002
154views more  SPE 2002»
13 years 7 months ago
Bytecode verification on Java smart cards
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the byteco...
Xavier Leroy
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
13 years 12 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
IADIS
2003
13 years 9 months ago
Enhance Opensst Protocol's Security with Smart Card
As an open source project, Open Simple Secure Transaction (OpenSST) protocol aims to be a secure and transactionoriented protocol for the unsecured network. At present a prototype...
Xinhua Zhang, Alexandre Dulaunoy, Christoph Meinel
FPL
2006
Springer
219views Hardware» more  FPL 2006»
13 years 11 months ago
FPGA Implementations of the DES and Triple-DES Masked Against Power Analysis Attacks
This paper presents FPGA implementations of the DES and Triple-DES with improved security against power analysis attacks. The proposed designs use Boolean masking, a previously in...
François-Xavier Standaert, Gaël Rouvro...