:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Figge, Julius, Knuplesch, David, Maletti, Andreas, Zuvic, Dragan
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2604.21606
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
by: Antón, Anna Lena Duque, et al.
Published: (2024)

Formal Verification for Blockchain-based Insurance Claims Processing
by: Neupane, Roshan Lal, et al.
Published: (2024)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

Automating Function-Level TARA for Automotive Full-Lifecycle Security
by: Yang, Yuqiao, et al.
Published: (2025)

ACTISM: Threat-informed Dynamic Security Modelling for Automotive Systems
by: Huang, Shaofei, et al.
Published: (2024)

Outsourcing SAT-based Verification Computations in Network Security
by: Duan, Qi, et al.
Published: (2025)

SecurePay: Enabling Secure and Fast Payment Processing for Platform Economy
by: Lin, Junru, et al.
Published: (2025)

Enabling Low-Cost Secure Computing on Untrusted In-Memory Architectures
by: Ghinani, Sahar Ghoflsaz, et al.
Published: (2025)

XDC Network Assessment: Decentralization, Scalability and Security
by: Chakraborty, Mohuya, et al.
Published: (2024)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
by: Weintraub, Ben, et al.
Published: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

Secure eFPGA-Enabled Edge LLM Inference: Architectural and Hardware Countermeasures
by: Das, Voktho, et al.
Published: (2026)

Enhancing Automotive Security with a Hybrid Approach towards Universal Intrusion Detection System
by: Islam, Md Rezanur, et al.
Published: (2025)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
by: Ding, Wanning, et al.
Published: (2024)

Differentiated Security Architecture for Secure and Efficient Infotainment Data Communication in IoV Networks
by: Fan, Jiani, et al.
Published: (2024)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
by: Mohamad, Mazen
Published: (2024)

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
by: Acharya, Nirajan, et al.
Published: (2026)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
by: Blain, Dominik, et al.
Published: (2026)

The Avatar Cache: Enabling On-Demand Security with Morphable Cache Architecture
by: Bhatla, Anubhav, et al.
Published: (2026)

FileDES: A Secure Scalable and Succinct Decentralized Encrypted Storage Network
by: Xu, Minghui, et al.
Published: (2024)

Towards a Formal Verification of Secure Vehicle Software Updates
by: Hagen, Martin Slind, et al.
Published: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

Formal Security Analysis of the AMD SEV-SNP Software Interface
by: Paradžik, Petar, et al.
Published: (2024)

Operational Runtime Behavior Mining for Open-Source Supply Chain Security
by: Tan, Zhuoran, et al.
Published: (2026)

Towards a New Configurable and Practical Remote Automotive Security Testing Platform
by: Kulandaivel, Sekar, et al.
Published: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

Leveraging Trustworthy AI for Automotive Security in Multi-Domain Operations: Towards a Responsive Human-AI Multi-Domain Task Force for Cyber Social Security
by: Barletta, Vita Santa, et al.
Published: (2025)

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
by: Rahman, Tanvir, et al.
Published: (2026)

Detecting and Measuring Security Implications of Entangled Domain Verification in CDN
by: Lin, Ziyu, et al.
Published: (2024)

Formally-verified Security against Forgery of Remote Attestation using SSProve
by: Zain, Sara, et al.
Published: (2025)

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

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)