Pages that link to "Item:Q3092172"
From MaRDI portal
The following pages link to Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172):
Displaying 4 items.
- Equivalence properties by typing in cryptographic branching protocols (Q2324201) (← links)
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (Q3617702) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Modular verification of security protocol code by typing (Q5255101) (← links)