まこ (@tex2e) header
まこ (@tex2e) profile picture

暗号技術とプロトコルとセキュリティが専門。本業では公共系基盤システム開発など。RFC Trans(RFCの自動翻訳対訳サイト)の管理者。セキュリティキャンプ'22-'23講師。Udemy講師。技術誌『Software Design』にて「暗号のひみつ」連載中

/dev/random
Joined September 2013
Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)Photo by まこ (@tex2e)
Software Designの連載は「乱数」から「暗号」へ。新連載でも、引き続き身近な技術の裏側を深掘りしていきます。初回はマイナンバーカードについてです。興味のある方はぜひ!
3
11
1
51
9,293
NIST SP 800・FIPS英日対訳サイト「NIST Trans」を公開しました! tex2e.github.io/nist-transla… RFC Transと同様に「段落ごとに対訳で原文と照らして読みたい」思いから、AI (Claude/Codex)を1ヶ月しばき倒して構築。PDF内の数式の再現にはこだわりました。セキュリティの仕様調査にぜひご活用ください!
2
43
1
136
6,826
>RT 「暗号のひみつ」連載、読者アンケートでおもしろい記事ランキング上位に入っているとのことで大変励みになります。 今号は「圧縮オラクル攻撃とTLSの脆弱性」を解説しています。ぜひ手に取ってみてください
5
332
この数日、サイバー攻撃による情報漏洩、ランサムウェア被害などのニュースが続いています。これだけ多くのインシデントの報告を目の当たりにすると、他人事とは思えません。今後、弊誌でも情報セキュリティ関連の特集や記事をどんどん企画していくつもりですが、発売中の2026年10月号でもいくつかのセキュリティ関連記事を掲載しているため、紹介します。 ▼「押し上げろ!サイバーセキュリティ」 GMOサイバーセキュリティ byイエラエ株式会社のみなさんによる連載記事です。開発・運用に潜むセキュリティリスクとその対策を解説します。毎号継続的に読むことで、最新の攻撃事例やその対策を把握できます。 ▼「暗号のひみつ」 データの暗号化、デジタル署名などに使われる暗号技術そのものを丁寧にわかりやすく解説する連載記事です。今号は「圧縮オラクル攻撃とTLSの脆弱性」について解説しており、読者アンケートでおもしろい記事ランキングの上位に来ています。読み物として楽しみながら、暗号技術の知識を得られます。 その他にも今号では、連載記事「ITエンジニア必須の用語解説」でセキュリティファーストなパッケージマネージャー「vlt」を取り上げたり、連載記事「AWS活用ジャーニー」でAmazon Cognitoを取り上げたりしています。 継続的なセキュリティ情報の収集、セキュリティ意識の維持・向上のために、本誌をご活用ください。
24
1
99
10,429
理学と工学どっちも尊い
200
理学の世界にいて、工学の方々に感謝しない日はなかったです 工学の人達が作ってくれた実験機器、最新の測定器、分析法の自動化装置… これらによって私たちの研究は成り立っています 本当にありがとうございます🙏
工学を専攻してる身として、理学を専攻してる方々には尊敬しかない 彼らが理論を頑張ってくれてるから、こっちも安全にいろいろと出来る その代わり実用化は任せてくれ
3
146
16
884
37,993
ChatGPT 6 Astraで作ったジェネラティブアートが気に入ったので自分のWebサイトに採用しました
5
559
OECDのレポートを参考に、ソクラテス式問答法で問い返す対話型AIチューターを作って遊んだ結果、全然結論が出ずに議論が収束しなくて、途中で諦めてしまった。 思考を止めない問いと挫折しない収束設計のバランスって難しいと感じました。次は足場かけ (Scaffolding) を取り入れてやってみるかな
257
OpenIDファウンデーション・ジャパンの倉林雅氏による「Agentic AIにおけるアイデンティティ管理の基礎とMCP認可制御の実践」では、AIエージェントが安全に外部ツールやデータソースと連携するためのアイデンティティ管理や認可の設計思想を学び、MCPを用いて認可制御の実装を体験します。#seccamp
4
1
28
5,364
立命館大学大学院 情報理工学研究科 サイバーセキュリティ研究室の石田優希氏によるA3「TLS&PKIで読み解く、暗号化通信の仕組みとその体験」では、TLSを構成する暗号・デジタル署名・PKIの基礎からプロトコル動作までを体系的に学び、鍵導出や証明書検証を演習で体験します。#seccamp
7
1
29
2,761
開発コースLゼミでは、L1「暗号・CVMビルド&スクラップゼミ」、L2「プロセッサゼミ」に分かれて開発に取り組んでいます。耐量子暗号の実装と解読やConfidential VMの構築と攻撃、CPU自作・NPUプログラミングなど、理論と実装の両面から低レイヤに向き合います。 #seccamp
14
2
46
6,510
RFC翻訳対訳サイトの「5桁以上のRFCが翻訳できない問題」を修正しました。 ツール側の改修は完了し、現在5桁台のドキュメントも含めた翻訳処理を順次回していますので、完了するまでしばらくお待ちください tex2e.github.io/rfc-translat…
11
629
まこ retweeted
RFC 9846: The Transport Layer Security (TLS) Protocol Version 1.3 rfc-editor.org/info/rfc9846/ お、TLS 1.3の改訂版が出ましたね! コネクション間でのKeyShare再利用禁止、KeyUpdateの上限、master secretからmain secretへ名称変更
1
16
2
28
5,213
先に全体像をいうと、鍵共有はすでに決着、サーバ証明書は公開WebでMTCへ向かい、署名はレイヤと寿命で棲み分け、passkeyはML-DSAで実現できる(当面はコンポジット併用)、という流れです。順に見ていきます。 1. 鍵共有:ML-KEMハイブリッドで実質確定 ここはおっしゃるとおりです。TLS 1.3 では X25519MLKEM768、つまり現行暗号の X25519 と ML-KEM-768 を組み合わせたハイブリッドが事実上のデファクトになっていて、主要ブラウザと CDN で既に本番に乗っています。鍵共有については決着済みという認識で問題ありません。ハイブリッドにしているのは、ML-KEM 単体の実装と解析が枯れるのを待つ保険と、現行暗号側の実績ある安全性を同時に確保するためです。 2. サーバ証明書:公開Web PKIではMTCが本命 公開Web向けのTLSサーバ証明書については、MTC(Merkle Tree Certificates)が現状もっとも有力です。もともとは Google と Cloudflare の個人ドラフトでしたが、IETF に PLANTS WG(PKI, Logs, And Tree Signatures)が新設され、いまは draft-ietf-plants-merkle-tree-certs として標準化が進んでいます。エコシステムの足並みもそろってきていて、Chrome が公開WebのPQC証明書の本命と位置づけ、Cloudflare と Google が実トラフィックで実験し、DigiCert が Playground を公開、そして Let’s Encrypt が2026年6月に MTC 採用を表明しました(ステージング2026年後半、本番2027年目標)。発行量で過半を占める Let’s Encrypt が乗ったことで、Webの大半でこれが現実解になりつつあります。 ただし万能の置き換えではない点は押さえておきたいところです。MTC はブラウザのルートストア更新と landmark(部分木)の事前配布を前提にした、公開Web向けに最適化された仕組みです。社内PKIやmTLS、IoT、長期のオフライン検証といった世界では、引き続き ML-DSA 署名の X.509(LAMPS の ML-DSA 証明書プロファイル、移行期はコンポジット署名)が主役になるはずです。「公開WebはMTC、それ以外はML-DSA X.509」という棲み分けが現実的だと見ています。 3. 検証・CTログ・PKIへの影響:かなり変わります ここが本質的なところです。MTC の肝は、これまで別々だった「CAの署名」と「Certificate Transparency(CT)」を発行プロセスに統合してしまう点にあります。CA が Merkle 木のルート(ひとつの署名)で大量の証明書をまとめて担保し、個々の証明書は署名ではなく包含証明(inclusion proof)で示す、という構造です。signatureless 版では、最新状態の検証者に対しては包含証明(数百バイト規模で、ML-DSA 署名1本より小さい)だけで済むので、PQC署名の肥大化をほぼ回避できます。 その裏返しとして、従来型の SCT(CTログの署名付きタイムスタンプ)を積み増す必要がなくなる一方で、ルートストアと landmark の定期配布や、ACME とCA運用の手順変更が必要になります。検証者が landmark を最新化していないケースに備えて、standalone(フォールバック)形式も用意されています。要するに、CT と PKI の運用モデルそのものが組み直される、という理解で合っています。 4. 署名の棲み分け:レイヤと寿命・保証要件で分かれる 「トラフィックにセンシティブなTLS系」対「ドキュメント署名」という見立ては当たっていますが、もう一段分解すると見通しがよくなります。 まずTLSのハンドシェイク署名(CertificateVerify)は、1ハンドシェイクに1本なので ML-DSA でも許容範囲です。サイズ問題の主因は証明書チェーンと CT のほうにあって、そこを MTC が引き受ける、という分担になっています。つまりTLSは「ML-DSAを避ける」のではなく、「認証署名は ML-DSA、証明書層は MTC」という組み合わせで解く、という整理です。 一方ドキュメントやコードの署名は ML-DSA が基本線です。ただしファームウェアや長期保管、高保証が要る用途では、保守的なハッシュベース署名(SP 800-208 の LMS/XMSS、あるいは SLH-DSA)が推奨される場面が残ります。署名サイズは大きくなりますが、レイテンシに効かない用途なので許容できるからです。実際 NSA は、ソフトウェアやファームウェアの更新署名について、ほかの認証移行に先行して LMS/XMSS を採用するよう勧めています。 まとめると、署名アルゴリズムの選択は「TLSか文書か」だけでは決まらず、レイテンシ・寿命・保証要件の3つの軸で棲み分けます。ML-DSA を軸に、長期・高保証はハッシュベースを併用し、TLSの証明書層は MTC が受け持つ、という形です。 5に関しては返信欄へ
鍵共有はML-KEM(のハイブリッド)で決まりっぽいですが、TLSのサーバ証明書の方はMTCが有力なんですかね。MTCの方は検証周り(CTログ)とかPKI周りも結構変わるのかな。デジタル署名はトラフィック量にセンシティブなTLS系とドキュメント署名用(ML-DSA)で棲み分け起こるのか passkeyのチャレンジ&レスポンスはML-DSAで行けるのかな。 letsencrypt.org/2026/06/03/p…
1
8
1
20
5,417
Gemini in Chrome のおかげでブラウザ上で論文PDFを読むのがだいぶ楽になった。どのページを読めば自分の知りたいことが書いてあるか教えてくれるので
385
午前中にFable 5でプログラム調査させたところ、指示したスコープ外の不具合を見つけてTODOメモ書き残してくれた。 トークン消費量は早かったけど、優秀なAgentになると思いました。
2
315
高専卒業で学位授与されるなら、専攻科の位置付けはどうなるのかな
397
【高専卒業に学位授与 文科省検討へ】 news.yahoo.co.jp/pickup/6583…
173
1,742
1,088
6,687
5,225,062
LinuxのCopy Fail脆弱性 (CVE-2026-31431) について、AIが1時間で見つけたという結果より、AIに「splice、ページキャッシュ、scatterlistを追え」とプロンプトで指示したTaeyang Lee氏の着眼点がすごいと思う。 長年の経験と嗅覚から立てた初期仮説があってこそのAI利活用を体現されている
2
311
10
1,371
109,502