Results 41 to 48 of about 488 (48)
An Application Specific Processor for Enhancing Dictionary Compression in Java Card Environment
, 2015 Massimiliano Zilli +4 more
openalex +1 more source
Java Card Virtual Machine Compromising from a Bytecode Verified Applet
, 2016 Julien Lancia, Guillaume Bouffard
openalex +2 more sources
Uma implantação de criptografia de curvas elipticas no Java Card
, 2002 Danival Taffarel Calegari
openalex +1 more source
Guaranteeing Correctness Properties of a Java Card Applet
, 2005 Lars‐Åke Fredlund
openalex +1 more source
A Generic Approach for Protecting Java Card™ Smart Card Against Software Attacks
, 2014 École Doctorale, Guillaume Bouffard
openalex +1 more source
Verification of cryptographic protocols implemented in Java Card
, 2003 Renaud Marlet, Daniel Le Métayer
openalex +1 more source
Enforcing Portability and Security Policies on Java Card Applications
, 2003 Éric Vétillard, Renaud Marlet
openalex +1 more source