Hideki Sakurada

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 6678480 (Why is no real title available?)	2017-01-26	Paper
On compositional reasoning about anonymity and privacy in epistemic logic Annals of Mathematics and Artificial Intelligence	2017-01-25	Paper
Semi-automated verification of security proofs of quantum cryptographic protocols Journal of Symbolic Computation	2015-08-24	Paper
Computational and symbolic anonymity in an unbounded network JSIAM Letters	2013-11-19	Paper
Automatic verification of anonymity of protocols JSIAM Letters	2013-08-09	Paper
Computational soundness of indistinguishability properties without computable parsing Information Security Practice and Experience	2012-06-29	Paper
Role interchange for anonymity and privacy of voting Journal Of Logic And Computation	2011-01-19	Paper
Probabilistic anonymity via coalgebraic simulations Theoretical Computer Science	2010-05-27	Paper
Theorem-proving anonymity of infinite-state systems Information Processing Letters	2010-01-29	Paper
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption Formal to Practical Security	2009-06-09	Paper

Research outcomes over time

This page was built for person: Hideki Sakurada