Searching for authors named "Simona Orzan" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- … , MohammadReza Mousavi 1,2 , and Simona Orzan 1 1 Department of Computer Science, Eindhoven University…
- Add To MetaCart
-
Parameterised anonymity
- …Parameterised anonymity Jan Friso Groote and Simona Orzan Department of Computer Science…
- Add To MetaCart
-
Modelling the epistemics of communication with functional programming
- …Modelling the Epistemics of Communication with Functional Programming Jan van Eijck 1,2 and Simona…
- Cited by 3 (1 self) – Add To MetaCart
-
A framework for automatically checking anonymity with mcrl
- … , Simona Orzan 2,1 , Jun Pang 3 , and Muhammad Torabi Dashti 1 1 Centrum voor Wiskunde en Informatica…
- Cited by 3 (2 self) – Add To MetaCart
-
copromotor: dr. J.C. van de PolOn Distributed Verification and Verified Distribution
- … universiteit, De Boelelaan 1105 door Simona Mihaela Orzan geboren te Ia¸si, Roemeniëpromotor: prof.dr. W…
- Add To MetaCart
-
Background SEN1 and SEN 2, Centrum voor Wiskunde en Informatica Security of Multi-party Protocols:
- …: Epistemics and Veri�cation Jan van Eijck, Jaco van de Pol, Yanjing Wang Francien Dechesne, Simona Orzan, Erik…
- Add To MetaCart
Showing 1 through 6.
