Formal Aspects in Security and Trust

Automata, languages and programming

Principles of Security and Trust

Formal Aspects of Security and Trust

Formal Aspects in Security and Trust

Computational Methods in Systems Biology

Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday

Programming Languages and Systems

Principles of Security and Trust

Formal Aspects in Security and Trust

Foundations and Applications of Security Analysis