Search results for "Java Card"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Won-Ho Choi, Ha-Yong Jeon, Rhys Rosholt, Gwang Jung, Min-Soo Jung	A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications.	ICHIT	2006	DBLP DOI BibTeX RDF	Java Card objects, Java, Java Card, Buffer Cache
3	Dawei Zhang, Zhen Han, Wei Jin	Optimized Java Card transaction mechanism based on object locality.	SAC	2010	DBLP DOI BibTeX RDF	transaction, smartcards, Java Card
3	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
3	Hendrik Tews, Bart Jacobs	Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.	WISTP	2009	DBLP DOI BibTeX RDF	selective disclosure, blinded issuing, performance, Java Card
3	Pierre Paradinas, Julien Cordry, Samia Bouzefrane	Measurement Analysis When Benchmarking Java Card Platforms.	WISTP	2009	DBLP DOI BibTeX RDF	Performance, Benchmark, Java Card
3	Won-Ho Choi, Se-Won Oh, Gwang Jung, Min-Soo Jung	Efficient execution of application applets based on persistent object caching in Java card system.	ICHIT	2009	DBLP DOI BibTeX RDF	Java card, buffer-cache, persistent object
3	Patrik Bichsel, Jan Camenisch, Thomas Groß, Victor Shoup	Anonymous credentials on a standard java card.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	privacy-enhancing systems, smart card, java card, anonymous credential systems
3	Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis	Static Program Analysis for Java Card Applets.	CARDIS	2008	DBLP DOI BibTeX RDF	temporal safety, Java Card, static program analysis
3	Samia Bouzefrane, Julien Cordry, Hervé Meunier, Pierre Paradinas	Evaluation of Java Card Performance.	CARDIS	2008	DBLP DOI BibTeX RDF	Performance, Test, Benchmark, Java Card
3	Pierre Paradinas, Julien Cordry, Samia Bouzefrane	Performance Evaluation of Java Card Bytecodes.	WISTP	2007	DBLP DOI BibTeX RDF	Performance, Benchmark, Java Card
3	Claude Marché, Nicolas Rousset	Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.	SEFM	2006	DBLP DOI BibTeX RDF	JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
3	Sandrine-Dominique Gouraud, Arnaud Gotlieb	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.	PADL	2006	DBLP DOI BibTeX RDF	CHR, Java Card Virtual Machine, Software testing
3	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
3	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
3	Fabrice Bouquet, Bruno Legeard	Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study.	FME	2003	DBLP DOI BibTeX RDF	B abstract machine, Oracle synthesis, Representation mapping, Specification-Based test generation, Formal methods, Java Card
3	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Context Inference for Static Analysis of Java Card Object Sharing.	E-smart	2001	DBLP DOI BibTeX RDF	security, static analysis, objects, type inference, Java Card
3	Tien-Yan Ma, Ting-Wei Hou	Implementing FISC IC Card Specification and Developing Health Care Application Using Java Card.	ISMSE	2000	DBLP DOI BibTeX RDF	financial information system, Smart card, Java card, health information system
3	Ksheerabdhi Krishna, Michael Montgomery	A Simple(r) Interface Distribution Mechanism for Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
3	Hugues Martin, Lydie du Bousquet	Automatic Test Generation for Java-Card Applets.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
3	Bernhard Beckert	A Dynamic Logic for the Formal Verification of Java Card Programs.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
3	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
3	Marcus Oestreicher	Transactions in Java Card.	ACSAC	1999	DBLP DOI BibTeX RDF	Transactions, Smartcard, Java Card
2	Yongsang Song, Jongmoo Choi, Kyongho Han	Multimodal Security Enhancement Scheme for Java Card.	NBiS	2011	DBLP DOI BibTeX RDF	Confidentiality, Java Card, PIN, Security-level
2	Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner	Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.	SSIRI	2009	DBLP DOI BibTeX RDF	Anti-Tearing, Transaction Mechanism, Java Annotations, Java Card
2	Luis Terán, Andrzej Drygajlo	On Development of Inspection System for Biometric Passports Using Java.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF	ePassport, Inspection System, Basic Access Control, Biometrics, Java Card
2	Wojciech Mostowski, Erik Poll	Malicious Code on Java Card Smartcards: Attacks and Countermeasures.	CARDIS	2008	DBLP DOI BibTeX RDF
2	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	BSmart: A Tool for the Development of Java Card Applications with the B Method.	ABZ	2008	DBLP DOI BibTeX RDF
2	Dennis Vermoen, Marc F. Witteman, Georgi Gaydadjiev	Reverse Engineering Java Card Applets Using Power Analysis.	WISTP	2007	DBLP DOI BibTeX RDF
2	Wojciech Mostowski	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.	FM	2006	DBLP DOI BibTeX RDF
2	Arnaud Gotlieb, Patrick Bernard	A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs.	QSIC	2006	DBLP DOI BibTeX RDF
2	Min-Sik Jin, Min-Soo Jung	A High Performance Buffering of Java Objects for Java Card Systems with Flash Memory.	EUC Workshops	2006	DBLP DOI BibTeX RDF
2	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	Automation of Java Card component development using the B method.	ICECCS	2006	DBLP DOI BibTeX RDF
2	Han Yu, Xiamu Niu, Duohe Ma, Changxiang Shen	Research on Applying Java Card to Database Encryption Systems.	IIH-MSP	2006	DBLP DOI BibTeX RDF
2	Michal Spivak, Sivan Toledo	Storing a persistent transactional object heap on flash memory.	LCTES	2006	DBLP DOI BibTeX RDF	nor flash, persistent heaps, smart cards, transactions, flash, Java Card, persistent object stores
2	Olli Vertanen	Java Type Confusion and Fault Attacks.	FDTC	2006	DBLP DOI BibTeX RDF	type confusion, Java, embedded systems, fault attacks, Java Card
2	Serge Chaumette, Pascal Grange, Achraf Karray, Damien Sauveron, Pierre Vignéras	Secure Distributed Computing on a Java Card TM Grid.	IPDPS	2005	DBLP DOI BibTeX RDF
2	Wojciech Mostowski	Formalisation and Verification of Java Card Security Properties in Dynamic Logic.	FASE	2005	DBLP DOI BibTeX RDF
2	Alessandro Coglio, Cordell Green	A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Min-Sik Jin, Min-Soo Jung	A Study on How to Reduce Time and Space by Redefining New Bytecode for Java Card.	RTCSA	2005	DBLP DOI BibTeX RDF
2	Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung	A Study on Fast JCVM with New Transaction Mechanism and Caching-Buffer Based on Java Card Objects with a High Locality.	EUC Workshops	2005	DBLP DOI BibTeX RDF
2	Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung	The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card.	ICESS	2005	DBLP DOI BibTeX RDF
2	Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa	Tool-Assisted Specification and Verification of Typed Low-Level Languages.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	virtual machine, theorem proving, Java Card, bytecode verification
2	Kurt Stenzel	A Formally Verified Calculus for Full Java Card.	AMAST	2004	DBLP DOI BibTeX RDF
2	Ruchuan Wang, Haiping Huang, Haiyan Wang	Multi-Mobile Agents' Separation Scheme in Java Card Application for Mobile Agent's Security.	IEEE SCC	2004	DBLP DOI BibTeX RDF
2	Engelbert Hubbers, Erik Poll	Reasoning about Card Tears and Transactions in Java Card.	FASE	2004	DBLP DOI BibTeX RDF
2	Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter	A Type System for Checking Applet Isolation in Java Card.	CASSIS	2004	DBLP DOI BibTeX RDF
2	Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad	Java Card Code Generation from B Specifications.	ICFEM	2003	DBLP DOI BibTeX RDF
2	June Andronick, Boutheina Chetali, Olivier Ly	Using Coq to Verify Java Card Applet Isolation Properties.	TPHOLs	2003	DBLP DOI BibTeX RDF	Security, Theorem Proving, Smart Card
2	Engelbert Hubbers, Martijn Oostdijk, Erik Poll	Implementing a Formally Verifiable Security Protocol in Java Card.	SPC	2003	DBLP DOI BibTeX RDF
2	Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun	An Efficient Small Sized On-Card Verifier for Java Card.	ICCSA	2003	DBLP DOI BibTeX RDF
2	Shinyoung Lim, Youjin Song	Secure Online Internet Reservation of e-Government Service (ORGS) Using Java Card Applications Toolkit (J-CAT).	EGOV	2003	DBLP DOI BibTeX RDF
2	Jeung-Bo Cho, Min-Soo Jung	A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF	Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
2	Junqi Zhang, Vijay Varadharajan, Yi Mu	A Secure Object Sharing Scheme for Java Card.	ICICS	2002	DBLP DOI BibTeX RDF
2	Jin-Hee Han, Young-Jin Kim, Sung-Ik Jun, Kyo-Il Chung, Chang-Ho Seo	Implementation of ECC/ECDSA Cryptography Algorithms Based on Java Card.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
2	Ludovic Casset, Lilian Burdy, Antoine Requet	Formal Development of an Embedded Verifier for Java Card Byte Code.	DSN	2002	DBLP DOI BibTeX RDF
2	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
2	Do-Woo Kim, Min-Soo Jung	A Study on the Optimization of Class File for Java Card Platform.	ICOIN	2002	DBLP DOI BibTeX RDF
2	Michael Montgomery, Ksheerabdhi Krishna	A Flexible Invocation Framework for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
2	Xavier Leroy	On-Card Bytecode Verification for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
2	Marc Éluard, Thomas P. Jensen, Ewen Denney	An Operational Semantics of the Java Card Firewall.	E-smart	2001	DBLP DOI BibTeX RDF
2	Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García	JCCM: Flexible Certificates for Smartcards with Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
2	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
2	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux	Formal Methods in Context: Security and Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
2	Fu-Chiung Cheng, Chuin-Ren Wang	Specification and Design of a Quasi-Delay-Insensitive Java Card.	VLSI Design	2000	DBLP DOI BibTeX RDF
2	Ewen Denney, Thomas P. Jensen	Correctness of Java Card Method Lookup via Logical Relations.	ESOP	2000	DBLP DOI BibTeX RDF
2	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
2	Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman	Secure Internet Smartcards.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
2	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
1	Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto	JCML: A specification language for the runtime verification of Java Card programs.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Ahmed Patel, Kenan Kalajdzic, Laleh Golafshan	Design and Implementation of a Zero-Knowledge Authentication Framework for Java Card.	IJISP	2011	DBLP DOI BibTeX RDF
1	Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet	Combined Software and Hardware Attacks on the Java Card Control Flow.	CARDIS	2011	DBLP DOI BibTeX RDF
1	Guillaume Barbu, Guillaume Duc, Philippe Hoogvorst	Java Card Operand Stack: Fault Attacks, Combined Attacks and Countermeasures.	CARDIS	2011	DBLP DOI BibTeX RDF
1	Guillaume Barbu, Hugues Thiebeauld	Synchronized Attacks on Multithreaded Systems - Application to Java Card 3.0 -.	CARDIS	2011	DBLP DOI BibTeX RDF
1	Victor Gayoso Martínez, Luis Hernández Encinas, Carmen Sánchez Ávila	Java Card Implementation of the Elliptic Curve Integrated Encryption Scheme Using Prime and Binary Finite Fields.	CISIS	2011	DBLP DOI BibTeX RDF
1	Xiaoxue Yu, Dawei Zhang	Optimization of Transaction Mechanism on Java Card.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Karl Kümmel, Claus Vielhauer	Biometric Hash Algorithm for Dynamic Handwriting Embedded on a Java Card.	BIOID	2011	DBLP DOI BibTeX RDF
1	Guillaume Barbu, Hugues Thiebeauld, Vincent Guerin	Attacks on Java Card 3.0 Combining Fault and Logical Attacks.	CARDIS	2010	DBLP DOI BibTeX RDF
1	Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä	Experimental Comparison of Concolic and Random Testing for Java Card Applets.	SPIN	2010	DBLP DOI BibTeX RDF
1	Yuchuan Wu, Yaqin Sun	Analysis and Research of Securing from Attack for Java Card.	ICEE	2010	DBLP DOI BibTeX RDF
1	Olga Gadyatskaya, Fabio Massacci, Federica Paci, Sergey Stankevich	Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications.	NordSec	2010	DBLP DOI BibTeX RDF
1	Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto	Specification and Runtime Verification of Java Card Programs.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Samia Bouzefrane, Julien Cordry, Pierre Paradinas	MESURE Tool to benchmark Java Card platforms	CoRR	2009	DBLP BibTeX RDF
1	Yaping Chi, Zhaobin Li, Zhonghua Wang, Yong Fang	An Improved Bytecode Verification Algorithm on Java Card.	CIS	2009	DBLP DOI BibTeX RDF
1	Won-Ho Choi, Se-Won Oh, Gwang Jung, Min-Soo Jung	A Novel Scheme for Efficient Installation of Applets for Advanced Java Card System.	CSIE	2009	DBLP DOI BibTeX RDF
1	Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet	Automatic detection of fault attack and countermeasures.	WESS	2009	DBLP DOI BibTeX RDF
1	Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif	Model-Driven Code Generation for Secure Smart Card Applications.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
1	Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif	SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications.	ARES	2009	DBLP DOI BibTeX RDF
1	Kalid Elmufti, Dasun Weerasinghe, Muttukrishnan Rajarajan, Veselin Rakocevic, Sanowar Khan, John A. MacDonald	Mobile Web services authentication using SAML and 3GPP generic bootstrapping architecture.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	3GPP generic bootstrapping architecture, Mobile Authentication Protocol, Authentication, SAML, Mobile Web Services, GAA
1	Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin	A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.	SEFM	2008	DBLP DOI BibTeX RDF
1	June Andronick, Quang Huy Nguyen 0002	Certifying an embedded remote method invocation protocol.	SAC	2008	DBLP DOI BibTeX RDF	JCRMI, security and functional certification, formal verification, embedded software, common criteria
1	Juan A. Fraile, Javier Bajo, Belén Pérez Lancho, Eladio Sanz	HoCa Home Care Multi-agent Architecture.	DCAI	2008	DBLP DOI BibTeX RDF	Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments
1	Boutheina Chetali, Quang Huy Nguyen 0002	Industrial Use of Formal Methods for a High-Level Security Evaluation.	FM	2008	DBLP DOI BibTeX RDF
1	Juan A. Fraile, Dante I. Tapia, Miguel A. Sánchez	Hybrid Multi-Agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes.	HAIS	2008	DBLP DOI BibTeX RDF	Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments
1	Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe	Developing Java Card Applications with B.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Wojciech Mostowski	Fully Verified Java Card API Reference Implementation.	VERIFY	2007	DBLP BibTeX RDF
1	Fang Yu, Tevfik Bultan, Erik Peterson	Automated size analysis for OCL.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	size abstraction, size analysis, OCL
1	Shawn Haggett, Greg Knowles, Graham Bignell	Tokenisation of Class Files for an Embedded Java Processor.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
1	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
1	Peter H. Schmitt, Isabel Tonin	Verifying the Mondex Case Study.	SEFM	2007	DBLP DOI BibTeX RDF
1	Oleg Mürk, Daniel Larsson, Reiner Hähnle	KeY-C: A Tool for Verification of C Programs.	CADE	2007	DBLP DOI BibTeX RDF