2008 |
20 | EE | Norio Akagi,
Yoshifumi Manabe,
Tatsuaki Okamoto:
An Efficient Anonymous Credential System.
Financial Cryptography 2008: 272-286 |
19 | EE | Waka Nagao,
Yoshifumi Manabe,
Tatsuaki Okamoto:
Relationship of Three Cryptographic Channels in the UC Framework.
ProvSec 2008: 268-282 |
18 | EE | Ryo Nishimaki,
Yoshifumi Manabe,
Tatsuaki Okamoto:
Universally Composable Identity-Based Encryption.
IEICE Transactions 91-A(1): 262-271 (2008) |
17 | EE | Waka Nagao,
Yoshifumi Manabe,
Tatsuaki Okamoto:
On the Equivalence of Several Security Notions of KEM and DEM.
IEICE Transactions 91-A(1): 283-297 (2008) |
16 | EE | Yusuke Okada,
Yoshifumi Manabe,
Tatsuaki Okamoto:
An optimistic fair exchange protocol and its security in the universal composability framework.
IJACT 1(1): 70-77 (2008) |
2006 |
15 | EE | Ryo Nishimaki,
Yoshifumi Manabe,
Tatsuaki Okamoto:
Universally Composable Identity-Based Encryption.
VIETCRYPT 2006: 337-353 |
14 | EE | Waka Nagao,
Yoshifumi Manabe,
Tatsuaki Okamoto:
A Universally Composable Secure Channel Based on the KEM-DEM Framework.
IEICE Transactions 89-A(1): 28-38 (2006) |
2005 |
13 | EE | Joong Man Kim,
Yoshifumi Manabe:
A Byzantine Fault-Tolerant Mutual Exclusion Algorithm and Its Application to Byzantine Fault-Tolerant Storage Systems.
ICDCS Workshops 2005: 12-19 |
12 | EE | Waka Nagao,
Yoshifumi Manabe,
Tatsuaki Okamoto:
A Universally Composable Secure Channel Based on the KEM-DEM Framework.
TCC 2005: 426-444 |
2004 |
11 | EE | Yoshifumi Manabe,
JaeHyrk Park:
A Quorum-Based Extended Group Mutual Exclusion Algorithm without Unnecessary Blocking.
ICPADS 2004: 341-348 |
10 | EE | Yoshifumi Manabe,
Naka Tajima:
(h, k)-Arbiters for h-out-of-k mutual exclusion problem.
Theor. Comput. Sci. 310(1-3): 379-392 (2004) |
2001 |
9 | | Yoshifumi Manabe:
A Distributed Consistent Global Checkpoint Algorithm for Distributed Mobile Systems.
ICPADS 2001: 125-134 |
1999 |
8 | EE | Yoshifumi Manabe,
Naka Tajima:
(h-k)-Arbiter for h-out of-k Mutual Exclusion Problem.
ICDCS 1999: 216-223 |
1998 |
7 | | Yoshifumi Manabe,
Shigemi Aoyagi:
A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling.
Real-Time Systems 14(2): 171-181 (1998) |
6 | EE | 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): 97-112 (1998) |
1996 |
5 | EE | Terunao Soneoka,
Makoto Imase,
Yoshifumi Manabe:
Design of a D-connected Digraph with a Minimum Number of Edges and a Quasiminimal Diameter: II.
Discrete Applied Mathematics 64(3): 267-279 (1996) |
1995 |
4 | EE | 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: 212- |
1992 |
3 | | Yoshifumi Manabe,
Shigemi Aoyagi:
Debugging Dynamic Distributed Programs Using Global Predicates.
SPDP 1992: 402-407 |
2 | | Yoshifumi Manabe,
Makoto Imase:
Gloabl Condtions in Debugging Distributed Programs.
J. Parallel Distrib. Comput. 15(1): 62-69 (1992) |
1988 |
1 | | Makoto Imase,
Yoshifumi Manabe:
Fault-Tolerant Routings in a kappa-Connected Network.
Inf. Process. Lett. 28(4): 171-175 (1988) |