Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses
Nakamura, J., Araragi, T., Masuyama, S.
Published in 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies (01.12.2009)
Published in 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies (01.12.2009)
Get full text
Conference Proceeding
Adaptive and Composable Non-committing Encryptions
Zhu, Huafei, Araragi, Tadashi, Nishide, Takashi, Sakurai, Kouichi
Published in Information Security and Privacy (2010)
Published in Information Security and Privacy (2010)
Get full text
Book Chapter
Byzantine Fault Tolerance for Agent Systems
Araragi, T.
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Get full text
Conference Proceeding
Adaptive and composable non-interactive string-commitment protocols
Zhu, Huafei, Araragi, Tadashi, Nishide, Takashi, Sakurai, Kouichi
Published in 2010 International Conference on Security and Cryptography (SECRYPT) (01.07.2010)
Get full text
Published in 2010 International Conference on Security and Cryptography (SECRYPT) (01.07.2010)
Conference Proceeding
Automatic Verification of Simulatability in Security Protocols
Araragi, T., Pereira, O.
Published in 2008 The Fourth International Conference on Information Assurance and Security (01.09.2008)
Published in 2008 The Fourth International Conference on Information Assurance and Security (01.09.2008)
Get full text
Conference Proceeding
CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack
Bellemin, V., Araragi, T.
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Published in 2006 International Conference on Dependability of Computer Systems (01.05.2006)
Get full text
Conference Proceeding
A Verification Method for a Commitment Strategy of the BDI Architecture
Araragi, Tadashi, Takata, Shiro, Naoyuki, Nide
Published in Electronic notes in theoretical computer science (01.10.2002)
Published in Electronic notes in theoretical computer science (01.10.2002)
Get full text
Journal Article