Pages that link to "Item:Q3617702"
From MaRDI portal
The following pages link to Type-Based Automated Verification of Authenticity in Cryptographic Protocols (Q3617702):
Displaying 6 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Equivalence properties by typing in cryptographic branching protocols (Q2324201) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Automated Verification of Dynamic Root of Trust Protocols (Q3304809) (← links)
- (Q4418585) (← links)
- Modular verification of security protocol code by typing (Q5255101) (← links)