IEICE SEARCH SYSTEM

Keyword : provable security

Provable Security against Cryptanalysis with Impossible Differentials Kazumaro AOKI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/01/01 Vol. E96-A No. 1 pp. 233-236 Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security) Category: Keyword: impossible differential, cryptanalysis with impossible differentials, differential cryptanalysis, provable security, Markov cipher,
	Summary \| Full Text:PDF (78.7KB)

Efficient Fully Simulatable Oblivious Transfer from the McEliece Assumptions Bernardo MACHADO DAVID Anderson C.A. NASCIMENTO Rafael T. DE SOUSA, JR.
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/11/01 Vol. E95-A No. 11 pp. 2059-2066 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: oblivious transfer, McEliece assumptions, provable security, post quantum cryptography, cryptography,
	Summary \| Full Text:PDF (339.5KB)

Collision Resistance of Hash Functions in a Weak Ideal Cipher Model Shoichi HIROSE Hidenori KUWAKADO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/01/01 Vol. E95-A No. 1 pp. 252-255 Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security) Category: Keyword: hash function, provable security, collision resistance,
	Summary \| Full Text:PDF (98.8KB)

Threshold Anonymous Password-Authenticated Key Exchange Secure against Insider Attacks SeongHan SHIN Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/11/01 Vol. E94-D No. 11 pp. 2095-2110 Type of Manuscript: Special Section PAPER (Special Section on Information and Communication System Security) Category: Keyword: password-authenticated key exchange, passwords, on-line/off-line dictionary attacks, anonymity, insider attacks, provable security,
	Summary \| Full Text:PDF (695.2KB)

Efficient Convertible Undeniable Signatures with Delegatable Verification Jacob C. N. SCHULDT Kanta MATSUURA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/01/01 Vol. E94-A No. 1 pp. 71-83 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Identification Keyword: undeniable signatures, universal/selective convertibility, provable security,
	Summary \| Full Text:PDF (427KB)

Anonymous Password-Authenticated Key Exchange: New Construction and Its Extensions SeongHan SHIN Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/01/01 Vol. E93-A No. 1 pp. 102-115 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Secure Protocol Keyword: authenticated key exchange, passwords, on-line/off-line dictionary attacks, password-authenticated key exchange, anonymity, efficiency, provable security,
	Summary \| Full Text:PDF (451.2KB)

New Identity-Based Blind Signature and Blind Decryption Scheme in the Standard Model Le Trieu PHONG Wakaha OGATA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/08/01 Vol. E92-A No. 8 pp. 1822-1835 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Theory Keyword: blind HIBE, identity-based blind signature, blind decryption, provable security, standard model,
	Summary \| Full Text:PDF (439.2KB)

Leaky Random Oracle Kazuki YONEYAMA Satoshi MIYAGAWA Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/08/01 Vol. E92-A No. 8 pp. 1795-1807 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Theory Keyword: hash function, random oracle model, standard model, provable security, leakage,
	Summary \| Full Text:PDF (256.3KB)

A Secure Construction for Threshold Anonymous Password-Authenticated Key Exchange SeongHan SHIN Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/11/01 Vol. E91-A No. 11 pp. 3312-3324 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: password authentication, key exchange, PAKE, anonymity, provable security,
	Summary \| Full Text:PDF (401.3KB)

Seven New Block Cipher Structures with Provable Security against Differential Cryptanalysis Jongsung KIM Changhoon LEE Jaechul SUNG Seokhie HONG Sangjin LEE Jongin LIM
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/10/01 Vol. E91-A No. 10 pp. 3047-3058 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: provable security, differential cryptanalysis, linear cryptanalysis, Feistel, CLEFIA, MISTY,
	Summary \| Full Text:PDF (318.6KB)

RSA-Based Password-Authenticated Key Exchange, Revisited SeongHan SHIN Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2008/05/01 Vol. E91-D No. 5 pp. 1424-1438 Type of Manuscript: Special Section PAPER (Special Section on Information and Communication System Security) Category: Key Management Keyword: password authentication, key exchange, RSA, on-line/off-line attacks, e-residue attacks, provable security,
	Summary \| Full Text:PDF (406.4KB)

Security of the Five-Round KASUMI Type Permutation Tetsu IWATA Tohru YAGI Kaoru KUROSAWA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/01/01 Vol. E91-A No. 1 pp. 30-38 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Symmetric Cryptography Keyword: blockcipher, KASUMI, adaptive chosen plaintext and chosen ciphertext attacks, provable security,
	Summary \| Full Text:PDF (263.4KB)

A Secure Authenticated Key Exchange Protocol for Credential Services SeongHan SHIN Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/01/01 Vol. E91-A No. 1 pp. 139-149 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Protocols Keyword: password authentication, key exchange, leakage of stored secrets, roaming protocol, password-enabled PKI, credential services, provable security,
	Summary \| Full Text:PDF (267.1KB)

