Secure Implementations for Typed Session Abstractions (2007)

by Ricardo Corin , Pierre-malo Deniélou , Cédric Fournet , Karthikeyan Bhargavan , James Leifer
Venue:In CFS’07. IEEE-CS
Citations:26 - 6 self