Pages that link to "Item:Q2464139"
From MaRDI portal
The following pages link to The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139):
Displaying 14 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Long-term security and universal composability (Q604632) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- Stateful protocol composition (Q2167741) (← links)
- Composable and finite computational security of quantum message transmission (Q2175915) (← links)
- GNUC: a new universal composability framework (Q2516522) (← links)
- Universal Composition with Responsive Environments (Q2953797) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Incoercible Multi-party Computation and Universally Composable Receipt-Free Voting (Q3457094) (← links)
- On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Quantifying information flow in cryptographic systems (Q5740629) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
