Theory of Security and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642273742, 9783642273759

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructive Cryptography – A New Paradigm for Security Definitions and Proofs

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_3 ◽

2012 ◽

pp. 33-56 ◽

Cited By ~ 56

Author(s):

Ueli Maurer

Keyword(s):

New Paradigm

Download Full-text

Model-Checking Secure Information Flow for Multi-threaded Programs

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_9 ◽

2012 ◽

pp. 148-165 ◽

Cited By ~ 6

Author(s):

Marieke Huisman ◽

Henri-Charles Blondeel

Keyword(s):

Model Checking ◽

Information Flow ◽

Secure Information

Download Full-text

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_10 ◽

2012 ◽

pp. 166-185

Author(s):

Florent Jacquemard ◽

Étienne Lozes ◽

Ralf Treinen ◽

Jules Villard

Keyword(s):

First Order ◽

Congruence Relations ◽

Pi Calculus

Download Full-text

Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_12 ◽

2012 ◽

pp. 205-224

Author(s):

Sreekanth Malladi

Keyword(s):

Protocol Analysis ◽

Exclusive Or

Download Full-text

Automated Code Injection Prevention for Web Applications

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_11 ◽

2012 ◽

pp. 186-204 ◽

Cited By ~ 5

Author(s):

Zhengqin Luo ◽

Tamara Rezk ◽

Manuel Serrano

Keyword(s):

Web Applications ◽

Code Injection

Download Full-text

G2C: Cryptographic Protocols from Goal-Driven Specifications

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_4 ◽

2012 ◽

pp. 57-77 ◽

Cited By ~ 1

Author(s):

Michael Backes ◽

Matteo Maffei ◽

Kim Pecina ◽

Raphael M. Reischuk

Keyword(s):

Cryptographic Protocols

Download Full-text

Formal Analysis of the EMV Protocol Suite

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_7 ◽

2012 ◽

pp. 113-129 ◽

Cited By ~ 11

Author(s):

Joeri de Ruiter ◽

Erik Poll

Keyword(s):

Formal Analysis

Download Full-text

Secure Composition of Protocols

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_2 ◽

2012 ◽

pp. 29-32 ◽

Cited By ~ 1

Author(s):

Véronique Cortier

Download Full-text

Security Goals and Protocol Transformations

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_8 ◽

2012 ◽

pp. 130-147 ◽

Cited By ~ 4

Author(s):

Joshua D. Guttman

Download Full-text

Union and Intersection Types for Secure Protocol Implementations

Theory of Security and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27375-9_1 ◽

2012 ◽

pp. 1-28 ◽

Cited By ~ 7

Author(s):

Michael Backes ◽

Cătălin Hriţcu ◽

Matteo Maffei

Keyword(s):

Secure Protocol ◽

Intersection Types

Download Full-text

Theory of Security and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Constructive Cryptography – A New Paradigm for Security Definitions and Proofs

Model-Checking Secure Information Flow for Multi-threaded Programs

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR

Automated Code Injection Prevention for Web Applications

G2C: Cryptographic Protocols from Goal-Driven Specifications

Formal Analysis of the EMV Protocol Suite

Secure Composition of Protocols

Security Goals and Protocol Transformations

Union and Intersection Types for Secure Protocol Implementations

Theory of Security and Applications - Lecture Notes in Computer Science
Latest Publications