gilles barthe

Security and Trust Management

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 9th International Conference on Software En...

Programming Languages and Systems

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESO...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

Engineering Secure Software and Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...

Security and Trust Management

This book constitutes the refereed proceedings of the 12th International Workshop on Security and...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings of the 11th International Conference on Verificati...

Trustworthy Global Computing

This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium ...

Foundations of Security Analysis and Design V

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

This book constitutes the refereed post-proceedings of the Second International Workshop on Const...