Skip to content
KitploitKITPLOIT
ツールエクスプロイトブログ
Log in
提出
ツールエクスプロイトブログ
提出

ハッキング、侵入テスト、サイバーセキュリティツールをあなたのセキュリティアーセナルに!

Kitploitはハッキング、サイバーセキュリティ、ペネトレーションテストのツールディレクトリです。最新のプロジェクトアップデートを見つけて、脆弱性の発見、システム分析、テストの自動化、セキュリティの強化を行いましょう。

··フィード·お問い合わせ·プライバシー·© 2026 Kitploit

ツールディレクトリ

カテゴリ

すべてのカテゴリを見る
Loading categories
publications — Trail of Bits の出版物 | Kitploit
ツール/GitHubGitHub/trailofbits/publications
静的分析ファジング暗号化CTFバイナリ解析論文と研究学習と教育厳選リソース論文と研究 第4位
GitHubtrailofbits/publications
1.9k235386日前Kitploit レビュー済み

人気

すべて見る →

コミュニティで最も使われているツールを見つけましょう。

すべてのツールを探索

ツールコレクションを閲覧

すべてのツールを見る →

publications

Trail of Bits の出版物

リポジトリを見るウェブサイト
共有

Trail of Bits の出版物

  • Trail of Bits の出版物
    • 学術論文
    • ホワイトペーパー
    • ガイドとハンドブック
    • カンファレンス発表
      • 自動化されたバグ発見と悪用
      • ブロックチェーン
      • コンパイラ
      • 暗号
      • エンジニアリング
      • 教育
      • インフラストラクチャ
      • 機械学習
      • モバイルセキュリティ
      • プログラミング
      • サイドチャネル
      • サプライチェーン
      • 脅威分析 & マルウェア
    • ポッドキャスト
    • ウェビナー
    • パブリックコメント
    • ケーススタディ
    • セキュリティレビュー
      • 主要クライアント
        • Frax Finance
        • MobileCoin
        • Offchain Labs
        • Reserve Protocol
        • Scroll
        • Uniswap
        • Western Digital
      • AI/ML レビュー
      • 暗号レビュー
      • テクノロジー製品レビュー
      • クラウドネイティブレビュー
      • インバリアントテストと開発エンゲージメント
      • ブロックチェーンレビュー
        • ウォレットレビュー
        • Algorand
        • Avalanche
        • Bitcoin & デリバティブ
        • Ethereum/EVM
        • NervOS
        • Starknet
        • Solana
        • Substrate
        • Tendermint/Cosmos
        • Tezos
        • TON
        • その他/マルチチェーン
    • 開示とエクスプロイト
    • ワークショップ
    • データセット
    • サービス概要
  • 凡例

学術論文

論文タイトル発表場所公開日
ソフトウェア・デブローティングツールの広範な比較評価USENIX Security 20242024
PolyTracker: 入力全体の動的情報フロー追跡ISSTA 20242024
Endokernel: 軽量サブプロセス分離のためのスレッドセーフなモニタUsenix Security 20242024
カバレッジガイド型Rubyファザーの設計と実装CSET 242024
テストハーネスの切断Mutation 20242024
VAST: C/C++ 向け MLIR コンパイラEuroLLVM Devs' Meeting 20242024
PoTATo: ドメイン固有 MLIR ダイアレクトによる Points-to 解析EuroLLVM Devs' Meeting 20242024
Careful with MAc-then-SIGn: EDHOC 軽量認証鍵交換プロトコルの計算分析Euro S&P 20232023
現代の証明システムに対する弱い Fiat-Shamir 攻撃IEEE S&P 20232023
Endoprocess: プログラム可能で拡張可能なサブプロセス分離NSPW 20232023
CIVSCOPE: コンパートメントインターフェースにおける潜在的なメモリ破壊バグの分析SOSP KISV 20232023
ハイブリッド制御およびデータフロー分析による可変性バグの検出LangSec 20232023
Blind Spots: 無視されたプログラム入力を自動検出するLangSec 20232023
実世界プロセッサにおけるソフトウェア悪用可能性の効率的な証明PETS 20232023
AIシステムの包括的なリスク評価と保証に向けてarXiv2023
x86-64 バイナリリライタの広範な比較評価CSET 222022
等価な並行計算の最適化についてPLDI EGRAPHS 20222022
差分ミューテーションによる静的解析ツールの評価QRS 20212021
echidna-parade: 多様なマルチコアスマートコントラクトファジングISSTA 20212021
x86-64 命令デコーダの差分分析LangSec 20212021
Echidna: スマートコントラクトのための効果的・実用的・高速なファジングISSTA 20202020
ICARUS: 羽毛と蝋による事実上の標準フォーマットの理解LangSec 20202020
パーサ実装のセマンティックラベリングによる自動文法抽出に向けてLangSec 20202020
重要なスマートコントラクトにおける実際の欠陥は何か?FC 20202020
Echidna: 実用的なスマートコントラクトファザーFC 20202020
RSA GTFOPoC||GTFO 0x202020
Manticore: バイナリとスマートコントラクトのシンボリック実行ASE 20192019
Slither: スマートコントラクト向け静的解析フレームワークWETSEB 20192019
機械学習を用いたよりスマートな脆弱性発見に向けてAISec 20182018
Cyberdyne の過去、現在、そして未来IEEE S&P2018
DeepState - C および C++ のシンボリックユニットテストBAR 20182018
ツールをダウンロード