G
Gilles Barthe
10 works on record
Works

Security and Trust Management

Programming Languages and Systems

Formal Aspects of Security and Trust

Foundations of Probabilistic Programming

L'enfance spirituelle
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Applied Semantics
Applied Semantics
Trustworthy Global Computing
Trustworthy Global Computing