Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
141 | Kerry Trentelman |
Proving Correctness of JavaCard DL Taclets using Bali. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 160-169, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
84 | Hans Meijer, Erik Poll |
Towards a Full Formal Specification of the JavaCard API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E-smart ![In: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, pp. 165-178, 2001, Springer, 3-540-42610-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
84 | Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa |
Jakarta: A Toolset for Reasoning about JavaCard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E-smart ![In: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, pp. 2-18, 2001, Springer, 3-540-42610-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
75 | Joachim van den Berg, Bart Jacobs 0001, Erik Poll |
Formal Specification and Verification of JavaCard's Application Identifier Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 137-150, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
68 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand |
Safety Property Driven Test Generation from. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 225-239, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language |
68 | Stelvio Cimato |
Design of an Authentication Protocol for Gsm Javacards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2001, 4th International Conference Seoul, Korea, December 6-7, 2001, Proceedings, pp. 355-368, 2001, Springer, 3-540-43319-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Javacard, E-commerce and M- commerce security, Authentication protocol |
66 | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa |
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 32-45, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Anas Abou El Kalam, Yves Deswarte |
Privacy Requirements Implemented with a JavaCard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA, pp. 527-536, 2005, IEEE Computer Society, 0-7695-2461-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of the JavaCard Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 41-59, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa |
A Formal Executable Semantics of the JavaCard Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 302-319, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Kurt Dietrich, Johannes Winter |
Implementation Aspects of Mobile and Embedded Trusted Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST ![In: Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings, pp. 29-44, 2009, Springer, 978-3-642-00586-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile Trusted Computing, MTMs, ARM TrustZone, Secure Element, JavaCard |
28 | Lukás Zaoral, Antonin Dufka, Petr Svenda |
The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers, pp. 169-189, 2023, Springer, 978-3-031-54408-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Adel Djoudi, Martin Hána, Nikolai Kosmatov |
Formal Verification of a JavaCard Virtual Machine with Frama-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 427-444, 2021, Springer, 978-3-030-90869-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Vasilios Mavroudis, Petr Svenda |
JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P Workshops ![In: IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020, pp. 89-96, 2020, IEEE, 978-1-7281-8597-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Miray Tosun, Geylani Kardas |
DSL4JavaCard: JavaCard Platformu İçin Bir Alana Özgü Dil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UYMS ![In: Proceedings of the 9th Turkish National Software Engineering Symposium, Yasar University, Izmir, Turkey, September, 9-11, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Jakub Breier, Adam Pomothy |
Qualified Electronic Signature via SIM Card Using JavaCard 3 Connected Edition Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Ninth International Conference on Availability, Reliability and Security, ARES 2014, Fribourg, Switzerland, September 8-12, 2014, pp. 349-355, 2014, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Marc Pasquet, Ndiaga Faye, Global Platform |
Multi-service card for students using JavaCard Global Platform and IAS Specifications The access control use case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTS ![In: 2013 International Conference on Collaboration Technologies and Systems, CTS 2013, San Diego, CA, USA, May 20-24, 2013, pp. 185-190, 2013, IEEE, 978-1-4673-6403-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Jinyoung Moon, Jongyoul Park, Eui Hyun Paik |
JavaCard-based Two-Level User Key Management for IP Conditional Access Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICON ![In: Proceedings of the 15th IEEE International Conference on Networks, ICON 2007, 19-21 November 2007, Adelaide, Australia, pp. 72-76, 2007, IEEE, 1-4244-1230-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Antonio Maña, Antonio Muñoz 0001 |
Trusted Code Execution in JavaCard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business, 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 269-279, 2007, Springer, 978-3-540-74408-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Hedin, David Sands 0001 |
Timing Aware Information Flow Security for a JavaCard-like Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 163-182, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ching-Cheng Lee, Sudeshna Ghosh |
A Component-Based Approach for JavaCard Runtime System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 274-282, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Claude Marché, Christine Paulin-Mohring, Xavier Urbain |
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 58(1-2), pp. 89-106, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Richard Bubel, Andreas Roth 0002, Philipp Rümmer |
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFM@IJCAR ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004, pp. 107-128, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Gilles Barthe, Sorin Stratulat |
Validation of the JavaCard Platform with Implicit Induction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 337-351, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov |
Model Checking of Multi-Applet JavaCard Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS '02, November 21-22, 2002, San Jose, CA, USA, pp. 87-96, 2002, USENIX, 1-931971-04-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Clemens H. Cap, Nico Maibaum, Lars Heyden |
JavaCard-kontrollierter, sicherer Zugriff auf persönliche Dokumente und Berechtigungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30 - October 3, 2002, pp. 433-436, 2002, GI, 3-88579-348-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Erik Poll, Joachim van den Berg, Bart Jacobs 0001 |
Formal specification of the JavaCard API in JML: the APDU class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 36(4), pp. 407-421, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bart Jacobs 0001 |
JavaCard Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings, pp. 1-3, 2001, Springer, 3-540-42525-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Derek W. M. Sin, Henry C. B. Chan |
JOBS: Javacard-based Online-ticket Booking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW Posters ![In: Poster Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Markus Wenderoth, Dennis Wörmann |
Development of an European-Wide Citizen Javacard to Support Administrative Processes by the Use of the Electronic Signature and the Biometric Fingerprint Sensor - A case study of legal implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E ![In: Towards The E-Society: E-Commerce, E-Business, and E-Government, The First IFIP Conference on E-Commerce, E-Business, E-Government (I3E 2001), October 3-5, Zürich, Switzerland, pp. 817-830, 2001, Kluwer, 0-7923-7529-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Isabelle Attali, Thomas P. Jensen (eds.) |
Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card ![Springer, 3-540-42167-X The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Erik Poll, Joachim van den Berg, Bart Jacobs 0001 |
Specification of the JavaCard API in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK, pp. 135-154, 2000, Kluwer, 0-7923-7953-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Li Huang Ng, Daniel T. H. Tan |
A novel JavaCard-based authentication system for secured transactions on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICON ![In: Proceedings of the IEEE International Conference on Networks 2000: Networking Trends and Challenges in the New Millennium, ICON 2000, Singapore, September 5-8, 2000, pp. 262-266, 2000, IEEE, 0-7695-0777-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Li Huang Ng, Peng Bo Liu, Daniel T. H. Tan |
RSAS - A Novel JavaCard-based Authentication System for Secured Transactions on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Internet Computing ![In: Proceedings of the International Conference on Internet Computing, IC'2000, Las Vegas, Nevada, USA, June 26-29, 2000, pp. 411-418, 2000, CSREA Press, 1-892512-65-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Rajeev Goré, Lan Duy Nguyen |
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 38-51, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics |
28 | Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux |
Formal Methods in Context: Security and Java Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 1-5, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Hugues Martin, Lydie du Bousquet |
Automatic Test Generation for Java-Card Applets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 121-136, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Bernhard Beckert |
A Dynamic Logic for the Formal Verification of Java Card Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 6-24, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Marc Kekicheff, Forough Kashef, David Brewer |
Open Platform Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 98-113, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Pieter H. Hartel, Eduard de Jong |
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 52-72, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 25-37, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Ksheerabdhi Krishna, Michael Montgomery |
A Simple(r) Interface Distribution Mechanism for Java Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 114-120, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Roger Kehr, Michael Rohs, Harald Vogt |
Issues in Smartcard Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 90-97, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman |
Secure Internet Smartcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 73-89, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Rüdiger Weis, Bastiaan Bakker, Stefan Lucks |
Security on Your Hand: Secure Filesystems with a "Non-Cryptographic" JAVA-Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 151-162, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
i-Button, Remotely Keyed Encryption, tamper proof |
28 | Michael Baentsch, Peter Buhler, Thomas Eirich, Frank Höring, Marcus Oestreicher |
JavaCard-from hype to reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Concurr. ![In: IEEE Concurr. 7(4), pp. 36-43, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Stefan Fünfrocken, Friedemann Mattern, Marie-Luise Moschgath |
Die JavaCard als Programmier- und Ausführungsplattform für verteilte Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java-Informations-Tage ![In: JIT '99, Java-Informations-Tage 1999, Düsseldorf 20./21. September 1999, pp. 100-109, 1999, Springer, 3-540-66464-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 165-180, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas |
The Trusted Execution Module: Commodity General-Purpose Trusted Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications, 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings, pp. 133-148, 2008, Springer, 978-3-540-85892-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Geylani Kardas, Ebru Celikel |
A Smart Card Mediated Mobile Platform for Secure E-Mail Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 925-928, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach |
Retrenchment Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 259, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Pascal Urien, Mesmin Dandjinou |
The OpenEapSmartcard platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Net-Con ![In: Network Control and Engineering for QoS, Security and Mobility, IV, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005, Proceedings, pp. 75-86, 2005, Springer, 978-0-387-49689-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
javacards, Security, WLAN, smartcards |
19 | John P. Papanis, Sofia Kapellaki, Eleftherios Koutsoloukas, Nikolaos L. Dellas, George N. Prezerakos, Iakovos S. Venieris |
Facilitating Context-Awareness Through Hardware Personalization Devices: The Simplicity Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobility Aware Technologies and Applications, Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005, Proceedings, pp. 252-262, 2005, Springer, 3-540-29410-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Christian Hammer 0001, Gregor Snelting |
An improved slicer for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 17-22, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object trees, static program slicing, Java |
19 | Jesudoss Venkatraman, Vijay Raghavan 0004, Debabrata Das, Asoke K. Talukder |
Trust and Security Realization for Mobile Users in GSM Cellular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AACC ![In: Applied Computing, Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings, pp. 302-309, 2004, Springer, 3-540-23659-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Barthe, Guillaume Dufay |
A Tool-Assisted Framework for Certified Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 99-113, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jakob E. Bardram, Rasmus E. Kjær, Michael Østergaard Pedersen |
Context-Aware User Authentication - Supporting Proximity-Based Login in Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: UbiComp 2003: Ubiquitous Computing, 5th International Conference, Seattle, WA, USA, October 12-15, 2003, Proceedings, pp. 107-123, 2003, Springer, 3-540-20301-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv |
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, pp. 483-503, 2003, Springer, 3-540-40325-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Gilles Barthe, Pierre Courtieu |
Efficient Reasoning about Executable Specifications in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 31-46, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kerry Trentelman, Marieke Huisman |
Extending JML Specifications with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 334-348, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Raul Sánchez-Reillo |
Including Biometric Authentication in a Smart Card Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVBPA ![In: Audio- and Video-Based Biometric Person Authentication, Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001, Proceedings, pp. 342-347, 2001, Springer, 3-540-42216-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Clemens H. Cap, Nico Maibaum, Lars Heyden |
Extending the Data Storage Capabilities of a Java-Based Smartcard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 680-685, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Alain Macaire, David Carlier |
A Personal Naming and Directory Service for UMTS Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Intelligence in Services and Networks - Paving the Way for an Open Service Market, 6th International Conference on Intelligence and Services in Networks, IS&N'99, Barcelona, Spain, April 27-29, 1999, Proceedings, pp. 250-262, 1999, Springer, 3-540-65895-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|