The following pages link to Karthikeyan Bhargavan (Q557892):
Displaying 19 items.
- Network event recognition (Q812048) (← links)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- (Q2754032) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Proving the TLS Handshake Secure (As It Is) (Q2874540) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Formal verification of standards for distance vector routing protocols (Q3455541) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- What packets may come (Q5178884) (← links)
- Modular verification of security protocol code by typing (Q5255101) (← links)
- Formal Methods for Components and Objects (Q5311305) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)
- Gradual typing embedded securely in JavaScript (Q5408437) (← links)
- (Q5447364) (← links)
- Principles of Distributed Systems (Q5713679) (← links)
- Formal Modeling and Verification for Domain Validation and ACME (Q5854445) (← links)
- Practical Formal Methods for Real World Cryptography (Invited Talk) (Q5875633) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- A semantics for web services authentication (Q5899514) (← links)
