論文の概要: Evaluation of isolation design flow (IDF) for Single Chip Cryptography (SCC) application

• arxiv url: http://arxiv.org/abs/2501.16217v1
• Date: Mon, 27 Jan 2025 17:08:36 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-28 13:53:31.443048
• Title: Evaluation of isolation design flow (IDF) for Single Chip Cryptography (SCC) application
• Title（参考訳）: 単一チップ暗号(SCC)応用のための分離設計フロー(IDF)の評価
• Authors: Arsalan Ali Malik,
• Abstract要約: Xilinxはユーザに対して,自身が購入したシステムが引き続き機能する,という保証を提供する。 この論文は、単一チップの暗号アプリケーションを実装することで、IDFに関するXilinxの主張をテストに当てはめている。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: Field Programmable Gate Arrays (FPGAs) are increasingly in various applications. This is due to the fact that they provide flexibility to reprogram and modify in realtime with minimum effort. The increasing usage of FPGA must also ensure its end users with a guarantee that they are able to overcome failures and work in the harshest of environments. Today's end user demands a guarantee that the system he/she is buying remains functional. FPGA Vendor Xilinx provides its users with that guarantee in the name of Isolation Design flow or IDF for short. Xilinx claims that IDF can help ensure users reliability while providing flexibility. If true, application that can benefit from IDF are vast, such as Avionics, Unmanned probes, Self-driving fully autonomous vehicles, etc. This thesis puts the Xilinx claim regarding IDF to the test by implementing a single-chip cryptographic application, namely Advanced Encryption Standard, according to the rules and regulations defined by isolation design flow. This thesis does so by replicating and injecting faults in the system that conforms to the rules of IDF and records its behavior firsthand to observe IDF effectiveness. This thesis can also help end users and system evaluators interested in effectiveness of IDF with an independent view other than Xilinx by providing them with statistical data collected to remove all doubts.
• Abstract（参考訳）: FPGA (Field Programmable Gate Arrays) は様々な用途に応用されている。 これは、最小限の労力でリアルタイムでプログラムや修正を行う柔軟性を提供するという事実による。 FPGAの利用が増加すると、エンドユーザは障害を克服し、最も厳しい環境で作業できることを保証しなければなりません。 今日のエンドユーザは,自身が購入したシステムが引き続き機能する,という保証を要求します。 FPGAベンダXilinxは、ユーザに対して、Isolation Design Flow(略してIDF)の名において、その保証を提供する。 Xilinxは、IDFは柔軟性を提供しながらユーザーの信頼性を確保するのに役立つと主張している。 IDFの恩恵を受けることができるアプリケーションは、Avionics、無人探査機、自動運転完全自動運転車など、非常に大きい。 この論文は、IDFに関するXilinxの主張を、分離設計フローで定義されたルールと規則に従って、単一チップの暗号アプリケーション、すなわちAdvanced Encryption Standardを実装することによって、テストに当てはめる。 この論文は、IDFの規則に準拠したシステム内の障害を複製し、注入し、その挙動を直接記録することにより、IDFの有効性を観察する。 この論文は、Xilinx以外の独立したビューでIDFの有効性に関心のあるエンドユーザーやシステム評価者に対して、すべての疑念を取り除くために収集された統計データを提供することにも役立つ。

関連論文リスト

• TRANSPOSE: Transitional Approaches for Spatially-Aware LFI Resilient FSM Encoding [2.236957801565796]
  有限状態マシン(FSM)は、機密情報や特権CPU状態へのアクセスを含むシーケンシャル回路を規制する。 レーザベースのフォールトインジェクション(LFI)は、個々のフリップフロップ(FF)値を変更することで、敵がチップのセキュリティを脅かすことができるようになってきている。
  論文  参考訳（メタデータ） (2024-11-05T04:18:47Z)
• FPPL: An Efficient and Non-IID Robust Federated Continual Learning Framework [6.446904116575293]
  フェデレーション型連続学習(FCL)は、分散化されたフェデレーション型学習環境において、シーケンシャルなデータストリームから学習することを目的としている。 既存のFCLメソッドは通常、典型的なリハーサル機構を使用しており、これはプライバシー侵害や追加の面倒なストレージや計算負荷をもたらす可能性がある。 本研究では,FPPL(Federated Prototype-Augmented Prompt Learning)と呼ばれる,効率的で非IIDな連立型連続学習フレームワークを提案する。
  論文  参考訳（メタデータ） (2024-11-04T09:15:21Z)
