論文の概要: An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
- arxiv url: http://arxiv.org/abs/2603.10608v1
- Date: Wed, 11 Mar 2026 10:14:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-12 16:22:32.89107
- Title: An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
- Title（参考訳）: シンボル実行支援による安全・安全ソフトウェア保護の一手法
- Authors: Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Haslinger, Rudolf Ramler, Markus Zimmermann,
- Abstract要約: 本稿では,産業用制御ソフトウェアのための新しいコピー保護手法を提案する。
本手法では,プログラムは対象ハードウェア上でのみ正しく動作し,他のマシンで異なる動作を行う。
- 参考スコア（独自算出の注目度）: 1.5721850801772976
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: We introduce a novel copy-protection method for industrial control software. With our method, a program executes correctly only on its target hardware and behaves differently on other machines. The hardware-software binding is based on Physically Unclonable Functions (PUFs). We use symbolic execution to guarantee the preservation of safety properties if the software is executed on a different machine, or if there is a problem with the PUF response. Moreover, we show that the protection method is also secure against reverse engineering.
- Abstract（参考訳）: 本稿では,産業用制御ソフトウェアのための新しいコピー保護手法を提案する。
本手法では,プログラムは対象ハードウェア上でのみ正しく動作し,他のマシンで異なる動作を行う。
ハードウェアとソフトウェアのバインディングは、Physically Unclonable Function (PUF)に基づいている。
我々は,ソフトウェアが別のマシン上で実行される場合やPUF応答に問題がある場合,安全性の維持を保証するためにシンボル実行を使用する。
また,保護法はリバースエンジニアリングに対しても安全であることを示す。
関連論文リスト
- Indirect Prompt Injections: Are Firewalls All You Need, or Stronger Benchmarks? [58.48689960350828]
エージェントインタフェースにおけるシンプルでモジュール的で,モデルに依存しないディフェンスが,高ユーティリティで完全なセキュリティを実現することを示す。
ツール入力ファイアウォール(最小限のファイアウォール)とツール出力ファイアウォール(サニタイザ)の2つのファイアウォールをベースとしたディフェンスを採用している。
論文 参考訳（メタデータ） (2025-10-06T18:09:02Z) - Automatic Selection of Protections to Mitigate Risks Against Software Applications [2.5874041837241304]
本稿では,MATEリスクを軽減するためのソフトウェア保護の自動選択手法を提案する。
保護決定に関わる重要な要素を定式化し,ゲーム理論モデルを用いて保護プロセスの枠組みを定式化する。
提案手法は,概念実証と専門家による評価によって検証する。
論文 参考訳（メタデータ） (2025-06-23T10:11:23Z) - Automated Hardware Logic Obfuscation Framework Using GPT [3.1789948141373077]
本稿では,GPT(Generative Pre-trained Transformer)モデルを利用した難読化プロセスを自動化する新しいフレームワークであるObfus-chatを紹介する。
提案フレームワークは,ハードウェア設計ネットリストとキーサイズを入力として受け入れ,セキュリティ向上のために最適化された難読コードを自動的に生成する。
論文 参考訳（メタデータ） (2024-05-20T17:33:00Z) - Secure Synthesis of Distributed Cryptographic Applications (Technical Report) [1.9707603524984119]
我々はセキュアなプログラムパーティショニングを用いて暗号アプリケーションを合成することを提唱する。
このアプローチは有望だが、そのようなコンパイラのセキュリティに関する公式な結果はスコープに限られている。
我々は、堅牢で効率的なアプリケーションに不可欠な微妙さを扱うコンパイラのセキュリティ証明を開発した。
論文 参考訳（メタデータ） (2024-01-06T02:57:44Z) - DASICS White Paper: Enhancing Memory Protection with Dynamic Compartmentalization [7.552283050007595]
本稿では,DASICS (Dynamic in-Address-Space isolation by Code Segments) のセキュアプロセッサ設計について述べる。
複数の特権レベルにわたる動的で柔軟なセキュリティ保護、データフロー保護、制御フロー保護、セキュアなシステムコールを提供する。
我々は,DASICSをベースとしたハードウェアFPGAプロトタイプとソフトウェアQEMUシミュレータのプロトタイプを実装し,適応性のためのシステムソフトウェアを改良した。
論文 参考訳（メタデータ） (2023-10-10T09:05:29Z) - Certifying LLM Safety against Adversarial Prompting [70.96868018621167]
大規模言語モデル(LLM)は、入力プロンプトに悪意のあるトークンを追加する敵攻撃に対して脆弱である。
我々は,認証された安全保証とともに,敵のプロンプトを防御する最初の枠組みである消去・チェックを導入する。
論文 参考訳（メタデータ） (2023-09-06T04:37:20Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。