Papers
-
Nataliya Guts, Michael Hicks, Nikhil Swamy, Daan Leijen, and Gavin Bierman:
Polymonads.
July 2012, under review.
-
Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks:
Lightweight Monadic Programming in ML.
In ICFP'11.
-
Nataliya Guts:
Auditability for security protocols.
PhD thesis, University Paris Diderot, 2011.
-
K. Bhargavan, C. Fournet, N. Guts:
Typechecking Higher-Order Security Libraries.
In APLAS'10.
-
N. Guts, C. Fournet, F. Zappa Nardelli:
Reliable Evidence: Auditability by Typing.
In ESORICS'09.
-
C. Fournet, N. Guts, F. Zappa Nardelli:
A Formal Implementation of Value Commitment.
In ESOP'08.
-
F. Peschanski, A. Darrasse, N. Guts, J. Bobbio:
Coordinating Mobile Agents in Interaction Spaces.
Science of Computer Programming, 2007.
