Desktop Site

Areas/Organizations

Security and Networks

Laboratory List

Aoki Laboratory

Toshiaki Aoki

Realizing safety and reliability of infrastrucure systems with advanced science and technology.

Keywords

Model checking, Theorem proving, Formal specification, Embedded system, Automotive system, Industrialization of formal method

Click here for details
Inoguchi Laboratory

Yasushi Inoguchi

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

Development of ICT systems that support daily lives

Keywords

IoT, M2M, Home networks, Networked home appliances, Smart houses, International standardization

Click here for details
Fujisaki Laboratory

Eiichiro Fujisaki

Cryptography: A mathematical method to secure communication rigorously

Keywords

cryptography, encryption, digital signatures, 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 communicaitons, Wireless communications, Data storage

Click here for details
Suzuki Laboratory

Masato Suzuki

Supporting to Build and Maintain Complex Software by Visual Images

Keywords

Environments and Tools for Software Development, Architecture and Component-based Software Development, Aspects, Product lines

Click here for details
Tanaka(K) Laboratory

Kiyofumi Tanaka

Let's design high-performance computers

Keywords

Cache memory, Low energy consumption, Highly-functional memory system, FPGA, Interconnection network, 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

cybersecurity training, cyber range, emulation

Click here for details
PAGETOP