The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for JavaCard with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2000 (18) 2001-2002 (17) 2003-2006 (16) 2007-2023 (12)
Publication types (Num. hits)
article(3) inproceedings(59) proceedings(1)
Venues (Conferences, Journals, ...)
Java Card Workshop(12) CARDIS(4) AMAST(2) E-smart(2) FM(2) ICON(2) SEFM(2) TPHOLs(2) AACC(1) ACSAC(1) ARES(1) AVBPA(1) Bytecode@ETAPS(1) Comput. Networks(1) CTS(1) ESOP(1) More (+10 of total 43)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 63 publication records. Showing 63 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
141Kerry Trentelman Proving Correctness of JavaCard DL Taclets using Bali. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
84Hans 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
84Gilles 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
75Joachim van den Berg, Bart Jacobs 0001, Erik Poll Formal Specification and Verification of JavaCard's Application Identifier Class. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
68Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand Safety Property Driven Test Generation from. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
68Stelvio Cimato Design of an Authentication Protocol for Gsm Javacards. Search on Bibsonomy ICISC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Javacard, E-commerce and M- commerce security, Authentication protocol
66Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Anas Abou El Kalam, Yves Deswarte Privacy Requirements Implemented with a JavaCard. Search on Bibsonomy ACSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa Tool-Assisted Specification and Verification of the JavaCard Platform. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa A Formal Executable Semantics of the JavaCard Platform. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Kurt Dietrich, Johannes Winter Implementation Aspects of Mobile and Embedded Trusted Computing. Search on Bibsonomy TRUST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mobile Trusted Computing, MTMs, ARM TrustZone, Secure Element, JavaCard
28Lukás Zaoral, Antonin Dufka, Petr Svenda The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects. Search on Bibsonomy CARDIS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Adel Djoudi, Martin Hána, Nikolai Kosmatov Formal Verification of a JavaCard Virtual Machine with Frama-C. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Vasilios Mavroudis, Petr Svenda JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets. Search on Bibsonomy EuroS&P Workshops The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Miray Tosun, Geylani Kardas DSL4JavaCard: JavaCard Platformu İçin Bir Alana Özgü Dil. Search on Bibsonomy UYMS The full citation details ... 2015 DBLP  BibTeX  RDF
28Jakub Breier, Adam Pomothy Qualified Electronic Signature via SIM Card Using JavaCard 3 Connected Edition Platform. Search on Bibsonomy ARES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Marc 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 CTS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Jinyoung Moon, Jongyoul Park, Eui Hyun Paik JavaCard-based Two-Level User Key Management for IP Conditional Access Systems. Search on Bibsonomy ICON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Antonio Maña, Antonio Muñoz 0001 Trusted Code Execution in JavaCard. Search on Bibsonomy TrustBus The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Daniel Hedin, David Sands 0001 Timing Aware Information Flow Security for a JavaCard-like Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Ching-Cheng Lee, Sudeshna Ghosh A Component-Based Approach for JavaCard Runtime System Development. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Claude Marché, Christine Paulin-Mohring, Xavier Urbain The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Richard Bubel, Andreas Roth 0002, Philipp Rümmer Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. Search on Bibsonomy LFM@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Gilles Barthe, Sorin Stratulat Validation of the JavaCard Platform with Implicit Induction Techniques. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov Model Checking of Multi-Applet JavaCard Applications. Search on Bibsonomy CARDIS The full citation details ... 2002 DBLP  BibTeX  RDF
28Clemens H. Cap, Nico Maibaum, Lars Heyden JavaCard-kontrollierter, sicherer Zugriff auf persönliche Dokumente und Berechtigungen. Search on Bibsonomy GI Jahrestagung The full citation details ... 2002 DBLP  BibTeX  RDF
28Erik Poll, Joachim van den Berg, Bart Jacobs 0001 Formal specification of the JavaCard API in JML: the APDU class. Search on Bibsonomy Comput. Networks The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Bart Jacobs 0001 JavaCard Program Verification. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Derek W. M. Sin, Henry C. B. Chan JOBS: Javacard-based Online-ticket Booking System. Search on Bibsonomy WWW Posters The full citation details ... 2001 DBLP  BibTeX  RDF
28Markus 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 I3E The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Isabelle 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 Java Card The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Erik Poll, Joachim van den Berg, Bart Jacobs 0001 Specification of the JavaCard API in JML. Search on Bibsonomy CARDIS The full citation details ... 2000 DBLP  BibTeX  RDF
28Li Huang Ng, Daniel T. H. Tan A novel JavaCard-based authentication system for secured transactions on the Internet. Search on Bibsonomy ICON The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Li 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 International Conference on Internet Computing The full citation details ... 2000 DBLP  BibTeX  RDF
28Rajeev Goré, Lan Duy Nguyen CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
28Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux Formal Methods in Context: Security and Java Card. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Hugues Martin, Lydie du Bousquet Automatic Test Generation for Java-Card Applets. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Bernhard Beckert A Dynamic Logic for the Formal Verification of Java Card Programs. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Marc Kekicheff, Forough Kashef, David Brewer Open Platform Security. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Pieter H. Hartel, Eduard de Jong A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Pierre 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 Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Ksheerabdhi Krishna, Michael Montgomery A Simple(r) Interface Distribution Mechanism for Java Card. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Roger Kehr, Michael Rohs, Harald Vogt Issues in Smartcard Middleware. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman Secure Internet Smartcards. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Rüdiger Weis, Bastiaan Bakker, Stefan Lucks Security on Your Hand: Secure Filesystems with a "Non-Cryptographic" JAVA-Ring. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF i-Button, Remotely Keyed Encryption, tamper proof
28Michael Baentsch, Peter Buhler, Thomas Eirich, Frank Höring, Marcus Oestreicher JavaCard-from hype to reality. Search on Bibsonomy IEEE Concurr. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Stefan Fünfrocken, Friedemann Mattern, Marie-Luise Moschgath Die JavaCard als Programmier- und Ausführungsplattform für verteilte Anwendungen. Search on Bibsonomy Java-Informations-Tage The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Holger 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 FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas The Trusted Execution Module: Commodity General-Purpose Trusted Computing. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Geylani Kardas, Ebru Celikel A Smart Card Mediated Mobile Platform for Secure E-Mail Communication. Search on Bibsonomy ITNG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Richard Banach Retrenchment Tutorial. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Pascal Urien, Mesmin Dandjinou The OpenEapSmartcard platform. Search on Bibsonomy Net-Con The full citation details ... 2005 DBLP  DOI  BibTeX  RDF javacards, Security, WLAN, smartcards
19John 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 MATA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Christian Hammer 0001, Gregor Snelting An improved slicer for Java. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF object trees, static program slicing, Java
19Jesudoss Venkatraman, Vijay Raghavan 0004, Debabrata Das, Asoke K. Talukder Trust and Security Realization for Mobile Users in GSM Cellular Networks. Search on Bibsonomy AACC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Gilles Barthe, Guillaume Dufay A Tool-Assisted Framework for Certified Bytecode Verification. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Jakob E. Bardram, Rasmus E. Kjær, Michael Østergaard Pedersen Context-Aware User Authentication - Supporting Proximity-Based Login in Pervasive Computing. Search on Bibsonomy UbiComp The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Gilles Barthe, Pierre Courtieu Efficient Reasoning about Executable Specifications in Coq. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Kerry Trentelman, Marieke Huisman Extending JML Specifications with Temporal Logic. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Raul Sánchez-Reillo Including Biometric Authentication in a Smart Card Operating System. Search on Bibsonomy AVBPA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Clemens H. Cap, Nico Maibaum, Lars Heyden Extending the Data Storage Capabilities of a Java-Based Smartcard. Search on Bibsonomy ISCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Alain Macaire, David Carlier A Personal Naming and Directory Service for UMTS Users. Search on Bibsonomy IS&N The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #63 of 63 (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