Yoshifumi Manabe

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
Free-XOR in card-based garbled circuits	2024-06-05	Paper
Card-based zero-knowledge proof for the nearest neighbor property: zero-knowledge proof of ABC end view Security, Privacy, and Applied Cryptography Engineering	2023-08-04	Paper
Card-based cryptographic protocols with a standard deck of cards using private operations	2022-03-31	Paper
Card-based cryptographic protocols for three-input functions using private operations	2022-03-22	Paper
A three-player envy-free discrete division protocol for mixed manna	2021-07-06	Paper
On compositional reasoning about anonymity and privacy in epistemic logic Annals of Mathematics and Artificial Intelligence	2017-01-25	Paper
Universally composable identity-based encryption Progress in Cryptology - VIETCRYPT 2006	2014-08-21	Paper
Constant-round black-box construction of composable multi-party computation protocol Theory of Cryptography	2014-02-18	Paper
Efficient concurrent oblivious transfer in super-polynomial-simulation security Advances in Information and Computer Security	2013-04-04	Paper
A secure \(M + 1^{\text{st}}\) price auction protocol based on bit slice circuits Advances in Information and Computer Security	2011-11-10	Paper
Meta-Envy-Free Cake-Cutting Protocols Mathematical Foundations of Computer Science 2010	2010-09-03	Paper
An Efficient Anonymous Credential System Financial Cryptography and Data Security	2009-02-12	Paper
Relationship of Three Cryptographic Channels in the UC Framework Provable Security	2009-01-27	Paper
An optimistic fair exchange protocol and its security in the universal composability framework International Journal of Applied Cryptography	2009-01-15	Paper
Theory of Cryptography Lecture Notes in Computer Science	2005-12-07	Paper
\((h,k)\)-arbiters for \(h\)-out-of-\(k\) mutual exclusion problem Theoretical Computer Science	2004-10-27	Paper
\(k\)-Arbiter: A safe and general scheme for \(h\)-out of-\(k\) mutual exclusion Theoretical Computer Science	1998-08-13	Paper
Design of a \(d\)-connected digraph with a minimum number of edges and a quasiminimal diameter. II Discrete Applied Mathematics	1996-07-07	Paper
Global conditions in debugging distributed programs Journal of Parallel and Distributed Computing	1993-01-17	Paper
Fault-tolerant routings in a \(\kappa\)-connected network Information Processing Letters	1988-01-01	Paper
scientific article; zbMATH DE number 4102998 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Yoshifumi Manabe