Overview

Welcome to my humble little blog!

I am a researcher at IIJ Research Laboratory, currently working towards a Trustworthy Internet.

You can find here articles related to my research interests, hobbies, or anything I feel could be useful to someone.

Latest Blog Entries

• 2026-09-22: Installing VoidLinux with BTRFS and FDE
• 2026-05-30: Some thoughts about LLMs
• 2026-05-14: Results of a Kakenhi research grant

News

• 2026-08-04: With Keisuke Nishimura (INRIA, NII) we have animated a seminar on formal verification.
• 2026-06-22: The 1st workshop on Holistic Architecture for Privacy in Clouds, Edges, and IoT took place today at DSN 2026. We plan to organise it again at DSN 2027 in Berlin next year!