Searching for authors named "Francien Dechesne" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Declarations of Dependence
- …Declarations of Dependence Francien Dechesne 1 Department of Mathematics and Computer Science…
- Add To MetaCart
-
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- …Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap Francien Dechesne 1…
- Add To MetaCart
-
Signaling in IF games: a tricky business
- …Signaling in IF games: a tricky business Theo M.V. Janssen and Francien Dechesne, (theo…
- Cited by 1 (0 self) – 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 4.
