IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 再入攻撃(Reentrancy)の検知とMutexによる防御実装 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！IoTデバイスのリバースエンジニアリングや、ブロックチェーンの最前線でセキュリティの調査をしているリサーチャーです。普段はコードの裏側に隠された脆弱性や、現実世界とつながる制御システムの泥臭いハッキング手法などを追いかけています...
スマートコントラクトの脆弱性
IoT・OT（制御システム） & ブロックチェーンセキュリティ IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 コントラクトのアップグレード可能性(Proxyパターン)に伴うセキュリティリスク – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！ブロックチェーンの世界へようこそ。セキュリティリサーチャーの私です。新しいスマートコントラクトを開発し、いざイーサリアムなどのブロックチェーン上にデプロイ（公開）したあとで、「あ、ここバグがあった！」「もっと機能を追加したい！」...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 ウォレット接続におけるセッション管理とクロスサイト・リクエスト・フォージェリ(CSRF)対策 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
みなさんこんにちは！Web3の世界やブロックチェーン開発の現場に飛び込んだばかりの新人エンジニアのみなさん、日々新しい技術のキャッチアップお疲れ様です！「スマートコントラクトを書けるようになったぞ！」「次はdApp（分散型アプリケーション）...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 Web3フロントエンドにおける署名リクエスト(EIP-712)の検証とフィッシング対策 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
皆さん、こんにちは！Web3の世界へ飛び込んだばかりの新人開発者さんや、これからセキュリティの勉強を始めようと意気込んでいる皆さん、日々の開発やお疲れ様です。ブロックチェーンの世界って、スマートコントラクトを書くだけでもワクワクしますよね。...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 Echidnaを用いたプロパティベーステストによる不変条件の検証 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！スマートコントラクトの開発に挑戦している皆さん、日々のコーディングお疲れ様です。「自分が書いたコードにバグはないはず！」と意気込んでデプロイした矢先、ハッカーにプール金の全額をきれいさっぱり抜き取られてしまった……そんな冷や汗が...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 スマートコントラクト監査における静的解析ツールSlitherの活用と検知ルールカスタマイズ – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！ブロックチェーンの世界へようこそ。スマートコントラクトの開発、日々楽しく進めていらっしゃいますか？「コードは法律」なんて言われる世界ですから、自分が書いたプログラムにバグがないか、リリース前はドキドキしてしまいますよね。今日は、...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 DeFiにおける緊急停止機能(Circuit Breaker)の実装 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
皆さん、こんにちは！Web3の世界へ飛び込んだばかりの新人開発者さん、あるいは日々のセキュリティ対策に奮闘しているIT担当者の皆さん、スマートコントラクトの開発は順調に進んでいますか？ブロックチェーンの世界は、一度デプロイ（公開）してしまう...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 スマートコントラクトの形式検証(Formal Verification)の導入 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！IoTやスマートコントラクトの世界へようこそ。日々、世の中の仕組みがデジタル化され、ブロックチェーンを使ってお金や大切なデータをやり取りする機会が増えてきましたよね。「なんだか難しそうだな…」と感じている方もご安心ください。今回...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 フロントランニング対策としてのコミット・リビール(Commit-Reveal)スキーム – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
ブロックチェーンの世界へようこそ！スマートコントラクトの開発に足を踏み入れたばかりだと、なんだか専門用語が多くて圧倒されてしまいますよね。でも、一歩ずつ実例を交えて紐解いていけば大丈夫です。今回は、ブロックチェーンならではの厄介な罠である「...
IoT・OT（制御システム） & ブロックチェーンセキュリティ 【入門編】 コントラクトの初期化関数(Initializer)の保護 – IoT・OT（制御システム） & ブロックチェーンセキュリティ防御ガイド
こんにちは！スマートコントラクトの開発やブロックチェーンの世界へようこそ。新しい技術に触れるとき、「何から手をつけたらいいんだろう？」とワクワクする反面、セキュリティの話を聞くと「なんだか難しそうだな…」と少し身構えてしまいますよね。でも、...