論文の概要: GlucOS: Security, correctness, and simplicity for automated insulin delivery

• arxiv url: http://arxiv.org/abs/2406.18262v3
• Date: Tue, 22 Oct 2024 02:27:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-23 14:23:58.837152
• Title: GlucOS: Security, correctness, and simplicity for automated insulin delivery
• Title（参考訳）: GlucOS: 自動インスリンデリバリーのセキュリティ、正確性、単純性
• Authors: Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King,
• Abstract要約: 本稿では,信頼性の高い自動インスリンデリバリーシステムであるGlucOSを紹介する。 GlucOSはアルゴリズムのセキュリティ、ドライバのセキュリティ、エンド・ツー・エンドの検証を組み合わせることで、悪意のあるMLモデル、脆弱なポンプドライバ、人間の生理学の急激な変化を防いでいる。
• 参考スコア（独自算出の注目度）: 0.9763849901138384
• License:
• Abstract: We present GlucOS, a novel system for trustworthy automated insulin delivery. Fundamentally, this paper is about a system we designed, implemented, and deployed on real humans and the lessons learned from our experiences. GlucOS combines algorithmic security, driver security, and end-to-end verification to protect against malicious ML models, vulnerable pump drivers, and drastic changes in human physiology. We use formal methods to prove correctness of critical components and incorporate humans as part of our defensive strategy. Our evaluation includes both a real-world deployment with seven individuals and results from simulation to show that our techniques generalize. Our results show that GlucOS maintains safety and improves glucose control even under attack conditions. This work demonstrates the potential for secure, personalized, automated healthcare systems. Our source code is open source.
• Abstract（参考訳）: 本稿では,信頼性の高い自動インスリンデリバリーシステムであるGlucOSを紹介する。 本論文は基本的に、実際の人間に設計、実装、展開するシステムとその経験から学んだ教訓について述べる。 GlucOSはアルゴリズムのセキュリティ、ドライバのセキュリティ、エンド・ツー・エンドの検証を組み合わせることで、悪意のあるMLモデル、脆弱なポンプドライバ、人間の生理学の急激な変化を防いでいる。 我々は、重要な構成要素の正当性を証明し、防衛戦略の一部として人間を組み込む公式な方法を用いています。 評価には,7人の個人による実世界の展開とシミュレーションの結果の両方が含まれており,その手法が一般化されていることを示す。 以上の結果から,GlucOSは安全を維持し,攻撃条件下においてもグルコースコントロールを改善していることが明らかとなった。 この研究は、安全でパーソナライズされた自動化ヘルスケアシステムの可能性を示している。 ソースコードはオープンソースです。

関連論文リスト

• GluPredKit: Development and User Evaluation of a Standardization Software for Blood Glucose Prediction [0.5296605834401323]
  GluPredKitは、血糖予測アルゴリズムのトレーニング、テスト、比較を標準化するために設計されたソフトウェアプラットフォームである。 この結果は、GluPredKitが標準化の課題に効果的に対応し、高いユーザビリティを提供することを示している。
  論文  参考訳（メタデータ） (2024-06-13T08:23:05Z)
• Neural Control System for Continuous Glucose Monitoring and Maintenance [0.0]
  持続的なグルコースモニタリングと管理のための新しいニューラルコントロールシステムを提供する。 我々のアプローチは、洗練されたニューラルポリシーと微分可能なモデリングによって導かれ、常にリアルタイムでインスリン供給を調整する。 このエンドツーエンドの方法は効率を最大化し、パーソナライズされたケアを提供し、健康状態を改善する。
  論文  参考訳（メタデータ） (2024-02-21T14:56:36Z)
• Can We Trust the Unlabeled Target Data? Towards Backdoor Attack and Defense on Model Adaptation [120.42853706967188]
  本研究は, よく設計された毒物標的データによるモデル適応に対するバックドア攻撃の可能性を探る。 既存の適応アルゴリズムと組み合わせたMixAdaptというプラグイン・アンド・プレイ方式を提案する。
  論文  参考訳（メタデータ） (2024-01-11T16:42:10Z)
