Desktop Site

Areas/Organizations

Security and Networks

Laboratory List

Aoki Laboratory

Toshiaki Aoki

Realize Safety and Security by Advanced Science and Technology

Keywords

formal methods, formal verification, testing, model checking, theorem proving, automotive systems, safety critical systems

Click here for details
Inoguchi Laboratory

Yasushi Inoguchi

Research about basic technology of next generation supercomputers

Keywords

Massively parallel architecture, Parallel processing, Reconfigurable systems, Super computers

Click here for details
Kaneko Laboratory

Mineo Kaneko

Advanced ICT-Society is supported by reliable, high-performance LSIs

Keywords

Layout, Logic synthesis, High-level synthesis, Hardware-software codesign, System optimization, Combinatorial optimization

Click here for details
Shinoda Laboratory

Yoichi Shinoda

Click here for details
Tan Laboratory

Yasuo Tan

Advancing Research on ICT support systems in the home

Keywords

IoT, M2M, Home Networks, Information Appliances, Smart House, International Standardization

Click here for details
Fujisaki Laboratory

Eiichiro Fujisaki

Cryptography: A mathematical method to secure communication rigorously.

Keywords

Cryptography, public key encryption, digital signature, provable security, crypto currency, and network security.

Click here for details
Matsumoto Laboratory

Tadashi Matsumoto

The objective of research work is to make "impossible mission possible". Life with a lot of challenges is a "full of fun" compared to seeking for always stable life!

Keywords

Wireless networks that can accommodate huge number of users/nodes, Lossy forwarding cooperative communications, Geolocation techniques, Channel estimation

Click here for details
Miyaji Laboratory

Atsuko Miyaji

Security Technology and Security Engineer Education for Secure Society

Keywords

Cyber Security, Cryptology, Secure IoT devices, Privacy, Security International Standardization

Click here for details
Brian Kurkoski Laboratory

Brian Kurkoski

BITS: Bits of Information, Transmitted and Stored

Keywords

Reliable communications, Wireless communications, Data storage

Click here for details
Suzuki Laboratory

Masato Suzuki

We support large and complex software development with architecture and visualization technologies.

Keywords

Software Process, Software Architectures/Components, Aspect Oriented, Product Lines

Click here for details
Tanaka(K) Laboratory

Kiyofumi Tanaka

Let’s build high-performance computers

Keywords

Memory system, Caches, energy reduction, FPGA, real-time scheduling, embedded OS

Click here for details
Lim Laboratory

Yuto Lim

For Forthcoming Research on Wireless, Sensor and Energy

Keywords

Wireless, Network, Ubiquitous, Sensor, Energy

Click here for details
Chinen Laboratory

Ken-ichi Chinen

We are studying the control and safety of network system

Keywords

Cyber range, Network testbed, Server technology

Click here for details
BEURAN Laboratory

Razvan Beuran

Secure the Network, Secure the People

Keywords

Security training, cyber range, emulation

Click here for details
PAGETOP