Search results for "CARD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Marc Kekicheff, Forough Kashef, David Brewer	Open Platform Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
91	Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park	Impact of Embedding Scenarios on the Smart Card-Based Fingerprint Verification.	WISA	2006	DBLP DOI BibTeX RDF	Performance Evaluation, Smart Card, Fingerprint Verification
89	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
85	Ian M. Molloy, Jiangtao Li 0001, Ninghui Li	Dynamic Virtual Credit Card Numbers.	Financial Cryptography	2007	DBLP DOI BibTeX RDF	credit card theft, e-commerce
85	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
79	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
79	Soo-Cheol Oh, Sang-Hwa Chung, Hankook Jang	Design and Implementation of CC-NUMA Card II for SCI-Based PC Clustering.	CLUSTER	2002	DBLP DOI BibTeX RDF
77	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
72	Mücahit Mutlugün, Oktay Adalier	Turkish national electronic identity card.	SIN	2009	DBLP DOI BibTeX RDF	national identity card, biometrics, smart card, pki
71	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
68	Hugues Martin, Lydie du Bousquet	Automatic Test Generation for Java-Card Applets.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
68	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
67	Michael Osborne, Nalini K. Ratha	A JC-BioAPI Compliant Smart Card with Biometrics for Secure Access Control.	AVBPA	2003	DBLP DOI BibTeX RDF
66	Yi Peng 0001, Gang Kou, Yong Shi 0001, Zhengxin Chen	Improving Clustering Analysis for Credit Card Accounts Classification.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	Credit Card Accounts Classification, CLUTO, unsupervised learning method, Clustering analysis
66	Bo-Yin Yang, Jiun-Ming Chen, Yen-Hung Chen	TTS: High-Speed Signatures on a Low-Cost Smart Card.	CHES	2004	DBLP DOI BibTeX RDF	8051, smart card, finite field, Multivariate public-key cryptosystem
66	JeongJin Kang, HongJun Yoo, SungRok Lee	Novel Process Methodology of Smart Combi Card (SCC) Manufacturing for RFID/USN.	ICUCT	2006	DBLP DOI BibTeX RDF	Smart combi card(SCC), RF card, COB(Chip On Board), RFID/USN
66	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
65	Soon Ae Chun, Yoo Jung An, James Geller, Sunju Park	Fuzzy Virtual Card Agent for Customizing Divisible Card Payments.	EC-Web	2005	DBLP DOI BibTeX RDF
62	Ryutaro Toji, Yoshinori Wada, Shinichi Hirata, Katsuhiko Suzuki	A Network-Based Platform for Multi-Application Smart Cards.	EDOC	2001	DBLP DOI BibTeX RDF
62	Jean-Louis Lanet	Are Smart Cards the Ideal Domain for Applying Formal Methods?	ZB	2000	DBLP DOI BibTeX RDF
61	Wojciech Mostowski	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.	FM	2006	DBLP DOI BibTeX RDF
61	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
60	Patrik Bichsel, Jan Camenisch, Thomas Groß 0001, Victor Shoup	Anonymous credentials on a standard java card.	CCS	2009	DBLP DOI BibTeX RDF	privacy-enhancing systems, smart card, java card, anonymous credential systems
60	E. L. Lohse	Hollerith punched card code.	Commun. ACM	1968	DBLP DOI BibTeX RDF	USA standard, card code, hole-patterns, hole-patterns assignment, punched card hole, punched card systems, punched code
59	Chi-Leung San, Chiu-sing Choy, Pak-Kee Chan, Cheong-Fat Chan, Kong-Pang Pun	Realization of card-centric framework: a card-centric computer [smart cards].	ISCAS (5)	2005	DBLP DOI BibTeX RDF
59	Jun Furukawa 0001, Kazue Sako, Satoshi Obana	IC card-based single sign-on system that remains secure under card analysis.	Digital Identity Management	2009	DBLP DOI BibTeX RDF	card analysis, distributed key, single sign-on, authenticated key exchange
59	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
59	Idir Bakdi	Towards a Secure and Practical Multifunctional Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF	Multifunctional smart card, secure hardware token, privacy
57	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
56	Ksheerabdhi Krishna, Michael Montgomery	A Simple(r) Interface Distribution Mechanism for Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
54	Eun-Jun Yoon, Kee-Young Yoo	A New Secure Key Exchange Protocol Between STB and Smart Card in DTV Broadcasting.	WISI	2006	DBLP DOI BibTeX RDF
54	Yiannis Tsiounis	A Security Framework for Card-Based Systems.	Financial Cryptography	2001	DBLP BibTeX RDF
54	Aviel D. Rubin, Rebecca N. Wright	Off-Line Generation of Limited-Use Credit Card Numbers.	Financial Cryptography	2001	DBLP BibTeX RDF
54	Alvin T. S. Chan, Florine Tse, Jiannong Cao 0001, Hong Va Leong	Distributed Object Programming Environment for Smart Card Application Development.	DOA	2001	DBLP DOI BibTeX RDF
54	Haeryong Park, Kilsoo Chun, Seungho Ahn	The Security Requirement for off-line E-cash system based on IC Card.	ICPADS (2)	2005	DBLP DOI BibTeX RDF	E-cash system, off-line E-cash system based on IC Card, E-cash protocol, Payment system
54	Mark James Burge	Developing smart card applications using the OpenCard Framework.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	JCOP, OpenCard Framework, Mobile Computing, pervasive computing, design patterns, Smart Cards, Java Card
54	Hoon-Jae Lee 0001, ManKi Ahn, Seongan Lim, Sang-Jae Moon	A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks.	ICCSA (1)	2004	DBLP DOI BibTeX RDF	Protection Profiles, Vulnerability Assessment Activities, SPA/DPA, Smart Card, Side Channel Attacks, Common Criteria
54	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
54	Supakorn Kungpisdan, Bala Srinivasan 0002, Phu Dung Le	Lightweight Mobile Credit-Card Payment Protocol.	INDOCRYPT	2003	DBLP DOI BibTeX RDF	Electronic commerce and payment, credit-card payment protocol, mobile commerce
54	Marcus Oestreicher	Transactions in Java Card.	ACSAC	1999	DBLP DOI BibTeX RDF	Transactions, Smartcard, Java Card
54	Dominique Dieng	The keys of success of a health card project: the lessons learned from 9 health cards project.	CBMS	1997	DBLP DOI BibTeX RDF	health card project, computer based medical system, Canadian health card projects, large scale projects, local projects, computerized medical record, health care, telematics, Europe
53	Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon	Automatic Test Generation on a (U)SIM Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF
53	Engelbert Hubbers, Erik Poll	Reasoning about Card Tears and Transactions in Java Card.	FASE	2004	DBLP DOI BibTeX RDF
53	Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun	An Efficient Small Sized On-Card Verifier for Java Card.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
53	Michael Montgomery, Ksheerabdhi Krishna	A Flexible Invocation Framework for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
53	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
52	Samia Bouzefrane 0001, Julien Cordry, Hervé Meunier, Pierre Paradinas	Evaluation of Java Card Performance.	CARDIS	2008	DBLP DOI BibTeX RDF	Performance, Test, Benchmark, Java Card
52	Jaap-Henk Hoepman, Geert Kleinhuis	Two Worlds, One Smart Card: An Integrated Solution for Physical Access and Logical Security Using PKI on a Single Smart Card.	EuroPKI	2007	DBLP DOI BibTeX RDF	reduced sign-on, Access control, smart card, PKI
50	Alvin T. S. Chan, Dick K. T. Wan	Web Services Mobility in a Pocket.	ICWS	2005	DBLP DOI BibTeX RDF
50	Claude Barral, Jean-Sébastien Coron, David Naccache	Externalized Fingerprint Matching.	ICBA	2004	DBLP DOI BibTeX RDF
50	Henry Beker, Michael Walker 0001	Key Management for Secure Electronic Funds Transfer in a Retail Environment.	CRYPTO	1984	DBLP DOI BibTeX RDF
49	Bernhard Beckert	A Dynamic Logic for the Formal Verification of Java Card Programs.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
49	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
49	Mark Lanus	Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards.	ISAS	2007	DBLP DOI BibTeX RDF	Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model
49	E. L. Lohse	Correspondences of 8-bit and Hollerith codes for computer environments - a USASI tutorial.	Commun. ACM	1968	DBLP DOI BibTeX RDF	USA standard, card code, hole-patterns, hole-patterns assignment, punched card, punched card code, punched card systems
48	Krists Zutis, Jesse Hoey	Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection.	ICVS	2009	DBLP DOI BibTeX RDF
48	Gerhard de Koning Gans, Jaap-Henk Hoepman, Flavio D. Garcia	A Practical Attack on the MIFARE Classic.	CARDIS	2008	DBLP DOI BibTeX RDF
48	Ramaswamy Chandramouli, Philip Lee	Infrastructure Standards for Smart ID Card Deployment.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
48	He Ge	An Anonymous Authentication Scheme for Identification Card.	ICICS	2006	DBLP DOI BibTeX RDF	Anonymous Identification, Privacy, Cryptographic Protocol, Identity Management, Group Signature
48	King-Keung Mok, Ka-Hung Tsang, Cheong-Fat Chan, Oliver Chiu-sing Choy, Kong-Pang Pun	Adiabatic Smart Card.	APCCAS	2006	DBLP DOI BibTeX RDF
48	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
48	Wojciech Mostowski	Formalisation and Verification of Java Card Security Properties in Dynamic Logic.	FASE	2005	DBLP DOI BibTeX RDF
48	Yingjiu Li, Xinwen Zhang	A Security-Enhanced One-Time Payment Scheme for Credit Card.	RIDE	2004	DBLP DOI BibTeX RDF
48	Tommaso Cucinotta, Marco Di Natale, David Corcoran	Breaking Down Architectural Gaps in Smart-Card Middleware Design.	TrustBus	2004	DBLP DOI BibTeX RDF
48	Won Jay Song, Won Hee Kim, Bo Gwan Kim, Byung-Ha Ahn, Mun Kee Choi, Minho Kang	Smart Card Terminal Systems Using ISO/IEC 7816-3 Interface and 8051 Microprocessor Based on the System-on-Chip.	ISCIS	2003	DBLP DOI BibTeX RDF
48	Youn-Hee Gil, Daesung Moon, Sung Bum Pan, Yongwha Chung	Fingerprint Verification System Involving Smart Card.	ICISC	2002	DBLP DOI BibTeX RDF
48	Neil James Henderson, Neil M. White, Pieter H. Hartel	iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric.	E-smart	2001	DBLP DOI BibTeX RDF
48	Steve Elliot, Claudia Löbbecke	Smart-Card Based Electronic Commerce: Characteristics and Roles.	HICSS (4)	1998	DBLP DOI BibTeX RDF
48	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
48	Ren-Chiun Wang, Wen-Shenq Juang, Chin-Laung Lei	A Simple and Efficient Key Exchange Scheme Against the Smart Card Loss Problem.	EUC Workshops	2007	DBLP DOI BibTeX RDF	authentication, smart card, hash function, password, key exchange
48	Jiun-Tze Lai, Ting-Wei Hou	An efficient secure communication between set-top box and smart card in DTV broadcasting.	AsiaCCS	2006	DBLP DOI BibTeX RDF	smart card, mutual authentication, set-top-box
48	William G. Sirett, John A. MacDonald, Keith Mayes, Constantinos Markantonakis	Design, Installation and Execution of a Security Agent for Mobile Stations.	CARDIS	2006	DBLP DOI BibTeX RDF	Application Deployment, JSR177, MIDP2.0, Smart Card, Security Protocol, GSM, Mobile Station, Security Agent
48	Hitoshi Iwai, Atsushi Nakayama, Naoko Itoga, Kotaro Omata	Cantilever Type Probe Card for At-Speed Memory Test on Wafer.	VTS	2005	DBLP DOI BibTeX RDF	Probe Card, On Wafer, Test, Memory, At-Speed
48	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
48	Wai Han Soo, Azman Samsudin, Alwyn Goh	Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network.	ISC	2002	DBLP DOI BibTeX RDF	mental card game, Benes permutation network, Shuffle, mix-net
48	Tsang Hin Chung, Kwong-Sak Leung, Kin-Hong Lee	Design and Analysis of Smart Card Based Remote Authentication Protocol for Internet-Based System.	WETICE	2001	DBLP DOI BibTeX RDF	security, java, Authentication, smart card
46	Asad M. Ali	Zero Footprint Secure Internet Authentication Using Network Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF
46	Marc Éluard, Thomas P. Jensen, Ewen Denney	An Operational Semantics of the Java Card Firewall.	E-smart	2001	DBLP DOI BibTeX RDF
46	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
45	Xavier Leroy	On-Card Bytecode Verification for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
44	Mikhail J. Atallah, Marina Bykova	Portable and Flexible Document Access Control Mechanisms.	ESORICS	2004	DBLP DOI BibTeX RDF
44	Alain Macaire	An Open and Secure Terminal Infrastructure for Hosting Personal Services.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Architectures & Frameworks, Naming & Directory Services, Lookup Services Access to Distributed Services, Smart Cards and Terminals, User's Mobility, Embedded Systems
43	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux	Formal Methods in Context: Security and Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
43	Sabine Glesner	Finite Integer Computations: An Algebraic Foundation for Their Correctness.	Formal Aspects 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
43	Michael W. David, Kouichi Sakurai	Security Issues for Contactless Smart Cards.	Public Key Cryptography	1998	DBLP DOI BibTeX RDF	Contactless-card, Standards, Smart-card, Public key, Efficient Implementation
43	Tsutomu Matsumoto, Hideki Imai	Human Identification Through Insecure Channel.	EUROCRYPT	1991	DBLP DOI BibTeX RDF	Identification Verification, IC Card, Insecure Channel, Authentication, Access Control, Cryptography, Smart Card, Password, Human Interface, Human Identification, User Identification
43	Michael Montgomery, Asad M. Ali, Karen Lu	Secure Network Card - Implementation of a Standard Network Stack in a Smart Card.	CARDIS	2004	DBLP DOI BibTeX RDF
42	Neil A. M. Maiden	Card Sorts to Acquire Requirements.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
42	Biliana Alexandrova-Kabadjova, Edward P. K. Tsang, Andreas Krause 0002	Evolutionary Learning of the Optimal Pricing Strategy in an Artificial Payment Card Market.	Natural Computing in Computational Finance	2008	DBLP DOI BibTeX RDF
42	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
42	Manabu Hirano, Takeshi Okuda, Suguru Yamaguchi	Application for a Simple Device Authentication Framework: Device Authentication Middleware Using Novel Smart Card Software.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
42	Dennis Vermoen, Marc F. Witteman, Georgi Gaydadjiev	Reverse Engineering Java Card Applets Using Power Analysis.	WISTP	2007	DBLP DOI BibTeX RDF
42	Russell Tessier, David Jasinski, Atul Maheshwari, Aiyappan Natarajan, Weifeng Xu, Wayne P. Burleson	An energy-aware active smart card.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
42	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
42	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
42	Nikolaos F. Matsatsinis	An intelligent decision support system for credit card assessment based on a machine learning technique.	Oper. Res.	2002	DBLP DOI BibTeX RDF	Credit Cards Evaluation, Machine Learning, Decision Support Systems
42	Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.	SPIN	2002	DBLP DOI BibTeX RDF
42	Do-Woo Kim, Min-Soo Jung	A Study on the Optimization of Class File for Java Card Platform.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
42	Rajiv Pandey, Dan Higgins	probe card-a solution for at-speed, high density, wafer probing.	ITC	1998	DBLP DOI BibTeX RDF
42	Francisco Castillo, Jose A. García 0003, Juan Manuel Moreno, Joan Cabestany	A Coprocessor Card for Fast Neural Network Emulation.	IWANN	1995	DBLP DOI BibTeX RDF