AuthForge
開発中OAuth 2.0 + PKCE / OIDC / Passkey に対応したIDプロバイダーの自作実装。RFCを一次資料として読み込みながら、認証プロトコルを自分の手で組み直しているプロジェクト。FastAPI + React/TypeScript で構築。
FastAPIOAuth 2.0OIDCPasskeyTypeScript
About
京都大学工学部情報学科の4年生で、岡部研究室に所属しています。LiDARを用いた空間認証の研究を行い、物理空間そのものを認証要素として扱う仕組みを構想・設計・実装しています。
現在、興味があるのは「デジタルアイデンティティ」、「FIDO」そして「形式検証」。OAuth 2.0 / OIDC / Passkey を自分の手で組み直しながら、RFCを読み込み、ProVerifなどによるプロトコル検証にも取り組んでいます。
「空間認証 × デジタルアイデンティティ」という交差点で、堅牢で使いやすい認証基盤をつくることを目標にしています。
Projects
個人プロジェクト。
Placeprint
研究中iPhone Pro の LiDAR で取得した点群を用いた空間認証システム。Open3D による ISS keypoints + FPFH でのマッチングと、Captive Portal + MACアドレスホワイトリストによる Wi-Fi アクセス制御を組み合わせ、物理空間そのものを認証要素として扱う。
PythonOpen3DFastAPILiDARNetworking
Skills
使ってきた技術と、いま学んでいる領域。
Identity & Auth
- OAuth 2.0 / OIDCRFC 6749 / 7636 / OIDC Core を一次資料として学習、AuthForge で実装中
- Passkey / WebAuthnAuthForge に統合、Zenn で解説記事を執筆予定
- PKCEパブリッククライアント向けのフロー実装
Backend
- Python (FastAPI)AuthForge / Placeprint のバックエンド
- Open3DPlaceprint での点群処理 (ISS + FPFH)
- PostgreSQLAuthForge のデータベース
Frontend
- TypeScript / ReactAuthForge のフロントエンド、このサイト
- Astroこのサイト
- Tailwind CSSスタイルガイドの作成
Formal Methods
- OCamlIoPL カリキュラムで MiniML 型インタープリタを実装
- ProVerif / Tamarin認証プロトコルの形式検証(学習中)
Infrastructure
- Cloudflare (Pages, Tunnel, DNS)個人ドメインとホームサーバーで運用
- Git / GitHubコードのバージョン管理
- Linux (Ubuntu)開発環境の構築と管理
Career
これまでの経歴
大学院進学予定