論文の概要: A Non-Invasive Cloud-Based Migration Strategy for Post-Quantum Cybersecurity in Smart HVAC Systems: Architecture, Implementation, and Empirical Evaluation

• arxiv url: http://arxiv.org/abs/2609.27828v1
• Date: Wed, 19 Aug 2026 04:11:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-28 05:09:55.977527
• Title: A Non-Invasive Cloud-Based Migration Strategy for Post-Quantum Cybersecurity in Smart HVAC Systems: Architecture, Implementation, and Empirical Evaluation
• Title（参考訳）: スマートHVACシステムにおけるポスト量子サイバーセキュリティのための非侵襲的クラウドベースマイグレーション戦略:アーキテクチャ,実装,実証評価
• Abstract要約: 量子後直接暗号は実現不可能である。 我々は、デバイス、ファームウェア、クラウドの変更を必要とせず、非依存のPQCを提案する。 ゲートウェイは、32コアのクラウドインスタンスで毎秒3546セッションに外挿され、32のコンカレントコネクションで443セッション/秒、100%成功している。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Legacy smart HVAC controllers rely on vendor-cloud TLS secured by ECDH and RSA, both broken by Shor's algorithm, and typical 10-15 year lifespans mean today's devices remain in service through the quantum-threat era. Direct on-device post-quantum cryptography is infeasible: an ESP32-S3, representative of capable HVAC hardware, has only 339 KB free heap against the 900 KB ML-KEM-768 requires, and even classical ECDH-P256 keygen (111.93 ms) dwarfs hardware AES-128 (0.032 ms). We propose a non-invasive PQC proxy, requiring no device, firmware, or vendor-cloud changes, performing ML-KEM-768 encapsulation and ML-DSA-65 authentication (NIST FIPS 203/204) with AES-256-GCM session keys via HKDF, implemented with Open Quantum Safe liboqs on a Raspberry Pi 4B gateway. Over 500 runs, the post-quantum handshake (Steps 1-6) completes in 2.48 ms, 0.38 ms slower than classical baseline, with PQC computation around 8% of handshake time at 20 ms simulated round-trip network latency. The gateway sustains 443 sessions/second, 100% success under 32 concurrent connections, extrapolating to 3546 sessions/second on a 32-core cloud instance. Five side-channel tests, including verified in-place session-key zeroization and a fixed-vs-random TVLA timing analysis, found no exploitable timing leakage or susceptibility to man-in-the-middle attacks. The architecture is vendor-agnostic and becomes unnecessary once vendors adopt NIST PQC natively.
• Abstract（参考訳）: レガシーなスマートなHVACコントローラは、ECDHとRSAによって保護されたベンダークラウドTLSに依存しており、どちらもShorのアルゴリズムによって壊れている。 ESP32-S3は、能力のあるHVACハードウェアを代表し、900KBのML-KEM-768に対して339KBの無料ヒープしか必要とせず、古典的なECDH-P256キーゲン(111.93 ms)でさえ、AES-128(0.032 ms)のハードウェアを使用する。 Raspberry Pi 4Bゲートウェイ上で,Open Quantum Safe Liboqsで実装されたHKDFを介して,AES-256-GCMセッションキーを用いたML-KEM-768カプセル化とML-DSA-65認証(NIST FIPS 203/204)を行う非侵襲的なPQCプロキシを提案する。 500回以上実行された後手シェイク(ステップ1-6)は、古典的なベースラインよりも2.48ms、0.38ms遅い。 ゲートウェイは443セッション/秒で、32の同時接続で100%成功し、32コアのクラウドインスタンスで3546セッション/秒に外挿される。 現場でのセッションキーゼロ化と固定vsランダムTVLAタイミング分析を含む5つのサイドチャネルテストでは、悪用可能なタイミングリークや中間者攻撃に対する感受性は見つからなかった。 アーキテクチャはベンダに依存しないため、ベンダがNIST PQCをネイティブに採用すれば不要になる。

関連論文リスト

• MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research [39.68394140712043]
  MobileGymは、日常的なモバイル利用のための軽量で完全に制御可能な環境である。 階層化された状態モデルと宣言的なタスク定義フレームワークは、状態のプログラマビリティとタスク作成を大規模に実践的に保ちます。 単一のプログラム的判断メカニズムは、決定論的評価評価と高密度報酬の両方を提供する。
  論文  参考訳（メタデータ） (2026-05-25T17:59:49Z)
