joshua d guttman

Formal Aspects of Security and Trust

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

Foundations of Security, Protocols, and Equational Reasoning

Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and to...

Formal Aspects in Security and Trust

Principles of Security and Trust

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

Formal Aspects in Security and Trust

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...

Logic, Language, and Security

This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov ha...

VLISP A Verified Implementation of Scheme

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

Formal Aspects in Security and Trust

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

Formal Aspects in Security and Trust

The present volume contains the proceedings of the 6th International workshop on Formal Aspects o...

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....

Foundations of Security, Protocols, and Equational Reasoning

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