1. A general framework for nondeterministic, probabilistic, and stochastic noninterference;Aldini,2009
2. Lumping-based equivalences in markovian automata: algorithms and applications to product-form analyses;Alzetta;Inf. Comput.,2018
3. Intransitive non-interference for cryptographic purposes;Backes,2003
4. If this then what? Controlling flows in iot apps;Bastys,2018
5. Cosmedis: a distributed social media platform with formally verified confidentiality guarantees;Bauereiß,2017