Buchumschlag

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Xiaoqi, Wang, Xin, Li, Wenkai, Li, Zongwei
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security D.2.4; D.4.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
von: Yang, Haowei
Veröffentlicht: (2024)

Decentralized COVID-19 Health System Leveraging Blockchain
von: Chen, Lingsheng, et al.
Veröffentlicht: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
von: Kim, Hyunwoo, et al.
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

C8s: A Confidential Kubernetes Architecture
von: Asad, Amean, et al.
Veröffentlicht: (2026)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
von: Churilov, Aleksandr
Veröffentlicht: (2026)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
von: Wu, Jixuan, et al.
Veröffentlicht: (2025)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

SETC: A Vulnerability Telemetry Collection Framework
von: Holeman, Ryan, et al.
Veröffentlicht: (2024)

VIC: Evasive Video Game Cheating via Virtual Machine Introspection
von: Karkallis, Panicos, et al.
Veröffentlicht: (2025)

From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
von: Caldarelli, Giulio
Veröffentlicht: (2026)

Secure IAM on AWS with Multi-Account Strategy
von: Yi, Sungchan
Veröffentlicht: (2025)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
von: Song, Qiyang, et al.
Veröffentlicht: (2026)

Privacy-Aware Split Inference with Speculative Decoding for Large Language Models over Wide-Area Networks
von: Cunningham, Michael
Veröffentlicht: (2026)

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
von: Yang, Yuhuan, et al.
Veröffentlicht: (2025)

ARM MTE Performance in Practice (Extended Version)
von: Noh, Taehyun, et al.
Veröffentlicht: (2026)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
von: Marri, Srinivas Rao
Veröffentlicht: (2026)

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
von: Afifi, Tamer, et al.
Veröffentlicht: (2026)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
von: Qiu, Yiran
Veröffentlicht: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
von: Dalugoda, Asiri
Veröffentlicht: (2026)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
von: Ouyang, Ciyan, et al.
Veröffentlicht: (2026)

Policy as Code, Policy as Type
von: Fuchs, Matthew D.
Veröffentlicht: (2025)

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
von: Iasenovets, Artur, et al.
Veröffentlicht: (2025)

Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
von: Ali, Hala, et al.
Veröffentlicht: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
von: Eom, Jueon, et al.
Veröffentlicht: (2024)

HashKitty: Distributed Password Analysis
von: Antunes, Pedro, et al.
Veröffentlicht: (2025)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
von: Wollman, Alex, et al.
Veröffentlicht: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
von: Nathanson, Samuel, et al.
Veröffentlicht: (2025)

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
von: Raja, Shriram, et al.
Veröffentlicht: (2026)

Walma: Learning to See Memory Corruption in WebAssembly
von: Draissi, Oussama, et al.
Veröffentlicht: (2026)

A Comprehensive Quantification of Inconsistencies in Memory Dumps
von: Oliveri, Andrea, et al.
Veröffentlicht: (2025)

Security-enhanced Blockchain with Twin-Field Quantum Key Distribution: A Physical Layer enabled Architecture
von: Li, Xuan, et al.
Veröffentlicht: (2026)

Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-preserving Transformations
von: Uhm, Jiyong, et al.
Veröffentlicht: (2026)

ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
von: Long, Yan, et al.
Veröffentlicht: (2025)

The Discovery, Disclosure, and Investigation of CVE-2024-25825
von: Chasens, Hunter
Veröffentlicht: (2025)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
von: Nayak, Prabhudarshi, et al.
Veröffentlicht: (2026)

Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions
von: Akanji, Olawale Amos, et al.
Veröffentlicht: (2026)