che-chandler.de

Formal Aspects in Security and Trust

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

VLISP A Verified Implementation of Scheme

The VLISP project showed how to produce a comprehensively verified implemen- tation for a program...

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

Formal Aspects in Security and Trust

Principles of Security and Trust

This book constitutes the refereed proceedings of the first International Conference on Principle...

Foundations of Security, Protocols, and Equational Reasoning

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays present...

Logic, Language, and Security

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

Formal Aspects in Security and Trust

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

VLISP A Verified Implementation of Scheme

The VLISP project showed how to produce a comprehensively verified implemen tation for a programm...

Logic, Language, and Security

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday....

Principles of Security and Trust

This book constitutes the refereed proceedings of the first International Conference on Principle...

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...