Types for Cryptographic Protocols

A calculus for cryptographic protocols

Information and Computation

Secrecy by typing in security protocols

Journal of the ACM (JACM)

Analyzing security protocols with secrecy types and logic programs

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A bisimulation method for cryptographic protocols

Nordic Journal of Computing

On Bisimulations for the Spi Calculus

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

The Game of the Name in Cryptographic Tables

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science

Message Authentication through Non Interference

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems

Typed MSR: Syntax and Examples

MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security

Secrecy Types for Asymmetric Communication

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures

Secure Implementation of Channel Abstractions

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science

Proof Techniques for Cryptographic Processes

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science

Types and Effects for Asymmetric Cryptographic Protocols

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations

Proving Trust in Systems of 2nd-Order Processes: Preliminary Results

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7

Authenticity by Typing for Security Protocols

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations

A Compositional Logic for Protocol Correctness

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations

The modelling and analysis of security protocols: the csp approach

The modelling and analysis of security protocols: the csp approach