88 citations
- University of TartuEE5 papers
- Tallinn University of TechnologyEE3 papers
- Institute of Applied Science and Intelligent SystemsIT2 papers
- Einstein Center Digital FutureDE1 paper
- Einstein Center for Neurosciences BerlinDE1 paper
- Institute of Applied PhysicsMD1 paper
- Khalifa University of Science and TechnologyAE1 paper
- Queensland University of TechnologyAU1 paper
- Technische Universität BerlinDE1 paper
- University of BirminghamGB1 paper
- University of BristolGB1 paper
- University of GothenburgSE1 paper
12 papers
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…
SynthGuard: Redefining Synthetic Data Generation with a Scalable and Privacy-Preserving Workflow Framework
Eduardo Brito, Mahmoud Shoush, Kristian Tamm +2
The growing reliance on data-driven applications in sectors such as healthcare, finance, and law enforcement underscores the need for secure, privacy-preserving, and scalable mecha…
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
Dan Bogdanov, Eduardo Brito, Annika Jaakson +2
This paper introduces a new set of privacy-preserving mechanisms for verifying compliance with location-based policies for vehicle taxation, or for (electric) vehicle (EV) subsidie…
TrustOps: Continuously Building Trustworthy Software
Eduardo Brito, Fernando Castillo, Pille Pullonen-Raudvere +1
Software services play a crucial role in daily life, with automated actions determining access to resources and information. Trusting service providers to perform these actions fai…
Protocol Choice and Iteration for the Free Cornering
Chad Nester, Niels Voorneveld
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated commu…
Towards Situational Aware Cyber-Physical Systems: A Security-Enhancing Use Case of Blockchain-based Digital Twins
Sabah Suhail, Saif Ur Rehman Malik, Raja Jurdak +3
The complexity of cyberattacks in Cyber-Physical Systems (CPSs) calls for a mechanism that can evaluate critical infrastructures' operational behaviour and security without affecti…