6 citations · 11 across the 6 of their papers we have counts for
4 papers · 1 filter
An Evidence-driven Protocol for Trustworthy CI Pipelines
Fernando Castillo, Eduardo Brito, Pille Pullonen-Raudvere +2
Enterprise software supply chains are increasingly vulnerable to infrastructure attacks, resulting in financial and reputational damage. Ensuring the integrity and provenance of so…
Towards Trusted Service Monitoring: Verifiable Service Level Agreements
Fernando Castillo, Eduardo Brito, Sebastian Werner +2
Service Level Agreement (SLA) monitoring in service-oriented environments suffers from inherent trust conflicts when providers self-report metrics, creating incentives to underrepo…
Trusted Compute Units: A Framework for Chained Verifiable Computations
Fernando Castillo, Jonathan Heiss, Sebastian Werner +1
Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and co…
Towards Credential-based Device Registration in DApps for DePINs with ZKPs
Jonathan Heiss, Fernando Castillo, Xinxin Fan
Decentralized Physical Infrastructure Networks (DePINS) are secured and governed by blockchains but beyond crypto-economic incentives, they lack measures to establish trust in part…