dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Karthikeyan Bhargavan (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF 2009: 124-140
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: A secure compiler for session abstractions. Journal of Computer Security 16(5): 573-636 (2008)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186

Selection of 3 from 39 records - Karthikeyan Bhargavan has 32 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page