The following pages link to Information Security (Q5493620):
Displayed 7 items.
- Joint state composition theorems for public-key encryption and digital signature functionalities with local computation (Q2210436) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Policy-compliant signatures (Q2697898) (← links)
- UC Commitments for Modular Protocol Design and Applications to Revocation and Attribute Tokens (Q2829948) (← links)
- Universal Composition with Responsive Environments (Q2953797) (← links)
- Universally Composable Private Proximity Testing (Q3092361) (← links)
- Giving an adversary guarantees (or: how to model designated verifier signatures in a composable framework) (Q6157549) (← links)