• Automated Proof Generation for Rust Code via Self-Evolution [69.25795662658356]
  私たちは、Rustコードの自動証明生成を可能にする、人間による証明の欠如を克服する新しいフレームワークであるSAFEを紹介します。 GPT-4oに比べて効率と精度が優れていた。 この進歩により性能が大幅に向上し、人間の専門家によるベンチマークで70.50%の精度が達成された。
  論文  参考訳（メタデータ） (2024-10-21T08:15:45Z)
• Guarding the Grid: Enhancing Resilience in Automated Residential Demand Response Against False Data Injection Attacks [2.981139602986498]
  ユーティリティ企業は、需要対応プログラムの有効性を高めるために、住宅需要の柔軟性とスマート/IoTデバイスの普及を活用している。 これらのシステムにおける分散アーキテクチャの採用は、それらを偽データインジェクション攻撃(FDIA)のリスクにさらしている。 本稿では、DR最適化、異常検出、攻撃の影響を緩和し、レジリエントで自動化されたデバイススケジューリングシステムを構築するための戦略を組み合わせた総合的なフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-12-14T04:02:52Z)
• Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing [57.49021927832259]
  ディープニューラルネットワーク(DNN)は多くのシナリオで異常な結果を示した強力なツールです。 しかし、それらの複雑な設計と透明性の欠如は、現実世界のアプリケーションに適用する際の安全性上の懸念を提起する。 DNNの形式的検証(FV)は、安全面の証明可能な保証を提供する貴重なソリューションとして登場した。
  論文  参考訳（メタデータ） (2023-12-10T13:51:25Z)
• Factcheck-Bench: Fine-Grained Evaluation Benchmark for Automatic Fact-checkers [121.53749383203792]
  本稿では,大規模言語モデル (LLM) 生成応答の事実性に注釈を付けるための総合的なエンドツーエンドソリューションを提案する。 オープンドメインの文書レベルの事実性ベンチマークを,クレーム,文,文書の3段階の粒度で構築する。 予備実験によると、FacTool、FactScore、Perplexityは虚偽の主張を識別するのに苦労している。
  論文  参考訳（メタデータ） (2023-11-15T14:41:57Z)
• Reliable Federated Disentangling Network for Non-IID Domain Feature [62.73267904147804]
  本稿では、RFedDisと呼ばれる新しい信頼性のあるフェデレーション・ディエンタングリング・ネットワークを提案する。 我々の知る限り、提案するRFedDisは、明らかな不確実性と特徴の混在に基づくFLアプローチを開発する最初の試みである。 提案するRFedDisは,他の最先端FL手法と比較して信頼性の高い優れた性能を提供する。
  論文  参考訳（メタデータ） (2023-01-30T11:46:34Z)
• A Reliable, Self-Adaptive Face Identification Framework via Lyapunov Optimization [13.424046941307134]
  ビデオフィードからリアルタイムの顔の識別は、非常に集約的な計算である。 本稿では,FID性能を最大化するためにサンプリングレートに適応する新しいキュー対応FIDフレームワークを提案する。 トレースベースのシミュレーションによる予備評価により,フレームワークの有効性が確認された。
  論文  参考訳（メタデータ） (2021-09-02T21:01:44Z)
• GAN-MDF: A Method for Multi-fidelity Data Fusion in Digital Twins [82.71367011801242]
  Internet of Things(IoT)は、スマートファクトリ、インテリジェントロボット、ヘルスケアシステムなどの物理システムのリアルタイムデータを収集する。 高忠実度(HF)応答は、関心の系を正確に記述するが、コストがかかる。 低忠実性(LF)応答は計算コストが低いが、要求される精度を満たせなかった。 デジタル双生児(GAN-MDF)におけるMDFの新たな生成的対向ネットワークを提案する。
  論文  参考訳（メタデータ） (2021-06-24T06:40:35Z)
• Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
  制御バリア関数(CBF)と制御リアプノフ関数(CLF)は、制御システムの安全性と安定性をそれぞれ強化するための一般的なツールである。 本稿では, CBF と CLF を用いた安全クリティカルコントローラにおいて, モデル不確実性に対処するためのガウスプロセス(GP)に基づくアプローチを提案する。
  論文  参考訳（メタデータ） (2021-06-13T23:08:49Z)
• TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications [2.204335500292961]
  複製に基づくアプリケーションのための高レベルフォールトインジェクション(FI)フレームワークを提案する。 FIFIは一般的なプログラムにハードウェアとソフトウェアの両方の欠点を注入することができる。 既存のプログラムに統合して,さまざまな障害タイプに対するレジリエンスを評価することも可能だ。
  論文  参考訳（メタデータ） (2020-04-03T19:26:23Z)

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

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