Name:

Tadashi ARARAGI




Current Position:

Senior Research Scientist

Research Interest:

Modal logics, higher order categorical logics, automatic theorem proving, formal verifications based on temporal logics, fault tolerance for distributed systems, security protocols.

Biography:

1985.3 B.S. in Mathematics from Tokyo University, Tokyo, Japan.
1987.3 M.S. in Mathematics from Tokyo University, Tokyo, Japan.
1987.4 Joined NTT, researcher at Communications and Information Processing Labs., Yokosuka, Japan.
1991.7 Joined Communication Science Labs. , Kyoto, Japan.
1993.3-1994.3 a visiting researcher at Utrecht University, Utrecht, the Netherlands.
1994.10-1995.2, 1995.10-1996.2 a part -time lecturer of Mie University, Mie, Japan.

Society Membership:

  • IEEE computer Society

Selected Publications:

  1. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Composable Non-committing Encryptions in the Presence of Adaptive Adversaries, Proc. of the 5th International Conference on Security and Cryptography 2010, SECRYPT 2010 (to appear).
  2. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Composable Non-interactive String-Commitment Protocols, Proc. of the 5th International Conference on Security and Cryptography 2010, SECRYPT 2010 (to appear).
  3. H. Zhu, T. Araragi, T. Nishide and K. Sakurai:
    Adaptive and Composable Non-committing Encryptions, Proc. of the 15th Australasian Conference on Information Security and Privacy, ACISP 2010 (to appear).
  4. J. Nakamura, T. Araragi and S. Masuyama:
    Acceleration of Byzantine Fault Tolerance by Parallelizing Consensuses, Proc. of The 10th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2009, pp.80-87 (2009)
  5. T. Araragi and O. Pereira:
    Automatic Verification of Simulatability in Security Protocols, the 4th International Conference on Information Assurance and Security 2008, IAS 2008, pp.275?280 (2008).
  6. K. Imamoto, T. Araragi and K. Sakurai:
    On the Combination of Functionalities for Secure Protocols, Workshop on Formal and Computational Cryptography, FCC 2007
  7. T. Araragi and O. Pereira:
    Automatic Verification of Simulatability in Security Protocols, Computational Cryptography, FCC 2007
  8. T. Araragi and S. M. Cho:
    Checking Liveness Properties of Concurrent Systems by Reinforcement Learning, Workshop on Model Checking and Artificial Intelligence, MoChArt 2006, LNCS 4428, pp.84--94 (2007)
  9. T. Araragi:
    Byzantine Fault Tolerance for Agent Systems, Proc. of Int. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, pp.232--239 (2006)
  10. V. Bellemin and T. Araragi:
    CryptoComputing Approach to Protecting Interaction Protocols of Mobile Agents from Malicious Host Attack, Proc. of Int. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, pp.240--247 (2006)
  11. T. Araragi:
    Fault Tolerance for Internet Agent Systems: In Cases of Stop Failure and Byzantine Failure, Proc. of 4th Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp.123--124 (2005).
  12. T. Sakai, K. Terada and T. Araragi:
    Robust Online Reputation Mechanism by Stochastic Approximation, Proc. of 4th Symposium on Adaptive Agents and Multi-Agent Systems, AAMAS-04, LNCS 3394, pp.230--244 (2005).
  13. H.S. Seo, T. Araragi, Y. R. Kwon:
    Modeling and Testing Agent Systems based on Statecharts, Proc. of the 1st International Workshop on Integration of Testing Methodologies (ITM 2004),LNCS 3236, pp. 308--321    (2004)
  14. T. Sakai, K. Terada, T. Araragi:
    Robust Online Reputation Mechanism by Stochastic Approximation, Proc. of the 4-th Symposium on Adaptive Agents and Multi-Agent Systems (AAMAS-4) pp. 55--62 (2004).
  15. V.Bellemin, T. Araragi:
    Security Framework against Malicious Host Attack Based on CryptoComputing for     Mobile Agents, Proc. of the 1st European Workshop on Multi-Agent Systems, pp. 287--492 (2003).
  16. T. Araragi, S. Takata, N. Nide:
    A Verification Method for a Commitment Strategy of the BDI Architecture, Electr. Notes Theor. Comput. Sci. 70(5): (2002).
  17. N. Nide, S. Takata, T. Araragi:
    Deduction Systems for BDI Logics with Mental State Consistency, Electr. Notes Theor. Comput. Sci. 70(5): (2002).
  18. S. Moriya, T. Araragi:
    Dynamic Snapshot Algorithm and Partial Rollback Algorithm for Internet Agents, 15th International Symposium on DIStributed Computing, DISC 2001 Brief Announcements, DI-FCUL TR-01-7 J. Welch (ed.), pp. 23--28(2001).
  19. T. Araragi, K. Kogure:
    Dynamic Downloading of Communications Protocols Using a Logic Based Agent System, CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000, pp. 27-34(2000).
  20. T. Araragi, P.C. Attie, I. Keidar, K. Kogure, V. Luchangco, N.A. Lynch, K. Mano:
    On Formal Modeling of Agent Computations, FAABS 2000, LNCS 1871, pp. 48-62(2000).
  21. T. Araragi:
    A Uniform Theorem Proving Tableau Method for Modal Logic, Proc. of GODEL' 96, Lecture Notes in Logic, Vol. 6, Springer, pp. 173-182(1996).
  22. T. Araragi:
    Program Transformation in a Nonmonotonic Reasoning System, in Proc. of Workshop on Static Analysis (WSA'92), Bigre 81-82 -septembre 1992, pp. 135-143(1992).
  23. T. Araragi:
    A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems, Workshop of Theorem Proving with Analytic Tableaux and Related Methods(TABLEAUX'92), Technical Report 8/92, University of Karlsruhe, Insititut fur Logick, Komplexitat und Deduktionssysteme, pp. 4-6(1992).

Contact Information:

NTT Communication Science Laboratories,
Nippon Telegraph and Telephone corporation.
2-4, Hikaridai ,Seika-cho, Soraku-gun, Kyoto
619-0237. Japan. e-mail:araragi@cslab.kecl.ntt.co.jp