Pages that link to "Item:Q2796143"
From MaRDI portal
The following pages link to Simplified Universal Composability Framework (Q2796143):
Displaying 4 items.
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- MoSS: modular security specifications framework (Q2128988) (← links)
- R3PO: reach-restricted reactive program obfuscation and its applications (Q6635820) (← links)
