The following pages link to Myrto Arapinis (Q476177):
Displaying 11 items.
- Bounding messages for free in security protocols -- extension to various security properties (Q476179) (← links)
- When are three voters enough for privacy properties? (Q2165487) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity (Q2894321) (← links)
- (Q4598262) (← links)
- Dynamic Tags for Security Protocols (Q4979449) (← links)
- Practical Everlasting Privacy (Q5326751) (← links)
- Bounding Messages for Free in Security Protocols (Q5458850) (← links)
- From One Session to Many: Dynamic Tags for Security Protocols (Q5505548) (← links)
- Astrolabous: a universally composable time-lock encryption scheme (Q6157525) (← links)
- Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications (Q6202247) (← links)