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

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

【実務・中級編】 デリゲートコール(delegatecall)の危険性とストレージ衝突の回避 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

プロキシの裏側で何が起きているか? delegatecall とストレージ衝突の深層おい、手を止めて画面を見てくれ。先日、あるクライアントのDeFiプロトコルで、総額数千万ドル規模の資産がハッキングされかけるインシデントが発生した。原因をコ...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 整数オーバーフロー・アンダーフローの回避とSolidity 0.8以降の仕様 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

はじめに:Solidity 0.8の甘い罠と、現場のエンジニアが勘違いしている「本当のセキュリティ」おい、ちょっと手を止めて聞いてくれ。最近の若い開発者や、Web3領域に参入してきたばかりのエンジニアと話していると、「Solidity 0....
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 再入攻撃(Reentrancy)の根本的防御:Checks-Effects-Interactionsパターン – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

お疲れ。最近、DeFiプロトコルのスマートコントラクト監査や、PLCと連動するWeb3オラクル基盤のインシデント調査で連日徹夜続きだが、いいか、エンジニアリングの本質はいつだって「泥臭い現実の直視」にある。教科書に書いてある綺麗ごとのセキュ...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 形式検証(Formal Verification)によるコントラクトの数学的証明 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

おい、新人。ちょっとこっちに来い。お前、最近流行りのDeFiプロトコルや、工場のIoTデバイスをクラウド(AWSやAzure)経由でブロックチェーンに繋ぐブリッジシステムの開発で、「テストネットで全テストケースが通ったから本番ローンチしよう...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 スマートコントラクト監査における静的解析ツールの活用 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

スマートコントラクト監査の現実:ツールを「信じるな、使いこなせ」おい、ちょっと手を止めて画面を見てくれ。お前らが日々デプロイしているそのスマートコントラクト、本当に安全だと言い切れるか? 「俺たちはOpenZeppelinのベースを使ってい...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 フラッシュローン攻撃における価格操作耐性の強化 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

お疲れ。今日も今日とて、DeFiプロトコルの監査レポートを睨みながらコーヒーをすする日々だが……お前たちが書いたスマートコントラクト、本当にフラッシュローンからの強襲に耐えられるか?「うちはチェーンリンク(Chainlink)を入れてるから...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 オークションにおけるフロントランニング(競合状態)の防止策 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

お疲れ。最近、NFTのセールやDeFiのガバナンストークン、あるいはOT機器の自動買い付けオークションなんかで、「終了直前の数秒にボットが割り込んできて高値で持って行かれる」っていう相談がやたらと増えてきている。フロントランニング、いわゆる...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 NFTロイヤリティ回避を防止するEIP-2981の実装と強制 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

お疲れ。最近、あちのマーケットプレイスで「NFTのロイヤリティが踏み倒される」インシデントが後を絶たないが、君たちのチームはどう対策している?「うちは標準のマーケットプレイスを使っているから大丈夫」なんて楽観視しているなら、今すぐその甘い考...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 NFTメタデータ改ざんを防ぐIPFSハッシュ固定とオンチェーン検証 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

おい、ちょっと手を止めてくれ。昨日リリースしたあのNFTプロジェクト、プレセール直後にコミュニティが荒れ狂っている原因を調査したか?「買ったはずのウルド(レアキャラ)の画像が、数時間後にドブネズミの落書きにすり替わっている」「メタデータに記...
IoT・OT(制御システム) & ブロックチェーンセキュリティ

【実務・中級編】 DAOガバナンスにおけるソーシャルエンジニアリング攻撃 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド

お疲れ。最近、フロントエンドのガス最適化やL2のブリッジ設計ばかりに気を取られていないか? スマートコントラクトのコードがどれだけ美しく、形式検証(Formal Verification)を100回クリアしていようとも、それを動かす「人間」...
スポンサーリンク