Copertina

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Tong, Xiong, Shale, Manino, Edoardo, Stockwell, Gareth, Cordeiro, Lucas C.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
di: Menezes, Rafael Sá, et al.
Pubblicazione: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
di: Farias, Bruno, et al.
Pubblicazione: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
di: Dantas, Pierre, et al.
Pubblicazione: (2026)

Floating-Point Neural Network Verification at the Software Level
di: Manino, Edoardo, et al.
Pubblicazione: (2025)

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
di: Kiesel, Jannis, et al.
Pubblicazione: (2025)

Enabling Data Confidentiality with Public Blockchains
di: Marangone, Edoardo, et al.
Pubblicazione: (2023)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
di: Zhu, Taohong, et al.
Pubblicazione: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
di: Wang, Weiqi, et al.
Pubblicazione: (2025)

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
di: Alshmrany, Kaled M., et al.
Pubblicazione: (2022)

Specification Vibing for Automated Program Repair
di: Zhu, Taohong, et al.
Pubblicazione: (2026)

Privacy and Confidentiality Requirements Engineering for Process Data
di: Haertel, Fabian, et al.
Pubblicazione: (2025)

OpenComputer: Verifiable Software Worlds for Computer-Use Agents
di: Wei, Jinbiao, et al.
Pubblicazione: (2026)

Comparative Separation: Evaluating Separation on Comparative Judgment Test Data
di: Xi, Xiaoyin, et al.
Pubblicazione: (2026)

Towards Trust Proof for Secure Confidential Virtual Machines
di: Mao, Jingkai, et al.
Pubblicazione: (2024)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
di: Tang, Lingxiao, et al.
Pubblicazione: (2026)

Crash-free Deductive Verifiers
di: Nauta, Wander, et al.
Pubblicazione: (2026)

Verify Linearizability of Concurrent Stacks
di: Wen, Tangliu
Pubblicazione: (2021)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
di: Dantas, PIerre, et al.
Pubblicazione: (2025)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
di: Domenech, Alvaro Alonso, et al.
Pubblicazione: (2024)

Verify Implementation Equivalence of Large Models
di: Zhan, Qi, et al.
Pubblicazione: (2026)

CRACI: A Cloud-Native Reference Architecture for the Industrial Compute Continuum
di: Dinh-Tuan, Hai
Pubblicazione: (2025)

Verifier Warnings Do Not Improve Comprehensibility Prediction
di: De Silva, Nadeeshan, et al.
Pubblicazione: (2026)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

From Group Psychology to Software Engineering Research to Automotive R&D: Measuring Team Development at Volvo Cars
di: Gren, Lucas, et al.
Pubblicazione: (2024)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2025)

DIP-AI: A Discovery Framework for AI Innovation Projects
di: Martins, Mariana Crisostomo, et al.
Pubblicazione: (2025)

Towards Verifiably Safe Tool Use for LLM Agents
di: Doshi, Aarya, et al.
Pubblicazione: (2026)

An Empirical Study on the Code Refactoring Capability of Large Language Models
di: Cordeiro, Jonathan, et al.
Pubblicazione: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
di: Deng, Xun, et al.
Pubblicazione: (2025)

VeriFix: Verifying Your Fix Towards An Atomicity Violation
di: Li, Zhuang, et al.
Pubblicazione: (2025)

Hypothesize-Then-Verify: Speculative Root Cause Analysis for Microservices with Pathwise Parallelism
di: Zhang, Lingzhe, et al.
Pubblicazione: (2026)

TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
di: Li, Siyuan, et al.
Pubblicazione: (2024)

CRScore++: Reinforcement Learning with Verifiable Tool and AI Feedback for Code Review
di: Kapadnis, Manav Nitin, et al.
Pubblicazione: (2025)

Does SWE-Bench-Verified Test Agent Ability or Model Memory?
di: Prathifkumar, Thanosan, et al.
Pubblicazione: (2025)

On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
di: Palma, Marco Edoardo, et al.
Pubblicazione: (2024)

Trustworthy Distributed Certification of Program Execution
di: Wolf, Alex, et al.
Pubblicazione: (2024)

Key-Augmented Neural Triggers for Knowledge Sharing
di: Wolf, Alex, et al.
Pubblicazione: (2025)