Cover Image

GlucOS: Security, correctness, and simplicity for automated insulin delivery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Venugopalan, Hari, Vijayanand, Shreyas Madhav Ambattur, Stanford, Caleb, Crossen, Stephanie, King, Samuel T.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FP-Inconsistent: Measurement and Analysis of Fingerprint Inconsistencies in Evasive Bot Traffic
by: Venugopalan, Hari, et al.
Published: (2024)

FP-Rowhammer: DRAM-Based Device Fingerprinting
by: Venugopalan, Hari, et al.
Published: (2023)

Security, extensibility, and redundancy in the Metabolic Operating System
by: King, Samuel T.
Published: (2023)

HammerSim: A System-Level Tool to Model RowHammer
by: Goswami, Kaustav, et al.
Published: (2026)

Smart Car Privacy: Survey of Attacks and Privacy Issues
by: Deshmukh, Akshay Madhav
Published: (2025)

Security of and by Generative AI platforms
by: Hayagreevan, Hari, et al.
Published: (2024)

A Managed Tokens Service for Securely Keeping and Distributing Grid Tokens
by: Bhat, Shreyas, et al.
Published: (2025)

Writing a Good Security Paper for ISSCC (2025)
by: Banerjee, Utsav, et al.
Published: (2025)

On Scalable Integrity Checking for Secure Cloud Disks
by: Burke, Quinn, et al.
Published: (2024)

Securing Biometric Data: Fully Homomorphic Encryption in Multimodal Iris and Face Recognition
by: Singh, Surendra, et al.
Published: (2024)

FedSecureFormer: A Fast, Federated and Secure Transformer Framework for Lightweight Intrusion Detection in Connected and Autonomous Vehicles
by: S, Devika, et al.
Published: (2025)

Modern iOS Security Features -- A Deep Dive into SPTM, TXM, and Exclaves
by: Steffin, Moritz, et al.
Published: (2025)

Analysis of Security in OS-Level Virtualization
by: Ketha, Krishna Sai, et al.
Published: (2025)

SAMEP: A Secure Protocol for Persistent Context Sharing Across AI Agents
by: Masoor, Hari
Published: (2025)

Are Crypto Ecosystems (De)centralizing? A Framework for Longitudinal Analysis
by: Ju, Harang, et al.
Published: (2025)

MAESTROCUT: Dynamic, Noise-Adaptive, and Secure Quantum Circuit Cutting on Near-Term Hardware
by: Punch, Samuel, et al.
Published: (2025)

A Zero-overhead Flow for Security Closure
by: Eslami, Mohammad, et al.
Published: (2025)

A Giant-Step Baby-Step Classifier For Scalable and Real-Time Anomaly Detection In Industrial Control Systems and Water Treatment Systems
by: Venugopalan, Sarad, et al.
Published: (2025)

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation
by: Abideen, Zain Ul, et al.
Published: (2026)

APThreatHunter: An automated planning-based threat hunting framework
by: Abdelwahed, Mustafa F., et al.
Published: (2025)

Russian Cyber Onslaught was Blunted by Ukrainian Cyber Resilience, not Merely Security
by: Kott, Alexander, et al.
Published: (2024)

Towards Unifying Quantitative Security Benchmarking for Multi Agent Systems
by: Sharma, Gauri, et al.
Published: (2025)

Sift or Get Off the PoC: Applying Information Retrieval to Vulnerability Research with SiftRank
by: Gross, Caleb
Published: (2025)

Privacy-Preserving Anonymization of System and Network Event Logs Using Salt-Based Hashing and Temporal Noise
by: Bargale, Shreyas, et al.
Published: (2025)

From the Two-Capacitor Paradox to Electromagnetic Side-Channel Mitigation in Digital Circuits
by: Singh, Raghvendra Pratap, et al.
Published: (2025)

Rudraksh: A compact and lightweight post-quantum key-encapsulation mechanism
by: Kundu, Suparna, et al.
Published: (2025)

Keystroke Detection by Exploiting Unintended RF Emission from Repaired USB Keyboards
by: Bari, Md Faizul, et al.
Published: (2025)

Speed Kills: Exploring Confused Deputy Attacks Through Edge AI Accelerators
by: Danduri, Datta Manikanta Sri Hari, et al.
Published: (2026)

On the Security and Privacy of AI-based Mobile Health Chatbots
by: Wairimu, Samuel, et al.
Published: (2025)

The Authorization-Execution Gap Is a Major Safety and Security Problem in Open-World Agents
by: Wu, Baoyuan, et al.
Published: (2026)

Characterizing AI-Assisted Bot Traffic in Darknet Data: Implications for ICS and IIoT Security
by: Carbajal, Alex, et al.
Published: (2026)

"What Keeps People Secure is That They Met The Security Team": Deconstructing Drivers And Goals of Organizational Security Awareness
by: Hielscher, Jonas, et al.
Published: (2024)

A Novel Performance-Optimized Chaotic Mapping Technique for Secure and Compressed Image Transmission
by: Dr. Latha H R
Published: (2025)

Adaptive Exploit Generation against Security Devices and Security APIs
by: Künnemann, Robert, et al.
Published: (2024)

Implementation of Entropically Secure Encryption: Securing Personal Health Data
by: Temel, Mehmet Hüseyin, et al.
Published: (2024)

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
by: Sherman, Alan T., et al.
Published: (2025)

Secure Control Systems for Autonomous Quadrotors against Cyber-Attacks
by: Belkadi, Samuel
Published: (2024)

Formulating Subgroup Discovery as a Quantum Optimization Problem for Network Security
by: Spell, Samuel, et al.
Published: (2026)

RAIFLE: Reconstruction Attacks on Interaction-based Federated Learning with Adversarial Data Manipulation
by: Pham, Dzung, et al.
Published: (2023)

EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
by: Pérez, Elsa López, et al.
Published: (2024)