Pages that link to "Item:Q1784080"
From MaRDI portal
The following pages link to Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE (Q1784080):
Displaying 6 items.
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Quantifying the security cost of migrating protocols to practice (Q2096478) (← links)
- Jammin' on the deck (Q6132426) (← links)
- Robust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3 (Q6151601) (← links)
- On the security aspects of protocol CRISP (Q6598548) (← links)
- Integrating causality in messaging channels (Q6637331) (← links)
