Yoshifumi Manabe

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 18

Top Topics

Epistemic Logic

Locally Decodable Codes

Private Information Retrieval

Cryptographic Protocols

Top Venues

New Gener. Comput.

Publications

Tomoya Morooka, Yoshifumi Manabe, Kazumasa Shinagawa
Malicious Player Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. ISPEC (2023)
Yoshifumi Manabe, Kazumasa Shinagawa
Free-XOR in Card-Based Garbled Circuits. CANS (2023)
Musashi Takanezawa, Yoshifumi Manabe
Many-to-many perfect matching. AISS (2022)
Takuro Fukasawa, Yoshifumi Manabe
Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View. SPACE (2022)
Yoshifumi Manabe, Hibiki Ono
Card-Based Cryptographic Protocols with Malicious Players Using Private Operations. New Gener. Comput. 40 (1) (2022)
Yoshifumi Manabe, Hibiki Ono
Card-Based Cryptographic Protocols for Three-Input Functions Using Private Operations. IWOCA (2021)
Hibiki Ono, Yoshifumi Manabe
Minimum Round Card-Based Cryptographic Protocols Using Private Operations. Cryptogr. 5 (3) (2021)
Hibiki Ono, Yoshifumi Manabe
Card-Based Cryptographic Logical Computations Using Private Operations. New Gener. Comput. 39 (1) (2021)
Yoshifumi Manabe, Hibiki Ono
Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. ICTAC (2021)
Yuki Okano, Yoshifumi Manabe
A Three-Player Envy-Free Discrete Division Protocol for Mixed Manna. TPNC (2020)
Yoshifumi Manabe, Hibiki Ono
Secure Card-Based Cryptographic Protocols Using Private Operations Against Malicious Players. SECITC (2020)
Hibiki Ono, Yoshifumi Manabe
Card-Based Cryptographic Protocols with the Minimum Number of Rounds Using Private Operations. DPM/CBT@ESORICS (2019)
Hibiki Ono, Yoshifumi Manabe
Card-Based Cryptographic Protocols with the Minimum Number of Cards Using Private Operations. FPS (2018)
Takuya Ibaraki, Yoshifumi Manabe
Privacy-Preserving Group Matching Protocol. J. Comput. 13 (9) (2018)
Hibiki Ono, Yoshifumi Manabe
Efficient Card-Based Cryptographic Protocols for the Millionaires' Problem Using Private Input Operations. AsiaJCIS (2018)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
On compositional reasoning about anonymity and privacy in epistemic logic. Ann. Math. Artif. Intell. 78 (2) (2016)
Takuho Mitsunaga, Yoshifumi Manabe, Tatsuaki Okamoto
A Secure M + 1st Price Auction Protocol Based on Bit Slice Circuits. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2016)
Tsuyoshi Komatsubara, Yoshifumi Manabe
Game-Theoretic Security of Commitment Protocols under a Realistic Cost Model. AINA (2016)
Yuji Mochizuki, Yoshifumi Manabe
A privacy-preserving collaborative filtering protocol considering updates. APSITT (2015)
Yoshifumi Manabe, Risako Otsuka, Tatsuaki Okamoto
A Cryptographic Moving-Knife Cake-Cutting Protocol with High Social Surplus. J. Inf. Process. 23 (3) (2015)
Yuta Urushiyama, Yoshifumi Manabe
A Double-Private epsilon-Fuzzy Matching Protocol. ICITCS (2015)
Kohei Shimizu, Yoshifumi Manabe
An allocation algorithm of indivisible goods. APSITT (2015)
Susumu Kiyoshima, Yoshifumi Manabe, Tatsuaki Okamoto
Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol. TCC (2014)
Ryo Iguchi, Yoshifumi Manabe
An Efficient Edge-Based Authentication for Network Coding against Entropy Attacks. ICDCS Workshops (2014)
Takuho Mitsunaga, Yoshifumi Manabe, Tatsuaki Okamoto
Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2013)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. CoRR (2013)
Susumu Kiyoshima, Yoshifumi Manabe, Tatsuaki Okamoto
Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. TARK (2013)
Yoshifumi Manabe, Tatsuaki Okamoto
A Cryptographic Moving-Knife Cake-Cutting Protocol IWIGP (2012)
Yoshifumi Manabe, Tatsuaki Okamoto
Meta-envy-free Cake-cutting and Pie-cutting Protocols. Inf. Media Technol. 7 (3) (2012)
Susumu Kiyoshima, Yoshifumi Manabe, Tatsuaki Okamoto
Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security. IWSEC (2012)
Yoshifumi Manabe, Tatsuaki Okamoto
Meta-envy-free Cake-cutting and Pie-cutting Protocols. J. Inf. Process. 20 (3) (2012)
Takuho Mitsunaga, Yoshifumi Manabe, Tatsuaki Okamoto
A Secure M + 1st Price Auction Protocol Based on Bit Slice Circuits. IWSEC (2011)
Takuho Mitsunaga, Yoshifumi Manabe, Tatsuaki Okamoto
Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption. IWSEC (2010)
Yoshifumi Manabe, Tatsuaki Okamoto
Meta-Envy-Free Cake-Cutting Protocols. MFCS (2010)
Norio Akagi, Yoshifumi Manabe, Tatsuaki Okamoto
An Efficient Anonymous Credential System. Financial Cryptography (2008)
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
Relationship of Three Cryptographic Channels in the UC Framework. ProvSec (2008)
Yusuke Okada, Yoshifumi Manabe, Tatsuaki Okamoto
An optimistic fair exchange protocol and its security in the universal composability framework. Int. J. Appl. Cryptogr. 1 (1) (2008)
Yoshifumi Manabe, Tatsuaki Okamoto
Anonymous return route information for onion based mix-nets. SecureComm (2008)
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto
Universally Composable Identity-Based Encryption. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2008)
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
On the Equivalence of Several Security Notions of KEM and DEM. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2008)
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
On the Equivalence of Several Security Notions of Key Encapsulation Mechanism. IACR Cryptol. ePrint Arch. 2006 (2006)
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
A Universally Composable Secure Channel Based on the KEM-DEM Framework. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2006)
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto
Universally Composable Identity-Based Encryption. VIETCRYPT (2006)
Joong Man Kim, Yoshifumi Manabe
A Byzantine Fault-Tolerant Mutual Exclusion Algorithm and Its Application to Byzantine Fault-Tolerant Storage Systems. ICDCS Workshops (2005)
Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto
A Universally Composable Secure Channel Based on the KEM-DEM Framework. TCC (2005)
Yoshifumi Manabe, Naka Tajima
mutual exclusion problem. Theor. Comput. Sci. 310 (1-3) (2004)
Yoshifumi Manabe, JaeHyrk Park
A Quorum-Based Extended Group Mutual Exclusion Algorithm without Unnecessary Blocking. ICPADS (2004)
Yoshifumi Manabe
A Distributed Consistent Global Checkpoint Algorithm for Distributed Mobile Systems. ICPADS (2001)
Yoshifumi Manabe, Naka Tajima
Mutual Exclusion Problem. ICDCS (1999)
Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi
k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. Theor. Comput. Sci. 193 (1-2) (1998)
Yoshifumi Manabe, Shigemi Aoyagi
A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling. Real Time Syst. 14 (2) (1998)
Terunao Soneoka, Makoto Imase, Yoshifumi Manabe
Design of a D-connected Digraph with a Minimum Number of Edges and a Quasiminimal Diameter: II. Discret. Appl. Math. 64 (3) (1996)
Yoshifumi Manabe, Shigemi Aoyagi
A truant failure detection algorithm for multi-policy distributed systems. ISADS (1995)
Yoshifumi Manabe, Shigemi Aoyagi
A feasibility decision algorithm for rate monotonic scheduling of periodic real-time tasks. IEEE Real Time Technology and Applications Symposium (1995)
Yoshifumi Manabe, Makoto Imase
Gloabl Condtions in Debugging Distributed Programs. J. Parallel Distributed Comput. 15 (1) (1992)
Yoshifumi Manabe, Shigemi Aoyagi
Debugging Dynamic Distributed Programs Using Global Predicates. SPDP (1992)
Kenji Moriyasu, Terunao Soneoka, Yoshifumi Manabe
Global states monitoring algorithm for distributed system. Systems and Computers in Japan 22 (14) (1991)
Makoto Imase, Yoshifumi Manabe
Fault-Tolerant Routings in a kappa-Connected Network. Inf. Process. Lett. 28 (4) (1988)
Yoshifumi Manabe, Kenichi Hagihara, Nobuki Tokura
Minimum separation layout for cmos circuits realizing tree-shape monotone decreasing logic circuits. Systems and Computers in Japan 17 (9) (1986)