Provably Secure Untraceable Electronic Cash against Insider Attacks Yoshikazu HANATANI Yuichi KOMANO Kazuo OHTA Noboru KUNIHIRO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/05/01 Vol. E90-A No. 5 pp. 980-991 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: blind multisignature, electronic cash, provable security, random oracle model, insider attacks,
	Summary \| Full Text:PDF (280.5KB)

A Study of Blind Message Authentication Codes Chanathip NAMPREMPRE Gregory NEVEN Michel ABDALLA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/01/01 Vol. E90-A No. 1 pp. 75-82 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Signatures Keyword: provable security, blind signatures, blind MACs,
	Summary \| Full Text:PDF (205.6KB)

PGV-Style Block-Cipher-Based Hash Families and Black-Box Analysis Wonil LEE Mridul NANDI Palash SARKAR Donghoon CHANG Sangjin LEE Kouichi SAKURAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/01/01 Vol. E88-A No. 1 pp. 39-48 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Symmetric Key Cryptography Keyword: hash function, block cipher, black-box model, provable security,
	Summary \| Full Text:PDF (265.6KB)

Provably Secure Three-Party Password-Authenticated Key Exchange Chun-Li LIN Hsiang-An WEN Tzonelih HWANG Hung-Min SUN
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/11/01 Vol. E87-A No. 11 pp. 2990-3000 Type of Manuscript: PAPER Category: Information Security Keyword: cryptography, password, dictionary attack, authentication, key exchange, provable security,
	Summary \| Full Text:PDF (369.1KB)

On the Pseudorandomness of KASUMI Type Permutations Tetsu IWATA Tohru YAGI Kaoru KUROSAWA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/05/01 Vol. E87-A No. 5 pp. 1098-1109 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: cryptography, block cipher, KASUMI, pseudorandomness, provable security,
	Summary \| Full Text:PDF (296.1KB)

A Fast Signature Scheme with New On-line Computation Takeshi OKAMOTO Hirofumi KATSUNO Eiji OKAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/05/01 Vol. E87-A No. 5 pp. 1154-1161 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: digital signature, on-line computation, random oracle model, provable security,
	Summary \| Full Text:PDF (186.5KB)

On the Correctness of Security Proofs for the 3GPP Confidentiality and Integrity Algorithms Tetsu IWATA Kaoru KUROSAWA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/05/01 Vol. E87-A No. 5 pp. 1110-1118 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: cryptography, f 8, f 9, modes of operation, provable security, block cipher, pseudorandom permutation,
	Summary \| Full Text:PDF (211.4KB)

TMAC: Two-Key CBC MAC Kaoru KUROSAWA Tetsu IWATA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/01/01 Vol. E87-A No. 1 pp. 46-53 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Symmetric Cipher Keyword: cryptography, CBC MAC, block cipher, provable security,
	Summary \| Full Text:PDF (276.7KB)

Semantically Secure McEliece Public-Key Cryptosystem Kazukuni KOBARA Hideki IMAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/01/01 Vol. E85-A No. 1 pp. 74-83 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: McEliece public-key cryptosystem, semantic security, provable security, conversion, coding theory,
	Summary \| Full Text:PDF (260.6KB)

A Signature Scheme with Message Recovery as Secure as Discrete Logarithm Masayuki ABE Tatsuaki OKAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/01/01 Vol. E84-A No. 1 pp. 197-204 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: digital signature with message recovery, random oracle model, concrete security analysis, provable security, elliptic curve cryptosystem,
	Summary \| Full Text:PDF (229.2KB)

Multi-Signature Schemes Secure against Active Insider Attacks Kazuo OHTA Tatsuaki OKAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/01/20 Vol. E82-A No. 1 pp. 21-31 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: digital signature, Fiat-Shamir scheme, Schnorr scheme, random oracle model, zero-knowledge interactive proof, provable security,
	Summary \| Full Text:PDF (223.5KB)

On a Structure of Block Ciphers with Provable Security against Differential and Linear Cryptanalysis Mitsuru MATSUI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/01/20 Vol. E82-A No. 1 pp. 117-122 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: block cipher, differential cryptanalysis, linear cryptanalysis, provable security,
	Summary \| Full Text:PDF (201.3KB)

A New Approach to Constructing a Provably Secure Variant of Schnorr's Identification Scheme Satoshi HADA Hatsukazu TANAKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/09/20 Vol. E78-A No. 9 pp. 1154-1159 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Keyword: interactive identification scheme, provable security, Schnorr's scheme, Okamoto's scheme,
	Summary \| Full Text:PDF (472.8KB)