Now showing1 - 4 of 4
  • Some of the metrics are blocked by your 
    Item type:Publication, Access status: with files ,
    zkPACT: a zero-knowledge private cross-chain token transfer framework utilizing decentralized oracle networks
    (Elsevier, 2026-06-11) ; ; ; ;
    Tirado, Juan M.
    Despite the growing adoption of blockchains, their isolated architectures hinder seamless cross-chain communication, challenging applications that rely on integrated blockchain infrastructures, notably Blockchain-based Information Systems (BISs). Achieving interoperability while preserving privacy and regulatory compliance remains a core challenge, particularly when separate organizations operate different blockchain platforms and tokenized value must move across them without exposing transaction links that may reveal business relationships or payment behavior. Existing interoperability solutions often incur high computational overhead and rely on protocol-specific assumptions, limiting their applicability across heterogeneous blockchains. We introduce zkPACT, a privacy-preserving framework for compliant cross-chain token transfers across heterogeneous blockchains. Our framework combines Zero-Knowledge Proofs (ZKPs), oracle networks, and off-chain batching to support scalable transfers. It employs a coordinated oracle model in which validators process cross-chain burn events, while a rotating aggregator updates the shared off-chain Merkle tree after reaching consensus, enabling private and efficient token claims. To improve scalability and reduce gas costs, zkPACT batches claim requests off-chain and then submits a single succinct proof to the smart contract. To ensure validator accountability, the framework enforces an incentive mechanism and dynamic slashing. We also integrate a Know Your Customer (KYC) mechanism that enables users to demonstrate compliance without revealing sensitive data, preserving privacy and accountability in the event of abuse. We present a proof-of-concept implementation of zkPACT that achieves up to 95% lower gas costs and up to 94% lower off-chain memory usage than a non-batching approach, demonstrating its suitability for private, scalable cross-chain token transfers.
    Publicationtype: Journal Article
      18  21
  • Some of the metrics are blocked by your 
    Item type:Publication,
    The FORA Fog Computing Platform for Industrial IoT
    Industry 4.0 will only become a reality through the convergence of Operational and Information Technologies (OT & IT), which use different computation and communication technologies. Cloud Computing cannot be used for OT involving industrial applications, since it cannot guarantee stringent non-functional requirements, e.g., dependability, trustworthiness and timeliness. Instead, a new computing paradigm, called Fog Computing, is envisioned as an architectural means to realize the IT/OT convergence. In this paper we propose a Fog Computing Platform (FCP) reference architecture targeting Industrial IoT applications. The FCP is based on: deterministic virtualization that reduces the effort required for safety and security assurance; middleware for supporting both critical control and dynamic Fog applications; deterministic networking and interoperability, using open standards such as IEEE 802.1 Time-Sensitive Networking (TSN) and OPC Unified Architecture (OPC UA); mechanisms for resource management and orchestration; and services for security, fault tolerance and distributed machine learning. We propose a methodology for the definition and the evaluation of the reference architecture. We use the Architecture Analysis Design Language (AADL) to model the FCP reference architecture, and a set of industrial use cases to evaluate its suitability for the Industrial IoT area.
    Publicationtype: Journal Article
      52
  • Some of the metrics are blocked by your 
    Item type:Publication,
    Event-based failure prediction in distributed business processes
    Traditionally, research in Business Process Management has put a strong focus on centralized and intra-organizational processes. However, today's business processes are increasingly distributed, deviating from a centralized layout, and therefore calling for novel methodologies of detecting and responding to unforeseen events, such as errors occurring during process runtime. In this article, we demonstrate how to employ event-based failure prediction in business processes. This approach allows to make use of the best of both traditional Business Process Management Systems and event-based systems. Our approach employs machine learning techniques and considers various types of events. We evaluate our solution using two business process data sets, including one from a real-world event log, and show that we are able to detect errors and predict failures with high accuracy.
    Publicationtype: Journal Article
      28
  • Some of the metrics are blocked by your 
    Item type:Publication, Access status: with files ,
    On modeling context-aware social collaboration processes
    Modeling collaboration processes is a challenging task. Existing modeling approaches are not capable of expressing the unpredictable, non-routine nature of human collaboration, which is influenced by the social context of involved collaborators. We propose a modeling approach which considers collaboration processes as the evolution of a network of collaborative documents along with a social network of collaborators. Our modeling approach, accompanied by a graphical notation and formalization, allows to capture the influence of complex social structures formed by collaborators, and therefore facilitates such activities as the discovery of socially coherent teams, social hubs, or unbiased experts. We demonstrate the applicability and expressiveness of our approach and notation, and discuss their strengths and weaknesses.
    Publicationtype: Journal Article
    Scopus© Citations 14  65  167