Pages that link to "Item:Q5191499"
From MaRDI portal
The following pages link to FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191499):
Displaying 5 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Moving the bar on computationally sound exclusive-or (Q2148759) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
