Hideki Sakurada

Available identifiers

zbMath Open sakurada.hidekiMaRDI QIDQ491262

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2957527	2017-01-26	Paper
On compositional reasoning about anonymity and privacy in epistemic logic	2017-01-25	Paper
Semi-automated verification of security proofs of quantum cryptographic protocols	2015-08-24	Paper
Computational and symbolic anonymity in an unbounded network	2013-11-19	Paper
Automatic verification of anonymity of protocols	2013-08-09	Paper
Computational soundness of indistinguishability properties without computable parsing	2012-06-29	Paper
Role interchange for anonymity and privacy of voting	2011-01-19	Paper
Probabilistic anonymity via coalgebraic simulations	2010-05-27	Paper
Theorem-proving anonymity of infinite-state systems	2010-01-29	Paper
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption	2009-06-09	Paper

Research outcomes over time

This page was built for person: Hideki Sakurada