Publications of Dr. Francien Dechesne

On epistemic modeling and verification of security protocols:

articles

• Francien Dechesne and Yanjing Wang: To know or not to know - epistemic approaches to security protocol analysis (2010)
  Synthese, to appear. Prepublication online first available, 2010.
• Rob Verhoeven and Francien Dechesne: Verifying multi-party authentication using rank functions and PVS (2009)
  Proceedings of FAST 2008, volume 5491 of Lecture Notes in Computer Science, pages 226--241, Springer-Verlag, 2009.
  (Corresponding PVS code available here.)
• Francien Dechesne, Simona Orzan & Yanjing Wang: Refinement of Kripke Models for Dynamics (2008)
  Proceedings of ICTAC 2008, volume 5160 of Lecture Notes in Computer Science, pages 111--125, Springer-Verlag, September 2008.
• Francien Dechesne, Mohammad Mousavi & Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the gap (2007)
  Proceedings of LPAR 2007, volume 4790 of Lecture Notes in Artificial Intelligence, pages 226--241, Springer-Verlag, October 2007.
• Francien Dechesne & Yanjing Wang: Dynamic epistemic verification of security protocols: framework and case study (2007)
  Proceedings of the workshop Logic, Rationality and Interaction (5-9 August 2007, Beijing, China).

other

• Yanjing Wang, Francien Dechesne: On expressive power and class invariance, technical note available at arXiv (May 2009).
• Francien Dechesne, Jan van Eijck, Wouter Teepe, Yanjing Wang: What is Protocol Analysis?, and: Protocol Analysis and Dynamic Epistemic Logic, pp. 135-146 and pp. 147-162 in: Discourses on Social Software, Jan van Eijck and Rineke Verbrugge (eds), Vol. 5 of Texts in Logic and Games (2009)

On logic and game semantics with imperfect information (IF-logic):

articles

• Xavier Caicedo, Francien Dechesne and Theo M.V. Janssen: Equivalence and quanftifier rules for logic with imperfect information (2009),
  Logic Journal of the IGPL 17(1): 91-129. Oxford University Press (doi:10.1093/jigpal/jzn030) (improved version of our ILLC-report)
• Francien Dechesne: Declarations of Dependence (2008)
  In: New perspectives on Games and Interaction, Krzysztof R. Apt and Robert van Rooij (eds), Vol. 4 of Texts in Logic and Games, 2008, pp. 255-263.
  (comments on Modal Dependence Logic by Jouko Väänänen, ibid. pp. 237-254. Presented at the KNAW Academy Colloquium, Feb. 5-7, 2007.)
• Francien Dechesne: Thompson transformations for IF-logic (2006);
  in the Knowledge, Rationality and Action-section of Synthese (volume 149, issue 2, pp. 285-309).
  (Issue dedicated to contributions of the Knowledge and Games workshop, Liverpool, 10-11 July 2004.)
• Theo M.V. Janssen & Francien Dechesne: Signalling: a tricky business (2006);
  In: J. van Benthem et al. (eds), The Age of Alternative Logics: Assessing the Philosophy of Logic and Mathematics Today, Kluwer Academics, pp. 223-242.
• Francien Dechesne: Falsity conditions for IF-Sentences (2005);
  Philosophia Scientiae, volume 9, cahier 2, 2005, pp. 305-322.
  (Volume dedicated to contributions to the conference Philosophical Insights into Logic and Mathematics, Nancy, 30 Sept.-4 Oct. 2002.)

thesis:

Game, Set, Maths: formal investigations into logic with imperfect information (2005, pdf); PhD-thesis, defended on March 21, 2005, at the Department of Philosophy of the University of Tilburg. (Please send me an e-mail if you would like to receive a paper copy.)

other:

• Equivalence and quantifier rules in logic with imperfect information (ILLC-report PP-2007-20)
  joint work with Xavier Caicedo and Theo M.V. Janssen (revised version is now published in the Logic Journal of the IGPL)
• IF-logic requires regular play (2004),
  Abstract for the Prague International Colloquium Logic, Games and Philosophy: Foundational Perspectives, Prague, September 28-October 1, 2004.
• An extensive game model for IF-logic (2002),
  Study paper, presented at the NASSLLI'02 Student Session, Stanford (USA), June 24-30, 2002.
• Investigating the basic notions of Hintikka's independence friendly logic., Computer Science report CS-01-016, Technische Universiteit Eindhoven, 2001.

MSc-thesis (in Dutch)

Some contributions to seminars, workshops and conferences:

• 25-26 May 2009: Mathematical Logic in the Netherlands, Nijmegen (contributed talk)
• 15 May 2009: Desda's Symposium on Intuitionism (session chair and discussion leader)
• 28 Oct 2008: Prose, talk in group seminar at TU/e (about ICTAC-paper)
• 22-26 September 2008: NIAS-workshop Logic and Information Security, Lorentz Center, Leiden
• 15-19 Oct 2007: LPAR 2007, Yerevan, Armenia
• 5 July 2007: Prose, talk in group seminar at TU/e (about LPAR-paper)
• 22 May 2007: Computer Science Department Seminar, University of Liverpool
• 15 May 2007: Foundations of Computer Science Lunch Seminar, Oxford University Computing Laboratory
• 5-7 Feb 2007: KNAW Academie Colloquium "New perspectives on Games and Interaction" (KNAW, Amsterdam), commentator for Jouko Väänänen
• 7 Nov 2006: Informatica Colloquium TU/e (about VEMPS-project)
• 30 Oct-3 Nov 2006: NIAS-workshop "Games, Action and Social Software" (Lorentz Center, Leiden) (slides)
• 12 Oct 2006: SIREN 2006 (poster, 5MB!!))
• 10-16 Sep 2006: FOSAD Summerschool

Organisation of workshops and seminars:

• I co-organized the symposium on the occasion of the 90th birthday of Prof. N.G. de Bruijn, which takes place on September 5, 2008
• I co-coordinated the Prose-seminar of the AIS, FM and OAS groups at the Technische Universiteit Eindhoven.
• I (co-)organized the ZIC-colloquium on Logic and Theoretical Computer Science at the Technische Universiteit Eindhoven (from Spring 2002 until the end of the colloquium.).
• I organized the tenth one-day workshop on Games in Logic, Language and Computation (GLLC), on March 21, 2005 at the University of Tilburg.
• I co-organized the Automath symposium held on May 26, 2004 in Eindhoven.

teaching, supervision:

• Supervision of MSc-project "Classification of attacks on security protocols" by Carst Tankink (2009, cum laude)
• Supervision of MSc-thesis: Rob Verhoeven, Verification of a multiparty security protocol in PVS (2007, cum laude)
• Co-supervision of MSc-theses: Lionel Mamane (Surreal numbers in Coq, 2003, cum laude ), Wynke Stulemeijer (Automath, 2007)
• Teacher of instruction classes for 2IT15: Models of Computation: automata and processes in the Bachelor-curriculum of Technische Informatica (08/09)
• Teaching: I taught the course 2IF40: Proving with computer assistance in the MSc-curriculum for Computer Science and Engineering (academic years 05/06 and 06/07).
• Teaching: practice sessions for the Logic course for first-year philosophy students at the University of Tilburg (academic years 00/01 and 01/02)
• Several teaching assistantships as a mathematics student (academic years 90/90-93/94).

memberships:

• Association of Symbolic Logic (ASL)
• Koninklijk Wiskundig Genootschap (KWG)
• Onderzoeksschool Logica (OzsL)
• Vereniging voor Logica (VvL)
• Nederlandse Vereniging voor Theoretische Informatica (NVTI)