default search action
Search dblp for Publications
export results for "toc:db/conf/esmart/esmart2001.bht:"
@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} }
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.