Foundations of Security, Protocols, and Equational Reasoning

Catherine A. Meadows has been a pioneer in deve...

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed p...

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

This book constitutes the thoroughly refereed p...

Principles of Security and Trust

This book constitutes the refereed proceedings ...

Logic, Language, and Security

This Festschrift is in honor of Prof. Andre Sce...

VLISP A Verified Implementation of Scheme

The VLISP project showed how to produce a compr...

Formal Aspects in Security and Trust

The present volume contains the proceedings of ...

Formal Aspects in Security and Trust

The present volume contains the proceedings of ...

VLISP A Verified Implementation of Scheme

The VLISP project showed how to produce a compr...

Foundations of Security, Protocols, and Equational Reasoning

This Festschrift volume is published in honor o...

Logic, Language, and Security

This Festschrift was published in honor of Andr...