IoT・OT（制御システム） & ブロックチェーンセキュリティ

権限という名のパンドラの箱：OwnableとAccessControlが突きつける「設計の深淵」SCADAシステムでPLCのメモリマップを解析している時も、EVM（Ethereum Virtual Machine）のバイトコードを逆アセンブ...

虚飾のプロキシ：delegatecallが引き起こすストレージ崩壊の深淵SCADA/IoTの現場で、PLC（プログラマブルロジックコントローラ）のメモリマップを解析しているとき、物理アドレスの境界線を踏み越えることがどれほど致命的かは熟知し...

Solidity 0.8の「安全神話」を解体する：整数演算の深淵と、まだ見ぬ脆弱性の境界線かつて、スマートコントラクトのセキュリティ監査において「SafeMathを導入しているか？」は、チェックリストの最初の項目だった。しかし、Solidi...

制御システムの深淵とスマートコントラクト：再入攻撃の「解剖学的」理解SCADA/IoTの現場で、PLCのラダーロジックを解析し、パケットをキャプチャしてプロトコル（Modbus/TCPやEtherNet/IP）の異常値を読み解く作業と、スマ...

形式検証（Formal Verification）の深淵：スマートコントラクトを「数学」で守るスマートコントラクトのセキュリティ監査において、多くのエンジニアが陥る罠がある。それは「テストコードによる検証」を「安全性」と混同することだ。単体...

静的解析ツールを「お守り」にするな：CI/CDに組み込むべき本質的なスマートコントラクト監査の設計論多くの開発チームが「SlitherやMythrilをCI/CDに導入したから安泰だ」と胸を撫で下ろしている。だが、現場の最前線にいる我々から...

フラッシュローンという名の「時間的特異点」を制御せよ：価格操作攻撃に対するアーキテクチャの極意SCADAや産業制御システム（OT）の現場で、PLCのレジスタ値を書き換えて物理的な挙動を狂わせる攻撃を追った経験がある者なら、Web3の「フラッ...

オークションの公平性を蝕む「見えない手」：フロントランニングを根絶するアーキテクチャ設計SCADA環境でのPLC（プログラマブル・ロジック・コントローラ）へのModbus TCPパケット注入を解析していた頃、私はある重要な事実に気づいた。「...

NFTロイヤリティの強制は「聖杯」か、それとも「幻想」か：EIP-2981の深淵とアーキテクチャの防衛戦略NFTマーケットプレイスが乱立する現在のWeb3エコシステムにおいて、クリエイターの収益源である「ロイヤリティ」は、往々にしてプラット...

NFTメタデータの「不変性」という幻想：IPFSハッシュ固定が防ぐべき真の脅威NFTのメタデータ改ざんは、単なる「画像の差し替え」というレベルの被害ではない。それは、資産の裏付けとなる証明そのものの無効化であり、分散型アイデンティティ（DI...