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

Optimistic Rollupの深淵：不正証明（Fraud Proof）を標的とした計算リソース枯渇攻撃の解剖学Optimistic Rollup（以下OR）における「楽観的」という言葉は、セキュリティの世界では往々にして「甘美な脆弱性...

数学は裏切らないが、前提条件は裏切る：形式検証（Formal Verification）の深淵スマートコントラクトの監査において、「テストコードを100%カバーしました」という言葉ほど、リサーチャーを失笑させるものはない。Fuzzingで境...

ブラックボックスの檻：スマートコントラクト検証がセキュリティの「最後の砦」である理由Etherscanでコントラクトを開いたとき、そこに「Verified」の緑色のチェックマークがあるか、あるいは「Contract Source Code ...

オンチェーン・フォレンジックの深淵：AMLの自動化と「追跡不能」への対抗策スマートコントラクトの監査といえば、往々にして Reentrancy や Integer Overflow といったメモリ空間上の脆弱性ばかりが議論される。しかし、ア...

報奨金は「免罪符」ではない：スマートコントラクト・バグバウディの解剖学的設計多くのプロジェクトがImmunefiにバグバウディを掲載して安心している。だが、現場を知る者から言わせれば、それは「アリバイ工作」に過ぎないケースがほとんどだ。真の...

オラクル操作という「現実との乖離」：DeFiプロトコルを崩壊させる静かなる暗殺者DeFiのセキュリティを語る上で、スマートコントラクトのバグ、例えばリエンジニアリングの対象となる「再入可能性（Reentrancy）」などは、もはや古典的な教...

制御の陥穽：Proxy Patternにおける「アップグレード権限」とメモリレイアウトの深淵SCADA/IoTの現場では、ファームウェアのOTA更新が物理的なインフラを破壊しかねないのと同様に、ブロックチェーンの世界でも「アップグレード可能...

EIP-712の向こう側：署名リプレイ攻撃を根絶するアーキテクチャの極意SCADAシステムのシリアル通信を解析していた頃、私は「信頼できる通信経路」など存在しないという教訓を骨の髄まで叩き込まれた。パケットが物理層で傍受され、フラグが反転さ...

ガス枯渇という名の「経済的DoS」：スマートコントラクトにおける不可逆な停止の防衛学スマートコントラクトの脆弱性を語る際、多くの開発者が真っ先に思い浮かべるのは「Reentrancy（再入攻撃）」だろう。しかし、現場の最前線でインシデントレ...

権限の虚無を突く：未初期化プロキシコントラクトがもたらす「所有権の死」SCADAシステムのリバースエンジニアリングで、制御用PLCのメモリダンプからバックドアを見つけた時の冷や汗を覚えているだろうか。あの感覚が、現代のスマートコントラクト監...