Search results for "E-smart"

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

Publications at "E-smart"( http://dblp.L3S.de/Venues/E-smart )