Image de couverture de livre

Formal Model Guided Conformance Testing for Blockchains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Drobnjakovic, Filip, Kashapov, Amir, Kupresanin, Matija, Scholz, Bernhard, Subotic, Pavle
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security Logic in Computer Science Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Reusable Formal Verification of DAG-based Consensus Protocols
par: Bertrand, Nathalie, et autres
Publié: (2024)

Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
par: Neves, Murilo de Souza, et autres
Publié: (2026)

Taint Analysis for Graph APIs Focusing on Broken Access Control
par: Lambers, Leen, et autres
Publié: (2025)

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
par: Yang, Xi, et autres
Publié: (2026)

Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
par: Song, Da, et autres
Publié: (2026)

Provenance Guided Rollback Suggestions
par: Zhao, David, et autres
Publié: (2025)

Automated Penetration Testing: Formalization and Realization
par: Skandylas, Charilaos, et autres
Publié: (2024)

Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
par: Key, Hojer
Publié: (2025)

Formal Verification of the Safegcd Implementation
par: O'Connor, Russell, et autres
Publié: (2025)

Formal Verification of the Sumcheck Protocol
par: Bosshard, Azucena Garvía, et autres
Publié: (2024)

A Formally Verified Lightning Network
par: Fabiański, Grzegorz, et autres
Publié: (2025)

OriginPruner: Leveraging Method Origins for Guided Call Graph Pruning
par: Mir, Amir M., et autres
Publié: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
par: Bryant, Dustin, et autres
Publié: (2025)

A Coq Formalization of Unification Modulo Exclusive-Or
par: Xu, Yichi, et autres
Publié: (2025)

Formal Verification of Probing Security via Conditional Independence
par: Kura, Satoshi, et autres
Publié: (2026)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
par: ter Beek, Maurice H., et autres
Publié: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
par: Lanzinger, Florian, et autres
Publié: (2024)

An Efficient Lightweight Blockchain for Decentralized IoT
par: Tarzjani, Faezeh Dehghan, et autres
Publié: (2025)

Enabling Data Confidentiality with Public Blockchains
par: Marangone, Edoardo, et autres
Publié: (2023)

A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture
par: Bayan, Talgar, et autres
Publié: (2024)

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
par: Liu, Haiyang, et autres
Publié: (2025)

Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks
par: Ron, Javier, et autres
Publié: (2024)

AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models
par: Xing, Hengrui, et autres
Publié: (2025)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
par: Marangone, Edoardo, et autres
Publié: (2022)

Blockchain-based PKI within a Corporate Organization: Advantages and Challenges
par: Springer, Julian, et autres
Publié: (2024)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
par: Wojtak, Connor, et autres
Publié: (2025)

Smart Contracts Formal Verification: A Systematic Literature Review
par: Davila, Rene, et autres
Publié: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
par: André, Étienne, et autres
Publié: (2024)

A Privacy-Preserving Approach to Conformance Checking
par: Rodríguez-Flores, Luis, et autres
Publié: (2026)

Are Users More Willing to Use Formally Verified Password Managers?
par: Carreira, Carolina, et autres
Publié: (2025)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
par: Li, Letitia W., et autres
Publié: (2026)

The Security Performance Analysis of Blockchain System Based on Post-Quantum Cryptography -- A Case Study of Cryptocurrency Exchanges
par: Chen, Abel C. H.
Publié: (2024)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
par: Päßler, Juliane, et autres
Publié: (2023)

Process Channels: A New Layer for Process Enactment Based on Blockchain State Channels
par: Stiehle, Fabian, et autres
Publié: (2023)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
par: Kawamoto, Yusuke, et autres
Publié: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
par: Liu, Yuwei, et autres
Publié: (2026)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
par: Dantas, Pierre, et autres
Publié: (2026)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
par: Rodríguez-Flores, Luis-Armando, et autres
Publié: (2026)

Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach
par: Bayan, Talgar, et autres
Publié: (2024)

Circumventing Platform Defenses at Scale: Automated Content Replication from YouTube to Blockchain-Based Decentralized Storage
par: Akram, Muhammad Zeeshan
Publié: (2026)