The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/esmart

Publication years (Num. hits)
2001 (22)
Publication types (Num. hits)
inproceedings(21) proceedings(1)
Venues (Conferences, Journals, ...)
E-smart(22)
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
1Denis Caromel, Ludovic Henrio, Bernard P. Serpette Context Inference for Static Analysis of Java Card Object Sharing. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF security, static analysis, objects, type inference, Java Card
1Jean-Jacques Quisquater, David Samyde ElectroMagnetic Analysis (EMA): Measures and Counter-Measures for Smart Cards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF electromagnetic and power analysis, DPA, smartcard, SPA, tamper resistance, DEMA, SEMA
1Roger Kehr, Hendrik Mieves SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Montgomery, Ksheerabdhi Krishna A Flexible Invocation Framework for Java Card. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hans Meijer, Erik Poll Towards a Full Formal Specification of the JavaCard API. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell An Internet Authorization Scheme Using Smart-Card-Based Security Kernels. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Simon W. Moore Protecting Consumer Security Devices. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Celeste 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. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tanja Römer, Jean-Pierre Seifert Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF successive minimum, Cryptanalysis, side-channel-attacks, Lattice, ECDSA, Lattice basis reduction, LLL
1Bruno Struif Use of Biometrics for User Verification in Electronic Signature Smartcards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Isabelle 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 Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Xavier Leroy On-Card Bytecode Verification for Java Card. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Phuong Thê Nguyên CardS4: Modal Theorem Proving on Java Smartcards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF security of mobile code, modal deduction
1Hideo Yamamoto, Tetsutaro Kobayashi, Masahiro Morita, Ryuji Yamada Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva Automated Test and Oracle Generation for Smart-Card Applications. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pascal Urien Programming Internet Smartcard with XML Scripts. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marc Éluard, Thomas P. Jensen, Ewen Denney An Operational Semantics of the Java Card Firewall. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Neil James Henderson, Neil M. White, Pieter H. Hartel iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Didier 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. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Giampaolo Bella Mechanising a Protocol for Smart Cards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF smart card protocols, Inductive Approach, authentication, confidentiality, key distribution
1Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa Jakarta: A Toolset for Reasoning about JavaCard. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gisela Meister, Michael Vogel Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license