Searching for authors named "Karthikeyan Bhargavan" – sorted by Relevance.
-
Microsoft Research ABSTRACT Secure Sessions for Web Services
- Karthikeyan Bhargavan Microsoft Research ABSTRACT Secure Sessions for Web Services Ricardo Corin
- Add To MetaCart
-
Network Event Recognition for Packet-Mode Surveillance
- Network Event Recognition for Packet-Mode Surveillance Karthikeyan Bhargavan University
- Cited by 1 (1 self) – Add To MetaCart
-
Requirements for a Practical Network Event Recognition Language
- Karthikeyan Bhargavan University of Pennsylvania bkarthik@(email omitted); Carl A. Gunter University
- Cited by 1 (0 self) – Add To MetaCart
-
Verified Interoperable Implementations of Security Protocols
- Verified Interoperable Implementations of Security Protocols Karthikeyan Bhargavan ∗ Cédric
- Add To MetaCart
-
A Semantics for Web Services Authentication
- A Semantics for Web Services Authentication Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon
- Cited by 28 (9 self) – Add To MetaCart
-
Routing Information Protocol in HOL/SPIN
- Routing Information Protocol in HOL/SPIN Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic
- Cited by 2 (0 self) – Add To MetaCart
-
Fault Origin Adjudication
- Fault Origin Adjudication Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic Department
- Cited by 6 (1 self) – Add To MetaCart
-
Verified Reference Implementations of WS-Security Protocols
- Verified Reference Implementations of WS-Security Protocols Karthikeyan Bhargavan, Cédric Fournet
- Cited by 10 (2 self) – Add To MetaCart
-
Secure Implementations for Typed Session Abstractions
- ,2 Cédric Fournet 1,2 Karthikeyan Bhargavan 1,2 James Leifer 1 1 MSR-INRIA Joint Centre 2 Microsoft Research
- Cited by 9 (3 self) – Add To MetaCart
-
Formal Verification of Standards for Distance Vector Routing Protocols
- Formal Verication of Standards for Distance Vector Routing Protocols Karthikeyan Bhargavan, Davor
- Cited by 37 (3 self) – Add To MetaCart

