Fugu-MT 論文翻訳(概要): Zipr: A High-Impact, Robust, Open-source, Multi-platform, Static Binary Rewriter

論文の概要: Zipr: A High-Impact, Robust, Open-source, Multi-platform, Static Binary Rewriter

arxiv url: http://arxiv.org/abs/2312.00714v1
Date: Fri, 1 Dec 2023 16:47:25 GMT
ステータス: 処理完了
システム内更新日: 2024-03-18 13:25:19.059175
Title: Zipr: A High-Impact, Robust, Open-source, Multi-platform, Static Binary Rewriter
Title（参考訳）: Zipr: 高速でロバスト、オープンソース、マルチプラットフォーム、静的バイナリリライタ
Authors: Jason D. Hiser, Anh Nguyen-Tuong, Jack W. Davidson,
Abstract要約: Ziprは静的バイナリ書き換えツールで、2016年に初めて公開された。 ZiprはDARPA Cyber Grand Challengeで全体2位にランクインした。 Ziprは、人工的な多様性、プログラムのインスツルメンテーション、プログラムの修復、ファジング、自動運転車のセキュリティに関する出版に繋がった。
参考スコア（独自算出の注目度）: 5.1792832176587815
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Zipr is a tool for static binary rewriting, first published in 2016. Zipr was engineered to support arbitrary program modification with an emphasis on low overhead, robustness, and flexibility to perform security enhancements and instrumentation. Originally targeted to Linux x86-32 binaries, Zipr now supports 32- and 64-bit binaries for X86, ARM, and MIPS architectures, as well as preliminary support for Windows programs. These features have helped Zipr make a dramatic impact on research. It was first used in the DARPA Cyber Grand Challenge to take second place overall, with the best security score of any participant, Zipr has now been used in a variety of research areas by both the original authors as well as third parties. Zipr has also led to publications in artificial diversity, program instrumentation, program repair, fuzzing, autonomous vehicle security, research computing security, as well as directly contributing to two student dissertations. The open-source repository has accepted accepted patches from several external authors, demonstrating the impact of Zipr beyond the original authors.
Abstract（参考訳）: Ziprは静的バイナリ書き換えツールで、2016年に初めて公開された。 Ziprは、セキュリティ強化とインスツルメンテーションを実行するためのオーバーヘッド、堅牢性、柔軟性に重点を置いて、任意のプログラム修正をサポートするために設計された。当初、Linux x86-32バイナリをターゲットにしていたが、ZiprはX86、ARM、MIPSアーキテクチャ用の32ビットと64ビットのバイナリをサポートし、Windowsプログラムの予備サポートもサポートした。これらの機能はZiprの研究に劇的な影響を与えた。 DARPA Cyber Grand Challenge(DARPAサイバーグランドチャレンジ)で最初に使用されたのは、参加者のセキュリティスコアで2位だった。 Ziprはまた、人工知能の多様性、プログラムのインスツルメンテーション、プログラムの修復、ファジング、自動運転車のセキュリティ、研究コンピューティングのセキュリティ、そして2人の学生の論文に直接貢献している。オープンソースのリポジトリは、いくつかの外部の著者から受け入れられたパッチを受け入れ、Ziprがオリジナルの著者よりも影響を実証している。

関連論文リスト

