The following pages link to Hideki Sakurada (Q491262):
Displayed 10 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- On compositional reasoning about anonymity and privacy in epistemic logic (Q504214) (← links)
- Theorem-proving anonymity of infinite-state systems (Q845891) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Automatic verification of anonymity of protocols (Q2843195) (← links)
- Computational and Symbolic Anonymity in an Unbounded Network (Q2858139) (← links)
- Computational Soundness of Indistinguishability Properties without Computable Parsing (Q2894343) (← links)
- (Q2957527) (← links)
- Role Interchange for Anonymity and Privacy of Voting (Q3069729) (← links)
- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375) (← links)