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

スポンサーリンク
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【テクニカル・上級編】 Optimistic Rollupにおける不正証明(Fraud Proof)の遅延攻撃と検知 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

Optimistic Rollupの深淵:不正証明(Fraud Proof)を標的とした計算リソース枯渇攻撃の解剖学Optimistic Rollup(以下OR)における「楽観的」という言葉は、セキュリティの世界では往々にして「甘美な脆弱性...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【テクニカル・上級編】 スマートコントラクトの形式検証(Formal Verification) – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

数学は裏切らないが、前提条件は裏切る:形式検証(Formal Verification)の深淵スマートコントラクトの監査において、「テストコードを100%カバーしました」という言葉ほど、リサーチャーを失笑させるものはない。Fuzzingで境...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【テクニカル・上級編】 コントラクトの検証とソースコード公開の重要性 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 ブロックチェーン上のマネーロンダリング対策(AML)と追跡技術 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 スマートコントラクトのバグ報奨金制度(Bug Bounty)の設計 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 オラクル操作攻撃の検知と防御 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 コントラクトのアップグレード可能性(Proxy Pattern)のセキュリティ – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 署名リプレイ攻撃の防止策(EIP-712) – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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

【テクニカル・上級編】 DoS攻撃:ガス制限によるコントラクト停止 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

ガス枯渇という名の「経済的DoS」:スマートコントラクトにおける不可逆な停止の防衛学スマートコントラクトの脆弱性を語る際、多くの開発者が真っ先に思い浮かべるのは「Reentrancy(再入攻撃)」だろう。しかし、現場の最前線でインシデントレ...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【テクニカル・上級編】 未初期化プロキシコントラクトの脆弱性 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

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