Cover Image

Towards a Formal Verification of Secure Vehicle Software Updates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hagen, Martin Slind, Lundqvist, Emil, Phu, Alex, Wang, Yenan, Strandberg, Kim, Schiller, Elad Michael
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLMSecCode: Evaluating Large Language Models for Secure Coding
by: Rydén, Anton, et al.
Published: (2024)

Fast and Secure Decentralized Optimistic Rollups Using Setchain
by: Capretto, Margarita, et al.
Published: (2024)

Towards System-Oriented Formal Verification of Local-First Access Control
by: Jacob, Florian, et al.
Published: (2026)

Towards the Unmanned Aerial Vehicle Traffic Management Systems (UTMs): Security Risks and Challenges
by: Spalas, Konstantinos
Published: (2024)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
by: De Sclavis, Francesco, et al.
Published: (2024)

ChonkyBFT: Consensus Protocol of ZKsync
by: França, Bruno, et al.
Published: (2025)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
by: Nguyen, Dung Thuy, et al.
Published: (2024)

Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
by: Dolev, Shlomi, et al.
Published: (2025)

ARGO-SLSA: Software Supply Chain Security in Argo Workflows
by: Thariq, Mohomed, et al.
Published: (2025)

Securing 3rd Party App Integration in Docker-based Cloud Software Ecosystems
by: Binkowski, Christian, et al.
Published: (2024)

Towards Stronger Blockchains: Security Against Front-Running Attacks
by: Misra, Anshuman, et al.
Published: (2023)

Towards a Blockchain-Based CI/CD Framework to Enhance Security in Cloud Environments
by: Saleh, Sabbir M, et al.
Published: (2025)

Cloud Security and Security Challenges Revisited
by: Süß, Fabian, et al.
Published: (2024)

Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain
by: Kim, Bong Gon, et al.
Published: (2023)

Quantum-Secure Hybrid Blockchain System for DID-based Verifiable Random Function with NTRU Linkable Ring Signature
by: Kim, Bong Gon, et al.
Published: (2024)

Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
by: De Angelis, Stefano, et al.
Published: (2025)

Sequencer Level Security
by: Derka, Martin, et al.
Published: (2024)

Security and RAS in the Computing Continuum
by: Alonso, Martí, et al.
Published: (2024)

SoK: Speedy Secure Finality
by: Saraswat, Yash, et al.
Published: (2025)

Future Mining: Learning for Safety and Security
by: Rahman, Md Sazedur, et al.
Published: (2026)

A Secure and Privacy-Friendly Logging Scheme
by: Aßmuth, Andreas, et al.
Published: (2024)

CoVault: A Secure Analytics Platform
by: De Viti, Roberta, et al.
Published: (2022)

Lightweight, Secure and Stateful Serverless Computing with PSL
by: Thomas, Alexander, et al.
Published: (2024)

Enhancing Trust in AI Marketplaces: Evaluating On-Chain Verification of Personalized AI models using zk-SNARKs
by: Jagannath, Nishant, et al.
Published: (2025)

Distributed Security: From Isolated Properties to Synergistic Trust
by: Xu, Minghui
Published: (2026)

VELLET: Verifiable Embedded Wallet for Securing Authenticity and Integrity
by: Watanabe, Hiroki, et al.
Published: (2024)

Kumo: A Security-Focused Serverless Cloud Simulator
by: Shao, Wei, et al.
Published: (2026)

Advances in Privacy Preserving Federated Learning to Realize a Truly Learning Healthcare System
by: Madduri, Ravi, et al.
Published: (2024)

Lightweight Tamper-Evident Log Integrity Verification for IoT Edge Environments: A Merkle Tree Pipeline with Adaptive Chunking
by: Yagiz, Muhammet Anil, et al.
Published: (2026)

Security of Cloud Services with Low-Performance Devices in Critical Infrastructures
by: Molle, Michael, et al.
Published: (2024)

Prichain II: CloudGuardian Cloud Security Proposal with Blockchain
by: Rodrigues, Rodrigo Craveiro, et al.
Published: (2024)

Autonomous Adaptive Security Framework for 5G-Enabled IoT
by: Abie, Habtamu, et al.
Published: (2024)

SMTFL: Secure Model Training to Untrusted Participants in Federated Learning
by: Zhao, Zhihui, et al.
Published: (2025)

A Survey of Recent Advancements in Secure Peer-to-Peer Networks
by: Patel, Raj, et al.
Published: (2025)

SCALHEALTH: Scalable Blockchain Integration for Secure IoT Healthcare Systems
by: Mohammadi, Mehrzad, et al.
Published: (2024)

Implementation of New Security Features in CMSWEB Kubernetes Cluster at CERN
by: Ali, Aamir, et al.
Published: (2024)

SoK: Design, Vulnerabilities, and Security Measures of Cryptocurrency Wallets
by: Erinle, Yimika, et al.
Published: (2023)

Fantastyc: Blockchain-based Federated Learning Made Secure and Practical
by: Boitier, William, et al.
Published: (2024)

Service Level Agreements and Security SLA: A Comprehensive Survey
by: Nicolazzo, Serena, et al.
Published: (2024)

Internet of Things Security, Device Authentication and Access Control: A Review
by: Ali, Inayat, et al.
Published: (2019)