IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 DAOガバナンスにおけるソーシャルエンジニアリング攻撃 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
DAOガバナンスの死角：ソーシャルエンジニアリングが引き起こす「合意形成」の崩壊昨今のDAO（分散型自律組織）において、スマートコントラクトのコード監査はコモディティ化している。Reentrancy攻撃や整数オーバーフローなど、OpenZe...
IoT・OT（制御システム） & ブロックチェーンセキュリティ
IoT・OT（制御システム） & ブロックチェーンセキュリティ IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 ブリッジの資産バックアップとリカバリ計画 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
ブリッジは「現代の関所」ではない。脆弱な「脆弱なトンネル」である。SCADA/OTの世界で、PLCのレジスタ値を不正操作するのと、Web3のクロスチェーンブリッジで資産を強奪するのには、驚くほど共通点がある。どちらも「信頼の境界線」を突破さ...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 L2のステートルート更新における競合状態 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
レイヤー2の聖域：シーケンサーの「決定論的秩序」を破壊する競合状態の解剖学スマートコントラクトのセキュリティ監査を行っていると、L1（メインネット）の堅牢性に依存しきった甘い設計に遭遇することがある。特にL2（ロールアップ）の核心である「シ...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 DAOの提案実行コードの監査自動化 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
DAOの「毒入り提案」をCI/CDで封殺する：静的解析による外部呼出し制御の実装DAOのガバナンスにおける最大の悪夢は、提案（Proposal）が可決された瞬間に実行されるペイロードの中に、悪意ある外部コントラクトへのコールが含まれているこ...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 ブリッジのオラクル依存性脆弱性 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
ブリッジの死角：オラクル依存が招く「現実」と「仮想」の乖離SCADA/OT環境でのインシデント対応をしていると、物理的なバルブ制御の異常値が、実は上位の管理サーバーのセンサー入力改ざんに起因しているという事態によく遭遇する。これと同じ現象が...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 L2におけるデータ可用性(Data Availability)の検証 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
L2のDA（データ可用性）検証：信頼の根拠をどう数学的に「強制」するかSCADAシステムの現場でPLCのパケットキャプチャを解析していた頃、私は常に「このシグナルは本当に物理的なコンタクトから来ているのか？」という疑念と戦っていた。Web3...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 ZK-Rollupの信頼セットアップ(Trusted Setup)のセキュリティ – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
信頼の崩壊：ZK-Rollupにおける「Trusted Setup」の深淵と、その先にある生存戦略SCADAシステムのPLC（プログラマブルロジックコントローラ）のメモリダンプを解析する際、私は常に「この制御ロジックの背後にある『信頼の根源...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 DAOの委任(Delegation)機能における二重投票リスク – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
DAOの「委任」という名の時限爆弾：スナップショット不在が招く投票権の不整合DAO（分散型自律組織）のガバナンス設計において、「委任（Delegation）」はUX向上と投票率の確保に不可欠な機能だ。しかし、多くのスマートコントラクト設計者...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 ブリッジの流動性枯渇攻撃と価格操作 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
ブリッジ・ドレインの解剖学：価格オラクルの「盲点」を突く流動性枯渇攻撃我々が日々向き合っているのは、堅牢な数学に守られているはずのスマートコントラクトが、物理層の泥臭い「時間差」や「計算コストの歪み」によって崩壊する瞬間だ。特にクロスチェー...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【テクニカル・上級編】 L2からL1へのメッセージ引き出しにおける検証不備 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
L2-L1 ブリッジの深淵：Merkle Proof検証不備と「タイムトラベル」攻撃の解剖学SCADA/OTの現場でPLC（プログラマブル・ロジック・コントローラ）のラダーロジックを逆アセンブルしていた頃、我々は「同期」という概念に執着して...