Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

JCS
2008

favoriteEmaildiscussreport

88views more JCS 2008»

A secure compiler for session abstractions

13 years 4 months ago

A secure compiler for session abstractions

Download moscova.inria.fr

Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni

Ricardo Corin, Pierre-Malo Deniélou, C&eacu

Real-time Traffic

JCS 2008 | MSR-INRIA Joint Centre | Session Abstractions | Session Type |

claim paper

Related Content

» A Protocol Compiler for Secure Sessions in ML

» Secure Implementations for Typed Session Abstractions

» Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

» Security Types Preserving Compilation Extended Abstract

» Secure Compilation to Modern Processors

» Protocol Security and Algebraic Properties Decision Results for a Bounded Number of Sessio...

» Secure Forwarding Scheme Based on Session Key Reuse Mechanism in HMIPv6 with AAA

» Security of Multithreaded Programs by Compilation

» SessionBased Distributed Programming in Java

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JCS
Authors	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

Comments (0)