Formal to Practical Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642020018, 9783642020025

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_1 ◽

2009 ◽

pp. 1-20 ◽

Cited By ~ 1

Author(s):

Reynald Af feldt ◽

Hubert Comon-Lundh

Keyword(s):

Security Protocols ◽

Bounded Number

Download Full-text

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_9 ◽

2009 ◽

pp. 158-180 ◽

Cited By ~ 1

Author(s):

Yusuke Kawamoto ◽

Hideki Sakurada ◽

Masami Hagiya

Download Full-text

Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_7 ◽

2009 ◽

pp. 116-137 ◽

Cited By ~ 1

Author(s):

Yuki Hara ◽

Taiki Ishiwata ◽

Junji Shikata ◽

Tsutomu Matsumoto

Keyword(s):

Authentication Codes

Download Full-text

Writing an OS Kernel in a Strictly and Statically Typed Language

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_10 ◽

2009 ◽

pp. 181-197 ◽

Cited By ~ 2

Author(s):

Toshiyuki Maeda ◽

Akinori Yonezawa

Download Full-text

Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_4 ◽

2009 ◽

pp. 57-69 ◽

Cited By ~ 14

Author(s):

Claude Barral ◽

Assia Tria

Keyword(s):

Fingerprint Recognition

Download Full-text

Comparing State Spaces in Automatic Security Protocol Analysis

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_5 ◽

2009 ◽

pp. 70-94 ◽

Cited By ~ 24

Author(s):

Cas J. F. Cremers ◽

Pascal Lafourcade ◽

Philippe Nadeau

Keyword(s):

Protocol Analysis ◽

Security Protocol ◽

State Spaces

Download Full-text

Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_6 ◽

2009 ◽

pp. 95-115 ◽

Cited By ~ 5

Author(s):

Georg Fuchsbauer ◽

David Pointcheval

Download Full-text

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_3 ◽

2009 ◽

pp. 33-56 ◽

Cited By ~ 2

Author(s):

Gergei Bana ◽

Koji Hasebe ◽

Mitsuhiro Okada

Keyword(s):

Cryptographic Protocols ◽

Logical Analysis ◽

Computational Semantics ◽

First Order

Download Full-text

Validating Integrity for the Ephemerizer’s Protocol with CL-Atse

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_2 ◽

2009 ◽

pp. 21-32 ◽

Cited By ~ 5

Author(s):

Charu Arora ◽

Mathieu Turuani

Download Full-text

New Anonymity Notions for Identity-Based Encryption

Formal to Practical Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02002-5_8 ◽

2009 ◽

pp. 138-157 ◽

Cited By ~ 2

Author(s):

Malika Izabachène ◽

David Pointcheval

Keyword(s):

Identity Based Encryption ◽

Identity Based

Download Full-text

Formal to Practical Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption

Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment

Writing an OS Kernel in a Strictly and Statically Typed Language

Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin

Comparing State Spaces in Automatic Security Protocol Analysis

Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

Validating Integrity for the Ephemerizer’s Protocol with CL-Atse

New Anonymity Notions for Identity-Based Encryption

Formal to Practical Security - Lecture Notes in Computer Science
Latest Publications