A Policy Model for Secure Information Flow.- A General Framework for Nondeterministic, Probabilis...

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

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

Invited Lecture.- Semantics and Enforcement of Expressive Information Flow Policies.- Session 1. ...

This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincel...

Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- ...