Search results for "JavaCard"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Kerry Trentelman	Proving Correctness of JavaCard DL Taclets using Bali.	SEFM	2005	DBLP DOI BibTeX RDF
84	Hans Meijer, Erik Poll	Towards a Full Formal Specification of the JavaCard API.	E-smart	2001	DBLP DOI BibTeX RDF
84	Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa	Jakarta: A Toolset for Reasoning about JavaCard.	E-smart	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.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
68	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	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.	ICISC	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.	VMCAI	2002	DBLP DOI BibTeX RDF
47	Anas Abou El Kalam, Yves Deswarte	Privacy Requirements Implemented with a JavaCard.	ACSAC	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.	AMAST	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.	ESOP	2001	DBLP DOI BibTeX RDF
31	Kurt Dietrich, Johannes Winter	Implementation Aspects of Mobile and Embedded Trusted Computing.	TRUST	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.	CARDIS	2023	DBLP DOI BibTeX RDF
28	Adel Djoudi, Martin Hána, Nikolai Kosmatov	Formal Verification of a JavaCard Virtual Machine with Frama-C.	FM	2021	DBLP DOI BibTeX RDF
28	Vasilios Mavroudis, Petr Svenda	JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets.	EuroS&P Workshops	2020	DBLP DOI BibTeX RDF
28	Miray Tosun, Geylani Kardas	DSL4JavaCard: JavaCard Platformu İçin Bir Alana Özgü Dil.	UYMS	2015	DBLP BibTeX RDF
28	Jakub Breier, Adam Pomothy	Qualified Electronic Signature via SIM Card Using JavaCard 3 Connected Edition Platform.	ARES	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.	CTS	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.	ICON	2007	DBLP DOI BibTeX RDF
28	Antonio Maña, Antonio Muñoz 0001	Trusted Code Execution in JavaCard.	TrustBus	2007	DBLP DOI BibTeX RDF
28	Daniel Hedin, David Sands 0001	Timing Aware Information Flow Security for a JavaCard-like Bytecode.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
28	Ching-Cheng Lee, Sudeshna Ghosh	A Component-Based Approach for JavaCard Runtime System Development.	ICECCS	2005	DBLP DOI BibTeX RDF
28	Claude Marché, Christine Paulin-Mohring, Xavier Urbain	The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.	J. Log. Algebraic Methods Program.	2004	DBLP DOI BibTeX RDF
28	Richard Bubel, Andreas Roth 0002, Philipp Rümmer	Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.	LFM@IJCAR	2004	DBLP DOI BibTeX RDF
28	Gilles Barthe, Sorin Stratulat	Validation of the JavaCard Platform with Implicit Induction Techniques.	RTA	2003	DBLP DOI BibTeX RDF
28	Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov	Model Checking of Multi-Applet JavaCard Applications.	CARDIS	2002	DBLP BibTeX RDF
28	Clemens H. Cap, Nico Maibaum, Lars Heyden	JavaCard-kontrollierter, sicherer Zugriff auf persönliche Dokumente und Berechtigungen.	GI Jahrestagung	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.	Comput. Networks	2001	DBLP DOI BibTeX RDF
28	Bart Jacobs 0001	JavaCard Program Verification.	TPHOLs	2001	DBLP DOI BibTeX RDF
28	Derek W. M. Sin, Henry C. B. Chan	JOBS: Javacard-based Online-ticket Booking System.	WWW Posters	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.	I3E	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	Java Card	2001	DBLP DOI BibTeX RDF
28	Erik Poll, Joachim van den Berg, Bart Jacobs 0001	Specification of the JavaCard API in JML.	CARDIS	2000	DBLP BibTeX RDF
28	Li Huang Ng, Daniel T. H. Tan	A novel JavaCard-based authentication system for secured transactions on the Internet.	ICON	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.	International Conference on Internet Computing	2000	DBLP BibTeX RDF
28	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	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.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Hugues Martin, Lydie du Bousquet	Automatic Test Generation for Java-Card Applets.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Bernhard Beckert	A Dynamic Logic for the Formal Verification of Java Card Programs.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Marc Kekicheff, Forough Kashef, David Brewer	Open Platform Security.	Java Card Workshop	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.	Java Card Workshop	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.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Ksheerabdhi Krishna, Michael Montgomery	A Simple(r) Interface Distribution Mechanism for Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Roger Kehr, Michael Rohs, Harald Vogt	Issues in Smartcard Middleware.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
28	Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman	Secure Internet Smartcards.	Java Card Workshop	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.	Java Card Workshop	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.	IEEE Concurr.	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.	Java-Informations-Tage	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.	FM	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.	CARDIS	2008	DBLP DOI BibTeX RDF
19	Geylani Kardas, Ebru Celikel	A Smart Card Mediated Mobile Platform for Secure E-Mail Communication.	ITNG	2007	DBLP DOI BibTeX RDF
19	Richard Banach	Retrenchment Tutorial.	SEFM	2006	DBLP DOI BibTeX RDF
19	Pascal Urien, Mesmin Dandjinou	The OpenEapSmartcard platform.	Net-Con	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.	MATA	2005	DBLP DOI BibTeX RDF
19	Christian Hammer 0001, Gregor Snelting	An improved slicer for Java.	PASTE	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.	AACC	2004	DBLP DOI BibTeX RDF
19	Gilles Barthe, Guillaume Dufay	A Tool-Assisted Framework for Certified Bytecode Verification.	FASE	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.	UbiComp	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.	SAS	2003	DBLP DOI BibTeX RDF
19	Gilles Barthe, Pierre Courtieu	Efficient Reasoning about Executable Specifications in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF
19	Kerry Trentelman, Marieke Huisman	Extending JML Specifications with Temporal Logic.	AMAST	2002	DBLP DOI BibTeX RDF
19	Raul Sánchez-Reillo	Including Biometric Authentication in a Smart Card Operating System.	AVBPA	2001	DBLP DOI BibTeX RDF
19	Clemens H. Cap, Nico Maibaum, Lars Heyden	Extending the Data Storage Capabilities of a Java-Based Smartcard.	ISCC	2001	DBLP DOI BibTeX RDF
19	Alain Macaire, David Carlier	A Personal Naming and Directory Service for UMTS Users.	IS&N	1999	DBLP DOI BibTeX RDF