CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Sabina Rossi
Latest
Delimited persistent stochastic non-interference
Information Flow Security for Stochastic Processes
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
Persistent stochastic non-interference
PicNIc - Pi-calculus Non-Interference checker
Cite
×