|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 20 keywords
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Context Inference for Static Analysis of Java Card Object Sharing. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
security, static analysis, objects, type inference, Java Card |
1 | Jean-Jacques Quisquater, David Samyde |
ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
electromagnetic and power analysis, DPA, smartcard, SPA, tamper resistance, DEMA, SEMA |
1 | Roger Kehr, Hendrik Mieves |
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Montgomery, Ksheerabdhi Krishna |
A Flexible Invocation Framework for Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hans Meijer, Erik Poll |
Towards a Full Formal Specification of the JavaCard API. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell |
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Simon W. Moore |
Protecting Consumer Security Devices. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García |
JCCM: Flexible Certificates for Smartcards with Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tanja Römer, Jean-Pierre Seifert |
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
successive minimum, Cryptanalysis, side-channel-attacks, Lattice, ECDSA, Lattice basis reduction, LLL |
1 | Bruno Struif |
Use of Biometrics for User Verification in Electronic Signature Smartcards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Attali, Thomas P. Jensen (eds.) |
Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
On-Card Bytecode Verification for Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Phuong Thê Nguyên |
CardS4: Modal Theorem Proving on Java Smartcards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
security of mobile code, modal deduction |
1 | Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada |
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva |
Automated Test and Oracle Generation for Smart-Card Applications. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Urien |
Programming Internet Smartcard with XML Scripts. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marc Éluard, Thomas P. Jensen, Ewen Denney |
An Operational Semantics of the Java Card Firewall. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Neil James Henderson, Neil M. White, Pieter H. Hartel |
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Didier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas |
Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP / MOM Approach in the Context of Java Cards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giampaolo Bella |
Mechanising a Protocol for Smart Cards. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
smart card protocols, Inductive Approach, authentication, confidentiality, key distribution |
1 | Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa |
Jakarta: A Toolset for Reasoning about JavaCard. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gisela Meister, Michael Vogel |
Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|