Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/esmart/esmart2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/esmart/BartheDHS01,
author = {Gilles Barthe and
Guillaume Dufay and
Marieke Huisman and
Sim{\~{a}}o Melo de Sousa},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Jakarta: {A} Toolset for Reasoning about JavaCard},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {2--18},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_2},
doi = {10.1007/3-540-45418-7\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/BartheDHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/Bella01,
author = {Giampaolo Bella},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Mechanising a Protocol for Smart Cards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {19--33},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_3},
doi = {10.1007/3-540-45418-7\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/Bella01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/CampoMGDBDG01,
author = {Celeste Campo and
Andr{\'{e}}s Mar{\'{\i}}n L{\'{o}}pez and
Arturo Garc{\'{\i}}a and
Ignacio D{\'{\i}}az and
Peter T. Breuer and
Carlos Delgado Kloos and
Carlos Garc{\'{\i}}a},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {{JCCM:} Flexible Certificates for Smartcards with Java Card},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {34--42},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_4},
doi = {10.1007/3-540-45418-7\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/CampoMGDBDG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/CaromelHS01,
author = {Denis Caromel and
Ludovic Henrio and
Bernard P. Serpette},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Context Inference for Static Analysis of Java Card Object Sharing},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {43--57},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_5},
doi = {10.1007/3-540-45418-7\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/CaromelHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/ClarkeJRZ01,
author = {Duncan Clarke and
Thierry J{\'{e}}ron and
Vlad Rusu and
Elena Zinovieva},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Automated Test and Oracle Generation for Smart-Card Applications},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {58--70},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_6},
doi = {10.1007/3-540-45418-7\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/ClarkeJRZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/DeswarteANP01,
author = {Yves Deswarte and
Noreddine Abghour and
Vincent Nicomette and
David Powell},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {An Internet Authorization Scheme Using Smart-Card-Based Security Kernels},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {71--82},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_7},
doi = {10.1007/3-540-45418-7\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/DeswarteANP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/DonsezJLT01,
author = {Didier Donsez and
S{\'{e}}bastien Jean and
Sylvain Lecomte and
Olivier Thomas},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Turning Multi-applications Smart Cards Services Available from Anywhere
at Anytime: {A} {SOAP} / {MOM} Approach in the Context of Java Cards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {83--94},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_8},
doi = {10.1007/3-540-45418-7\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/DonsezJLT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/EluardJD01,
author = {Marc {\'{E}}luard and
Thomas P. Jensen and
Ewen Denney},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {An Operational Semantics of the Java Card Firewall},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {95--110},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_9},
doi = {10.1007/3-540-45418-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/EluardJD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/GoreN01,
author = {Rajeev Gor{\'{e}} and
Phuong Th{\^{e}} Nguy{\^{e}}n},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {CardS4: Modal Theorem Proving on Java Smartcards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {111--123},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_10},
doi = {10.1007/3-540-45418-7\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/GoreN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/HendersonWH01,
author = {Neil James Henderson and
Neil M. White and
Pieter H. Hartel},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {iButton Enrolment and Verification Requirements for the Pressure Sequence
Smartcard Biometric},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {124--134},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_11},
doi = {10.1007/3-540-45418-7\_11},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/HendersonWH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/KehrM01,
author = {Roger Kehr and
Hendrik Mieves},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {SIMspeak - Towards an Open and Secure Application Platform for {GSM}
SIMs},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {135--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_12},
doi = {10.1007/3-540-45418-7\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/KehrM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/Leroy01,
author = {Xavier Leroy},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {On-Card Bytecode Verification for Java Card},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {150--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_13},
doi = {10.1007/3-540-45418-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/Leroy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/MeijerP01,
author = {Hans Meijer and
Erik Poll},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Towards a Full Formal Specification of the JavaCard {API}},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {165--178},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_14},
doi = {10.1007/3-540-45418-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/MeijerP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/MeisterV01,
author = {Gisela Meister and
Michael Vogel},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Protection Profiles and Generic Security Targets for Smart Cards as
Secure Signature Creation Devices - Existing Solutions for the Payment
Sector},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {179--187},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_15},
doi = {10.1007/3-540-45418-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/MeisterV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/MontgomeryK01,
author = {Michael Montgomery and
Ksheerabdhi Krishna},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {A Flexible Invocation Framework for Java Card},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {188--199},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_16},
doi = {10.1007/3-540-45418-7\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/MontgomeryK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/Moore01,
author = {Simon W. Moore},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Protecting Consumer Security Devices},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {1},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_1},
doi = {10.1007/3-540-45418-7\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/Moore01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/QuisquaterS01,
author = {Jean{-}Jacques Quisquater and
David Samyde},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {ElectroMagnetic Analysis {(EMA):} Measures and Counter-Measures for
Smart Cards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {200--210},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_17},
doi = {10.1007/3-540-45418-7\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/QuisquaterS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/RomerS01,
author = {Tanja R{\"{o}}mer and
Jean{-}Pierre Seifert},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Information Leakage Attacks against Smart Card Implementations of
the Elliptic Curve Digital Signature Algorithm},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {211--219},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_18},
doi = {10.1007/3-540-45418-7\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/RomerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/Struif01,
author = {Bruno Struif},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Use of Biometrics for User Verification in Electronic Signature Smartcards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {220--227},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_19},
doi = {10.1007/3-540-45418-7\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/Struif01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/Urien01,
author = {Pascal Urien},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Programming Internet Smartcard with {XML} Scripts},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {228--241},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_20},
doi = {10.1007/3-540-45418-7\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esmart/Urien01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/YamamotoKMY01,
author = {Hideo Yamamoto and
Tetsutaro Kobayashi and
Masahiro Morita and
Ryuji Yamada},
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Public-Key-Based High-Speed Payment (Electronic Money) System Using
Contact-Less Smart Cards},
booktitle = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
pages = {242--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7\_21},
doi = {10.1007/3-540-45418-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/YamamotoKMY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esmart/2001,
editor = {Isabelle Attali and
Thomas P. Jensen},
title = {Smart Card Programming and Security, International Conference on Research
in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2140},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45418-7},
doi = {10.1007/3-540-45418-7},
isbn = {3-540-42610-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esmart/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 07:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
