Search results for "Smart-card"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
133	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
109	Jean-Louis Lanet	Are Smart Cards the Ideal Domain for Applying Formal Methods?	ZB	2000	DBLP DOI BibTeX RDF
104	Michael Osborne, Nalini K. Ratha	A JC-BioAPI Compliant Smart Card with Biometrics for Secure Access Control.	AVBPA	2003	DBLP DOI BibTeX RDF
96	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
95	Idir Bakdi	Towards a Secure and Practical Multifunctional Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF	Multifunctional smart card, secure hardware token, privacy
94	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
94	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
92	Marc Kekicheff, Forough Kashef, David Brewer	Open Platform Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
92	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
92	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
87	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
87	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
85	Steve Elliot, Claudia Löbbecke	Smart-Card Based Electronic Commerce: Characteristics and Roles.	HICSS (4)	1998	DBLP DOI BibTeX RDF
85	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
85	Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon	Automatic Test Generation on a (U)SIM Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF
84	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
83	Asad M. Ali	Zero Footprint Secure Internet Authentication Using Network Smart Card.	CARDIS	2006	DBLP DOI BibTeX RDF
82	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
81	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
81	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
80	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
80	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
80	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
76	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
75	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
74	Arnaud Boscher, Robert Naciri	Optimal Use of Montgomery Multiplication on Smart Cards.	CARDIS	2006	DBLP DOI BibTeX RDF	GQ2, Smart Card, RSA, Montgomery Multiplication, ECDSA
74	Dominique de Waleffe, Jean-Jacques Quisquater	CORSAIR: A SMART Card for Public Key Cryptosystems.	CRYPTO	1990	DBLP DOI BibTeX RDF	public key algorithms, digital signature, Smart card, RSA, zero-knowledge protocols
73	Alvin T. S. Chan, Dick K. T. Wan	Web Services Mobility in a Pocket.	ICWS	2005	DBLP DOI BibTeX RDF
72	Ryutaro Toji, Yoshinori Wada, Shinichi Hirata, Katsuhiko Suzuki	A Network-Based Platform for Multi-Application Smart Cards.	EDOC	2001	DBLP DOI BibTeX RDF
71	Tommaso Cucinotta, Marco Di Natale, David Corcoran	Breaking Down Architectural Gaps in Smart-Card Middleware Design.	TrustBus	2004	DBLP DOI BibTeX RDF
70	Ramaswamy Chandramouli, Philip Lee	Infrastructure Standards for Smart ID Card Deployment.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
70	Youngsook Lee, Junghyun Nam, Dongho Won	Vulnerabilities in a Remote Agent Authentication Scheme Using Smart Cards.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	distributed system, smart card, impersonation attack, authentication scheme
70	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
70	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
69	Alvin T. S. Chan	Cookies on-the-move: managing cookies on a smart card.	SAC	2004	DBLP DOI BibTeX RDF	mobile, Web, smart card, cookies
69	Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sloan	Examining Smart-Card Security under the Threat of Power Analysis Attacks.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	security, Cryptography, smart card, data encryption standard (DES), power analysis attack, implementation attack
68	Mücahit Mutlugün, Oktay Adalier	Turkish national electronic identity card.	SIN	2009	DBLP DOI BibTeX RDF	national identity card, biometrics, smart card, pki
66	Youn-Hee Gil, Daesung Moon, Sung Bum Pan, Yongwha Chung	Fingerprint Verification System Involving Smart Card.	ICISC	2002	DBLP DOI BibTeX RDF
66	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
65	Martin Seysen	Using an RSA Accelerator for Modular Inversion.	CHES	2005	DBLP DOI BibTeX RDF	Smart card coprocessor, Euclidean algorithm, modular inversion
65	Boris Balacheff, Liqun Chen 0002, David Plaquin, Graeme Proudler	A trusted process to digitally sign a document.	NSPW	2001	DBLP DOI BibTeX RDF	TCPA, authenticated image, trusted display, digital signatures, smart card
64	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
63	Aisha Fouad Bushager, Mark Zwolinski	Modelling Smart Card Security Protocols in SystemC TLM.	EUC	2010	DBLP DOI BibTeX RDF
63	Walid Attiaoui, Mohamed Ben Ahmed, Moncef Tagina, Boutheina Chetali	Wrapping and Integrating USB Smart Card to Web Based Heterogeneous Medical Databases: Application for the Pathology of Cancer.	CCECE	2006	DBLP DOI BibTeX RDF
63	Ludovic Casset, Jean-Louis Lanet	Increasing smart card dependability.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
63	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
62	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
61	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
61	Yoichi Seto	Development of personal authentication systems using fingerprint with smart cards and digital signature technologies.	ICARCV	2002	DBLP DOI BibTeX RDF
61	Giampaolo Bella	Mechanising a Protocol for Smart Cards.	E-smart	2001	DBLP DOI BibTeX RDF	smart card protocols, Inductive Approach, authentication, confidentiality, key distribution
60	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
59	Sung Bum Pan, Daesung Moon, Kichul Kim, Yongwha Chung	A VLSI Implementation of Minutiae Extraction for Secure Fingerprint Authentication.	CIS	2006	DBLP DOI BibTeX RDF	fingerprint authentication, minutiae extraction, VLSI, SoC
59	Riza Cenk Erdur, Geylani Kardas	Personalized Access to Semantic Web Agents Using Smart Cards.	Euro-Par	2005	DBLP DOI BibTeX RDF
59	Eun-Jun Yoon, Kee-Young Yoo	Two Security Problems of Efficient Remote Mutual Authentication and Key Agreement.	FGCN (2)	2007	DBLP DOI BibTeX RDF	Authentication, Cryptanalysis, Smart card, Password, Key agreement
59	Hans-Joachim Knobloch	A Smart Card Implementation of the Fiat-Shamir Identification Scheme.	EUROCRYPT	1988	DBLP DOI BibTeX RDF
59	Jean Goutay	Smart Card Applications in Security and Data Protection.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
59	Wansuck Yi, Seungjoo Kim, Dongho Won	Smart Card Based AKE Protocol Using Biometric Information in Pervasive Computing Environments.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	known-key secrecy, authentication, pervasive computing, biometrics, smart card, key exchange, forward secrecy
59	Eun-Jun Yoon, Kee-Young Yoo	An Improved Lu-Cao's Remote User Authentication Scheme Using Smart Card.	EuroPKI	2006	DBLP DOI BibTeX RDF	Authentication, Network security, Smart card, Password
59	Jean-Bernard Fischer, Emmanuel Prouff	Off-Line Group Signatures with Smart Cards.	CARDIS	2006	DBLP DOI BibTeX RDF	smart card, risk management, Group signature, revocation, dynamic group
57	Dirk Husemann, Reto Hermann	Open Card: Talking to Your Smart Card.	IEEE Concurr.	1999	DBLP DOI BibTeX RDF
57	Gerhard de Koning Gans, Jaap-Henk Hoepman, Flavio D. Garcia	A Practical Attack on the MIFARE Classic.	CARDIS	2008	DBLP DOI BibTeX RDF
56	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
54	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
54	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
54	Raul Sánchez-Reillo	Including Biometric Authentication in a Smart Card Operating System.	AVBPA	2001	DBLP DOI BibTeX RDF
54	Denis Sabatier, Pierre Lartigue	The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
54	António Leong, Simon Fong 0001, Shirley W. I. Siu	Smart Card-Based Irregular Access Patterns Detection System.	EEE	2004	DBLP DOI BibTeX RDF	contact-tracing, intrusion diction, real-time system, Smart-card
53	Patrick C. K. Hung, Kamalakar Karlapalem	Security and Privacy Aspects fo Smartflow Internet Payment System.	HICSS	1999	DBLP DOI BibTeX RDF
53	Mikhail J. Atallah, Marina Bykova	Portable and Flexible Document Access Control Mechanisms.	ESORICS	2004	DBLP DOI BibTeX RDF
53	Tao Zhang 0037, Santosh Pande, Antonio Valverde Garcia	Tamper-resistant whole program partitioning.	LCTES	2003	DBLP DOI BibTeX RDF	ramper resistance, smart card, mobile code, program partitioning
53	Won Jay Song, Byung-Ha Ahn	Secure Transmission of the Prescription Order Communication System Based on the Internet and the Public-Key Infrastructure Using Master Smart Cards in the 2-Way Type Terminal.	HICSS	2002	DBLP DOI BibTeX RDF	2-Way Type Terminal, Internet, Digital Signature, Smart Card, Public-Key Infrastructure, Healthcare Information System
53	Stéphane Bonnet, Olivier Potonniée, Raphaël Marvie, Jean-Marc Geib	A Model-Driven Approach for Smart Card Configuration.	GPCE	2004	DBLP DOI BibTeX RDF
53	Pierpaolo Baglietto, Francesco Moggia, Nicola Zingirian, Massimo Maresca	Application Level Smart Card Support through Networked Mobile Devices.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF
52	Christoph Herbst, Elisabeth Oswald, Stefan Mangard	An AES Smart Card Implementation Resistant to Power Analysis Attacks.	ACNS	2006	DBLP DOI BibTeX RDF	DPA resistance, smart card, AES
52	Eun-Jun Yoon, Kee-Young Yoo	Efficient Mutual Authentication Scheme with Smart Card.	PRIMA	2006	DBLP DOI BibTeX RDF	Authentication, Network security, Smart card, Secure protocol, Password
52	Wael William Zakhari Malek, Keith Mayes, Constantinos Markantonakis	Fraud Detection and Prevention in Smart Card Based Environments Using Artificial Intelligence.	CARDIS	2008	DBLP DOI BibTeX RDF
52	Tommaso Cucinotta, Marco Di Natale, David Corcoran	A Protocol for Programmable Smart Cards.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
51	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
50	Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé	A Smart Card-Based Mental Poker System.	CARDIS	2006	DBLP DOI BibTeX RDF	Smart cards and applications in the Internet, Cryptographic protocols for smart cards, E-gambling, Mental poker
50	Didier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas	Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP / MOM Approach in the Context of Java Cards.	E-smart	2001	DBLP DOI BibTeX RDF
50	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
50	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
49	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Automated Test and Oracle Generation for Smart-Card Applications.	E-smart	2001	DBLP DOI BibTeX RDF
49	Louis C. Guillou, Michel Ugon	Smart Card, a Highly Reliable and Portable Security Device.	CRYPTO	1986	DBLP DOI BibTeX RDF
48	Youngsook Lee, Dongho Won	Enhancing of a Password-Based Authentication Scheme Using Smart Cards.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	two-factor security, smart card, dictionary attack, impersonation attack, Authentication scheme
48	Eun-Jun Yoon, Kee-Young Yoo	Improving the Dynamic ID-Based Remote Mutual Authentication Scheme.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Dynamic ID, Authentication, Smart card, Password, Reflection attack
48	Minsoo Lee, Sehyun Park, Sungik Jun	A Security Management Framework with Roaming Coordinator for Pervasive Services.	ATC	2006	DBLP DOI BibTeX RDF	security, pervasive computing, smart card, roaming, 4G, context management, ubiquitous networks, AAA
48	Jung Youp Lee, Seok Won Jung, Jongin Lim 0001	Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.	TestCom	2005	DBLP DOI BibTeX RDF	Trapdoor, Smart Card, Timing Analysis, Power Analysis
48	Michael Hartmann, Sachar Paulus, Tsuyoshi Takagi	NICE - New Ideal Coset Encryption.	CHES	1999	DBLP DOI BibTeX RDF	fast decryption, quadratic order, smart card implementation, public-key cryptosystem
48	Geylani Kardas, Ebru Celikel	A Smart Card Mediated Mobile Platform for Secure E-Mail Communication.	ITNG	2007	DBLP DOI BibTeX RDF
48	Juan Jesús Sánchez Sánchez, Daniel Díaz Sánchez, José Alberto Vigo Segura, Natividad Martínez Madrid, Ralf Seepold	Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards.	CARDIS	2006	DBLP DOI BibTeX RDF
48	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
48	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	A-MOST	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
48	Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll	Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.	ESORICS	2003	DBLP DOI BibTeX RDF
48	Simon W. Moore, Robert D. Mullins, Paul A. Cunningham, Ross J. Anderson, George S. Taylor	Improving Smart Card Security Using Self-Timed Circuits.	ASYNC	2002	DBLP DOI BibTeX RDF
48	Thirimachos Bourlai, Josef Kittler, Kieron Messer	Designing a smart-card-based face verification system: empirical investigation.	Mach. Vis. Appl.	2009	DBLP DOI BibTeX RDF	Optimisation, System design, Smart card, Face verification
48	Eun-Jun Yoon, Kee-Young Yoo	Enhanced Three-Round Smart Card-Based Key Exchange Protocol.	ATC	2008	DBLP DOI BibTeX RDF	Authentication, Cryptography, Cryptanalysis, Smart card, Password, Key exchange
48	A. Maciej Rossudowski, Hein S. Venter, Jan H. P. Eloff	Personal Anomaly-based Intrusion Detection Smart Card Using Behavioural Analysis.	SEC	2007	DBLP DOI BibTeX RDF	personal IDS, smart card, Intrusion Detection System, IDS, behavioural analysis
48	Bo Yang, Liu Dongsu, Yumin Wang	An anonymity-revoking e-payment system with a smart card.	Int. J. Digit. Libr.	2002	DBLP DOI BibTeX RDF	E-payment systems, Smart card, Anonymity revocation
47	Michael Neve, Eric Peeters, David Samyde, Jean-Jacques Quisquater	Memories: A Survey of Their Secure Uses in Smart Cards.	IEEE Security in Storage Workshop	2003	DBLP DOI BibTeX RDF	Secure memories, Smart cards, Tamper resistance, Side channels, Secure hardware