Publications

• K. Bhargavan, C. Fournet, N. Guts:
  Pre- and Post-conditions for Security Typechecking.
  To be presented at FSC-PrivMod, 2010. Extended version submitted for publication.
• N. Guts, C. Fournet, F. Zappa Nardelli:
  Reliable Evidence: Auditability by Typing.
  In ESORICS'09, vol. 5789 of LNCS, pp.168-183, Springer, 2009.
• C. Fournet, N. Guts, F. Zappa Nardelli:
  A Formal Implementation of Value Commitment.
  In ESOP'08, vol. 4960 of LNCS, pp.383-397, Springer, 2008.
• F. Peschanski, A. Darrasse, N. Guts, J. Bobbio:
  Coordinating Mobile Agents in Interaction Spaces,
  Science of Computer Programming, vol. 66, pp. 246-265, Elsevier, 2007.