Get started
Author

Nataliya Guts

Lightweight monadic programming in ML
2011 · Nikhil Swamy, Nataliya Guts, et al. · ACM SIGPLAN Notices · 31
Reliable Evidence: Auditability by Typing
2009 · Nataliya Guts, Cédric Fournet, et al. · Lecture notes in computer science · 30
Lightweight monadic programming in ML
2011 · Nikhil Swamy, Nataliya Guts, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 28
Polymonadic Programming
2014 · Michael Hicks, Gavin Bierman, et al. · Electronic Proceedings in Theoretical Computer Science · 20
Typechecking Higher-Order Security Libraries
2010 · Karthik Bhargavan, Cédric Fournet, et al. · Lecture notes in computer science · 7
A Formal Implementation of Value Commitment
2008 · Cédric Fournet, Nataliya Guts, et al. · Springer eBooks · 5
Coordinating mobile agents in interaction spaces
2007 · Frédéric Peschanski, Alexis Darrasse, et al. · Science of Computer Programming · 4
Pre- and Post-conditions for Security Typechecking
2010 · Karthik Bhargavan, Cédric Fournet, et al. · 1
Auditabilité pour les protocoles de sécurité
2011 · Nataliya Guts · OpenGrey (Institut de l'Information Scientifique et Technique)
New Results - Models of Audit Logs
2008 · Cédric Fournet, Nataliya Guts, et al.
Works count: 16
Citation count: 126
H-index: 5
I10-index: 4
Year
Topic
Type