• Gated QKAN-FWP: Scalable Quantum-inspired Sequence Learning [38.502127166117674]
  量子インスパイアされたKolmogorov-Arnold Network(QKAN)とFWPを統合した高速軽量フレームワークQKAN-FWPを提案する。 私たちは、DARUAN(DatA Re-Uploading ActivatioN)として知られる、学習可能な非線形アクティベーションとしてシングルキュービットデータ再ロード回路を使用している。 時系列ベンチマーク,MiniGrid強化学習,および実世界の太陽周期予測を主要な実践的結果として取り上げ,その枠組みを評価する。
  論文  参考訳（メタデータ） (2026-05-07T13:04:09Z)
• Quantum-Safe Code Auditing: LLM-Assisted Static Analysis and Quantum-Aware Risk Scoring for Post-Quantum Cryptography Migration [0.0]
  量子セーフコード(Quantum-Safe Code)は、量子を意識した静的解析フレームワークである。 量子加重プリミティブの15のクラスと変分ブーンシゾルダー(VQE)モデルを使用している。 602のラベル付きインスタンスのサンプルでは、71.98%の精度、100%のリコール、そしてF1スコア83.71%を達成した。
  論文  参考訳（メタデータ） (2026-04-01T07:10:17Z)
• Benchmarking Post-Quantum Cryptography on Resource-Constrained IoT Devices: ML-KEM and ML-DSA on ARM Cortex-M0+ [0.0]
  本稿では,ARM Cortex-M0+プロセッサ上でML-KEMとML-DSAを分離したアルゴリズムレベルベンチマークを提案する。 PQClean参照Cの実装を用いて、キー生成、カプセル化/署名、カプセル化/検証の3つのセキュリティレベルをすべて計測する。 すべてのコード、データ、スクリプトは、開発者のためのオープンソースのベンチマークスイートとしてリリースされている。
  論文  参考訳（メタデータ） (2026-03-19T11:27:29Z)
• Post-Quantum Entropy as a Service for Embedded Systems [0.0]
  我々は、QRNG由来のエントロピーをQuantisデバイスからESP32クラスのクライアントへ、クォータム後セキュアなチャネル上で移動させる量子エントロピー・アズ・ア・サービス(QE)システムを構築した。 サーバ側では、カスタムOpenSSLプロバイダ経由の直接量子エントロピーと、Linuxシステムプール経由の混合エントロピーの2つのパスを公開する。
  論文  参考訳（メタデータ） (2026-03-10T23:09:55Z)
• Prima.cpp: Fast 30-70B LLM Inference on Heterogeneous and Low-Resource Home Clusters [43.52299612686755]
  オンデバイス推論は、プライバシ、オフライン使用、即時応答を提供するが、コンシューマハードウェアは、大きな言語モデル(LLM)を低スループットと能力に制限する。 本稿では,CPU/GPUの混在,RAM/VRAMの不足,ディスクの遅い,Wi-Fiリンク,異種OSを備えた家電クラスタ上で30～70B LLMを動作させる分散オンデバイス推論システムprime.を提案する。 計算・通信とディスクI/Oの重なり合うようにパイプラインリング並列化(PRP)を導入し,mapベースのオフロードにおけるプレフェッチ・リリース競合に対処する。
  論文  参考訳（メタデータ） (2025-04-07T13:46:21Z)
• A Heterogeneous RISC-V based SoC for Secure Nano-UAV Navigation [40.8381466360025]
  ナノUAVは高度な計算能力を必要とする一方で、大きな電力とペイロードの制約に直面している。 9mm2200mWシステム・オン・ア・チップ(SoC)のShaheenについて紹介する。 Linux対応のRV64コアと、v1.0の承認されたハイパーバイザ拡張と、低コストで低消費電力のメモリコントローラを統合している。 同時に、汎用DSP向けに最適化されたRV32コアの完全プログラム可能なエネルギー効率と面積効率のマルチコアクラスタを統合している。
  論文  参考訳（メタデータ） (2024-01-07T16:03:47Z)
• First demonstration of a post-quantum key-exchange with a nanosatellite [58.579141089302816]
  我々は、Kyber-512を用いて、低軌道上のナノサテライトSpooQy-1と量子後鍵交換を示す。 この実装は、SWaP制約ナノサテライト上での量子セーフ認証鍵交換および暗号化システムの実現可能性を示す。
  論文  参考訳（メタデータ） (2022-06-02T10:45:27Z)

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

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