Secure Rewind and Discard on ARM Morello [0.0]
CやC++のようなメモリアンセーフなプログラミング言語は、システムプログラミング、組み込みシステム、パフォーマンスクリティカルなアプリケーションにとって好まれる言語である。以前のアプローチでは、x86アーキテクチャのランタイムアタックをターゲットとしたソフトウェアのレジリエンスを高める方法として、分離ドメインのセキュアドメイン再巻き戻し(SDRaD)が提案されていた。 SDRaD は、より軽量で高性能な Capability Hardware Enhanced RISC Instructions (CHERI) アーキテクチャで動作するように適応されている。
論文参考訳（メタデータ） (2024-07-05T13:41:59Z)
PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature [13.9637348151437]
既存のアプローチは主に、同じコンパイラオプションでコンパイルされるパッチの検出に重点を置いている。 PS3はシンボルエミュレーションを利用して、異なるコンパイラオプションの下で安定なシグネチャを抽出する。 PS3は精度、リコール、F1のスコアで0.82、0.97、0.89のスコアを得る。
論文参考訳（メタデータ） (2023-12-06T10:04:15Z)
Abusing Processor Exception for General Binary Instrumentation on Bare-metal Embedded Devices [11.520387655426521]
PIFER (Practical Instrumenting Framework for Embedded fiRmware) は、組み込みベアメタルファームウェアに対して、汎用的できめ細かな静的バイナリーインスツルメンテーションを可能にする。本稿では,修正後のファームウェアの正しい実行を保証するための命令翻訳方式を提案する。
論文参考訳（メタデータ） (2023-11-28T05:32:20Z)
SOCI^+: An Enhanced Toolkit for Secure OutsourcedComputation on Integers [50.608828039206365]
本稿では,SOCIの性能を大幅に向上させるSOCI+を提案する。 SOCI+は、暗号プリミティブとして、高速な暗号化と復号化を備えた(2, 2)ホールドのPaillier暗号システムを採用している。実験の結果,SOCI+は計算効率が最大5.4倍,通信オーバヘッドが40%少ないことがわかった。
論文参考訳（メタデータ） (2023-09-27T05:19:32Z)
O2ATH: An OpenMP Offloading Toolkit for the Sunway Heterogeneous Manycore Platform [20.64737961291626]
O2ATHは、MPEとCPEのコードを単一のファイルで書くためのツールである。 O2ATHは、OpenMPオフロード方式で次世代のSunwayスーパーコンピュータのCPEにCESMとROMSという2つの大きなプロジェクトを移植するのに役立ちました。実験では、カーネルのスピードアップは3倍から15倍になり、アプリケーション全体のスピードアップの3倍から6倍になる。
論文参考訳（メタデータ） (2023-09-10T06:30:52Z)
ZipLM: Inference-Aware Structured Pruning of Language Models [56.52030193434863]
ZipLMと呼ばれる大規模言語モデル(LLM)に対する新しい構造化圧縮手法を提案する。 ZipLMは、所望のランタイムスピードアップのセットをマッチングしながら、最先端の精度-vs-スピードアップを実現する。 ZipLMはすべての設定で最先端の圧縮モデルを生成する。
論文参考訳（メタデータ） (2023-02-07T18:55:28Z)
Torchhd: An Open Source Python Library to Support Research on Hyperdimensional Computing and Vector Symbolic Architectures [99.70485761868193]
我々はHD/VSA用の高性能オープンソースPythonライブラリであるTorchhdを紹介する。 Torchhdは、HD/VSAをよりアクセスしやすくし、さらなる研究とアプリケーション開発のための効率的な基盤となることを目指している。
論文参考訳（メタデータ） (2022-05-18T20:34:25Z)
pyRDF2Vec: A Python Implementation and Extension of RDF2Vec [2.3892448552572705]
pyRDF2Vecは、有名なRDF2Vecアルゴリズムを再実装するPythonソフトウェアパッケージである。このパッケージはMITライセンスでリリースされ、サンプリング、ウォーキング、埋め込み戦略に関するさらなる研究を促進するために構成されている。
論文参考訳（メタデータ） (2022-05-04T18:39:07Z)
BaLeNAS: Differentiable Architecture Search via the Bayesian Learning Rule [95.56873042777316]
近年,微分可能なアーキテクチャ探索 (DARTS) が注目されている。本稿では,アーキテクチャ重みをガウス分布に緩和することにより,ニューラルネットワーク探索を分布学習問題として定式化する。ベイズ主義の原理から異なるNASがいかに恩恵を受け、探索を強化し、安定性を向上するかを実証する。
論文参考訳（メタデータ） (2021-11-25T18:13:42Z)
On the Capacity of Quantum Private Information Retrieval from MDS-Coded and Colluding Servers [59.98425646542448]
量子プライベート情報検索において、ユーザは、ファイルの同一性を明らかにすることなく、量子システムをダウンロードすることで、複数のサーバから古典的なファイルを検索する。 MDS-coded および Collluding サーバからの QPIR の容量を初めて検討した。
論文参考訳（メタデータ） (2021-06-28T13:48:22Z)
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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。