• Security, extensibility, and redundancy in the Metabolic Operating System [0.8484871864277641]
  本稿では,新しいインスリン自動デリバリーシステムであるメタボリックオペレーティングシステムについて紹介する。 我々は、コアシステムを簡単にし、コアクローズドループアルゴリズムから非クリティカルな機能を分離するために分離原理を適用した。 安全性の観点からは、システムを使用している人が安全であることを保証するために、複数の冗長性層を構築します。
  論文  参考訳（メタデータ） (2023-12-11T21:26:55Z)
• Attention-Enhancing Backdoor Attacks Against BERT-based Models [54.070555070629105]
  バックドア攻撃の戦略を調べることは、モデルの脆弱性を理解するのに役立つだろう。 本稿では,注意パターンを直接操作することでトロイの木馬行動を向上させる新しいトロイの木馬注意損失(TAL)を提案する。
  論文  参考訳（メタデータ） (2023-10-23T01:24:56Z)
• When Authentication Is Not Enough: On the Security of Behavioral-Based Driver Authentication Systems [53.2306792009435]
  我々はランダムフォレストとリカレントニューラルネットワークアーキテクチャに基づく2つの軽量ドライバ認証システムを開発した。 我々は,SMARTCANとGANCANという2つの新しいエスケープアタックを開発することで,これらのシステムに対する攻撃を最初に提案する。 コントリビューションを通じて、これらのシステムを安全に採用する実践者を支援し、車の盗難を軽減し、ドライバーのセキュリティを高める。
  論文  参考訳（メタデータ） (2023-06-09T14:33:26Z)
• Personalized Understanding of Blood Glucose Dynamics via Mobile Sensor Data [0.0]
  スマートフォンによるセンサ入力で連続血糖値(CGM)データを増大させる。 このデータセットは、そのサイズ、GPSデータが含まれており、非侵襲的にフリーライフの患者から収集されたという事実という意味では、新しいものです。
  論文  参考訳（メタデータ） (2023-02-02T20:26:05Z)
• Blockchain associated machine learning and IoT based hypoglycemia detection system with auto-injection feature [0.0]
  この研究は、低血糖を検知し、生命を救うために自動糖注入を行う自動システムを実装することを目的としている。 グルコースセンサーとスマートウォッチのデータはFog経由で処理され、クラウドに送信された。 低血糖事象が検出されると、システムはモバイルアプリケーションと自動注入装置に通知を送り、凝縮した糖を被害者の体に押し込んだ。
  論文  参考訳（メタデータ） (2022-07-27T03:11:41Z)
• Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks [62.923992740383966]
  本稿では,MDFに基づくADシステムにおけるセキュリティ問題の最初の研究について述べる。 物理的に実現可能な逆3Dプリントオブジェクトを生成し、ADシステムが検出に失敗してクラッシュする。 以上の結果から,攻撃は様々なオブジェクトタイプおよびMSFに対して90%以上の成功率を達成した。
  論文  参考訳（メタデータ） (2021-06-17T05:11:07Z)
• Perceiving Humans: from Monocular 3D Localization to Social Distancing [93.03056743850141]
  本稿では,人間の3次元位置と身体の向きを1つの画像から知覚する,コスト効率の高い視覚ベースの新しい手法を提案する。 我々は,「社会的距離」という概念を,単純な位置に基づくルールとは対照的に,社会的相互作用の一形態として再考することが可能であることを示す。
  論文  参考訳（メタデータ） (2020-09-01T10:12:30Z)
• Adversarial vs behavioural-based defensive AI with joint, continual and active learning: automated evaluation of robustness to deception, poisoning and concept drift [62.997667081978825]
  人工知能(AI)の最近の進歩は、サイバーセキュリティのための行動分析(UEBA)に新たな能力をもたらした。 本稿では、検出プロセスを改善し、人間の専門知識を効果的に活用することにより、この攻撃を効果的に軽減するソリューションを提案する。
  論文  参考訳（メタデータ） (2020-01-13T13:54:36Z)

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

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