Programming Languages and Systems

by Pierpaolo Degano

Most of the existing approaches to applying formal methods to cryptographic protocol analysis stem ultimately from that ...

Concurrency Graphs And Models Essays Dedicated To Ugo Montan...

by Pierpaolo Degano

Automata, languages and programming

by Pierpaolo Degano

Principles of Security and Trust

by Pierpaolo Degano

Formal Aspects of Security and Trust

by Pierpaolo Degano

Computational Methods in Systems Biology

by Pierpaolo Degano

Formal Aspects in Security and Trust

by Pierpaolo Degano

Foundations and Applications of Security Analysis

by Pierpaolo Degano, Luca Viganò

Formal Aspects in Security and Trust

by Pierpaolo Degano, Joshua Guttman

Principles of Security and Trust

by Pierpaolo Degano, Joshua Guttman

Programming Languages with Applications to Biology and Secur...

by Chiara Bodei, Gianluigi Ferrari

Formal Methods for Computational Systems Biology

by Marco Bernardo, Pierpaolo Degano

Formal Aspects in Security and Trust

by Pierpaolo Degano, Joshua Guttman

Formal Aspects of Security and Trust

by Sandro Etalle,Pierpaolo Degano,Joshua Guttman

Concurrency, Graphs and Models

by Pierpaolo Degano, Rocco de Nicola

Sixth Italian Conference on Theoretical Computer Science, Pr...

by Italian Conference on Theoretical Computer Science (6th 1998 Prato, Italy)

Integrated interactive computing systems

by European Conference on Integrated Interactive Computing Systems (1982 Stresa, Italy)

Foundations and applications of security analysis

by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

Formal methods for computational systems biology

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th 2008 Bertinoro, Italy)

Programming languages and systems

by European Symposium on Programming (12th 2003 Warsaw, Poland)