2 citations · 4 across the 6 of their papers we have counts for
6 papers
Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
Jannis Kiesel, Jonathan Heiss
Ensuring the integrity of business processes without disclosing confidential business information is a major challenge in inter-organizational processes. This paper introduces a ze…
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the sub…
End-to-End Verifiable Decentralized Federated Learning
Chaehyeon Lee, Jonathan Heiss, Stefan Tai +1
Verifiable decentralized federated learning (FL) systems combining blockchains and zero-knowledge proofs (ZKP) make the computational integrity of local learning and global aggrega…
Non-Disclosing Credential On-chaining for Blockchain-based Decentralized Applications
Jonathan Heiss, Robert Muth, Frank Pallas +1
Many service systems rely on verifiable identity-related information of their users. Manipulation and unwanted exposure of this privacy-relevant information, however, must at the s…
Advancing Blockchain-based Federated Learning through Verifiable Off-chain Computations
Jonathan Heiss, Elias Grünewald, Nikolas Haimerl +2
Federated learning may be subject to both global aggregation attacks and distributed poisoning attacks. Blockchain technology along with incentive and penalty mechanisms have been…
Trustworthy Pre-Processing of Sensor Data in Data On-chaining Workflows for Blockchain-based IoT Applications
Jonathan Heiss, Anselm Busse, Stefan Tai
Prior to provisioning sensor data to smart contracts, a pre-processing of the data on intermediate off-chain nodes is often necessary. When doing so, originally constructed cryptog…