Imagen de Portada

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kiesel, Jannis, Heiss, Jonathan
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Extending Business Process Management for Regulatory Transparency
por: Kiesel, Jannis, et al.
Publicado: (2024)

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

VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
por: Castiglione, Gianpietro, et al.
Publicado: (2026)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
por: Wu, Tong, et al.
Publicado: (2024)

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

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
por: Ron, Javier, et al.
Publicado: (2026)

WISE: Unraveling Business Process Metrics with Domain Knowledge
por: Jessen, Urszula, et al.
Publicado: (2024)

From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
por: Xue, Zhantong, et al.
Publicado: (2025)

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

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

Engineering Trustworthy Machine-Learning Operations with Zero-Knowledge Proofs
por: Scaramuzza, Filippo, et al.
Publicado: (2025)

Predictive Monitoring of Business Processes
por: Maggi, Fabrizio Maria, et al.
Publicado: (2013)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
por: Sorger, Tom, et al.
Publicado: (2026)

A Systematic Review of Business Process Improvement: Achievements and Potentials in Combining Concepts from Operations Research and Business Process Management
por: Kunkler, Michel, et al.
Publicado: (2024)

Formally Verifying Noir Zero Knowledge Programs with NAVe
por: Antonino, Pedro, et al.
Publicado: (2026)

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

Automating Execution and Verification of BPMN+DMN Business Processes
por: Della Penna, Giuseppe, et al.
Publicado: (2025)

Business Process Modeling Using a Metamodeling Approach
por: Vitolins, Valdis
Publicado: (2025)

A Cooperative Approach for Knowledge-based Business Process Design in a Public Authority
por: Azarijafari, Mohammad, et al.
Publicado: (2025)

SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
por: Klessascheck, Finn, et al.
Publicado: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
por: Hochrainer, Christoph, et al.
Publicado: (2024)

Automatic Resource Allocation in Business Processes: A Systematic Literature Survey
por: Pufahl, Luise, et al.
Publicado: (2021)

The Cost of Executing Business Processes on Next-Generation Blockchains: The Case of Algorand
por: Stiehle, Fabian, et al.
Publicado: (2024)

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
por: Ghahderijani, Arash Yadegari, et al.
Publicado: (2025)

Towards Nudging in BPM: A Human-Centric Approach for Sustainable Business Processes
por: Moyano, Cielo Gonzalez, et al.
Publicado: (2024)

Inter-instance Data Impacts in Business Processes: A Model-based Analysis
por: Evron, Yotam, et al.
Publicado: (2024)

Process Analytics -- Data-driven Business Process Management
por: Stierle, Matthias, et al.
Publicado: (2025)

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees
por: Ritter, Daniel, et al.
Publicado: (2023)

What's Coming Next? Short-Term Simulation of Business Processes from Current State
por: Avramenko, Maksym, et al.
Publicado: (2025)

BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing
por: Awad, Ahmed, et al.
Publicado: (2025)

AI-Enabled Orchestration of Event-Driven Business Processes in Workday ERP for Healthcare Enterprises
por: Sharma, Monu
Publicado: (2025)

Agentic Business Process Management Systems
por: Dumas, Marlon, et al.
Publicado: (2026)

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

Crash-free Deductive Verifiers
por: Nauta, Wander, et al.
Publicado: (2026)

Verify Linearizability of Concurrent Stacks
por: Wen, Tangliu
Publicado: (2021)

Verifying Machine Learning Interpretability Requirements through Provenance
por: Vonderhaar, Lynn, et al.
Publicado: (2026)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
por: Xu, Pei, et al.
Publicado: (2025)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
por: Jain, Rijul, et al.
Publicado: (2025)

Identifying Process Improvement Opportunities through Process Execution Benchmarking
por: Abb, Luka, et al.
Publicado: (2025)

Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing
por: Chapela-Campa, David, et al.
Publicado: (2024)