Secure implementations for typed session abstractions. / Corin, Ricardo; Denielou, Pierre-Malo; Fournet, Cedric; Bhargavan, Karthikeyan; Leifer, James.

20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings. LOS ALAMITOS : IEEE COMPUTER SOC, 2007. p. 170-186.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publication20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings
Place of PublicationLOS ALAMITOS
PublisherIEEE COMPUTER SOC
Pages170-186
Number of pages17
ISBN (Print)978-0-7695-2819-9
DOIs
Publication statusPublished - 2007
Event20th Computer Security Foundation Symposium (CSFS 20) - Venice
Duration: 6 Jul 20078 Jul 2007

Conference

Conference20th Computer Security Foundation Symposium (CSFS 20)
CityVenice
Period6/07/078/07/07
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7670149