The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1951-1960 (16) 1961-1966 (17) 1968-1976 (17) 1977-1982 (19) 1983-1984 (15) 1985-1986 (24) 1987 (22) 1988 (15) 1989 (16) 1990 (28) 1991 (26) 1992 (20) 1993 (19) 1994 (28) 1995 (32) 1996 (48) 1997 (47) 1998 (96) 1999 (75) 2000 (130) 2001 (158) 2002 (182) 2003 (185) 2004 (258) 2005 (291) 2006 (302) 2007 (259) 2008 (292) 2009 (267) 2010 (161) 2011 (169) 2012 (165) 2013 (174) 2014 (174) 2015 (168) 2016 (156) 2017 (166) 2018 (199) 2019 (217) 2020 (218) 2021 (227) 2022 (223) 2023 (246) 2024 (34)
Publication types (Num. hits)
article(1697) book(11) data(2) incollection(57) inproceedings(3774) phdthesis(35) proceedings(25)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2938 occurrences of 1600 keywords

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