Abstract
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order to explicitly represent causality and concurrency between these actions. However, pomsets offer no representation of choices, thus a set of pomsets is required to represent branching behaviour. For example, if an agent Alice can send one of two possible messages to Bob three times, one would need a set of 2 x 2 x 2 distinct pomsets to represent all possible branches of Alice's behaviour. This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + 2 + 2 ordered actions. We compare the expressiveness of branching pomsets with that of several forms of event structures from the literature. We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics. Furthermore, we define well-formedness conditions on branching pomsets, inspired by multiparty session types, and we prove that the well-formedness of a branching pomset is a sufficient condition for the realisability of the represented com-munication protocol. Finally, we present a prototype tool that implements our theory of branching pomsets, focusing on its applications to choreographies. (c) 2023 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).

Abstract
Climate change, geopolitical tensions, and decarbonization targets are bringing the resilience of the European electric power system to the forefront of discussion. Among various regulatory and technological solutions, voluntary demand response can help balance generation and demand during periods of energy scarcity or renewable energy generation surplus. This work presents an open data service called Interoperable Recommender that leverages publicly accessible data to calculate a country-specific operational balancing risk, providing actionable recommendations to empower citizens toward adaptive energy consumption, considering interconnections and local grid constraints. Using semantic interoperability, it enables third- party services to enhance energy management and customize applications to consumers. Real-world pilots in Portugal, Greece, and Croatia with over 300 consumers demonstrated the effectiveness of providing signals across diverse contexts. For instance, in Portugal, 7% of the hours included actionable recommendations, and metering data revealed a consumption decrease of 4% during periods when consumers were requested to lower consumption.

Abstract
This paper proposes an original framework for a flexibility-centric value chain and describes the pre-specification of the Grid Data and Business Network (GDBN), a digital platform to provide support to the flexibility value chain activities. First, it outlines the structure of the value chain with the most important tasks and actors in each activity. Next, it describes the GDBN concept, including stakeholders' engagement and conceptual architecture. It presents the main GDBN services to support the flexibility value chain, including, matching consumers and assets and service providers, assets installation and operationalization to provide flexibility, services for energy communities and services, for consumers, aggregators, and distribution systems operators, to participate in flexibility markets. At last, it details the workflow and life cycle management of this platform and discusses candidate business models that could support its implementation in real-life scenarios.

Abstract
The European Union is pushing its members states to implement regulations that incentivize distribution system operators to procure flexibility to enhance grid operation and planning. Since flexibility should be obtained using market-based solutions, when possible, flexibility market platforms become essential tools to harness consumer-side flexibility, supporting its procurement, trading, dispatch, and settlement. These reasons have led to the appearance of multiple flexibility market platforms with different structure and functionalities. This work provides a comprehensive description of the main flexibility platforms operating in Europe and provides a concise review of the platform main characteristics and functionalities, including their user segment, flexibility trading procedures, settlement processes, and flexibility products supported.

Abstract
As the Internet evolves from TLS 1.2 to TLS 1.3, it offers enhanced security against network eavesdropping for online communications. However, this advancement also enables malicious command and control (C2) traffic to more effectively evade malware detectors and intrusion detection systems. Among other capabilities, TLS 1.3 introduces encryption for most handshake messages and conceals the actual TLS record content type, complicating the task for state-of-the-art C2 traffic classifiers that were initially developed for TLS 1.2 traffic. Given the pressing need to accurately detect malicious C2 communications, this paper examines to what extent existing C2 classifiers for TLS 1.2 are less effective when applied to TLS 1.3 traffic, posing a central research question: is it possible to adapt TLS 1.2 detection methodologies for C2 traffic to work with TLS 1.3 flows? We answer this question affirmatively by introducing new methods for inferring certificate size and filtering handshake/protocolrelated records in TLS 1.3 flows. These techniques enable the extraction of key features for enhancing traffic detection and can be utilized to pre-process data flows before applying C2 classifiers. We demonstrate that this approach facilitates the use of existing TLS 1.2 C2 classifiers with high efficacy, allowing for the passive classification of encrypted network traffic. In our tests, we inferred certificate sizes with an average error of 1.0%, and achieved detection rates of 100% when classifying traffic based on certificate size, and over 93% when classifying TLS 1.3 traffic behavior after training solely on TLS 1.2 traffic. To our knowledge, these are the first findings to showcase specialized TLS 1.3 C2 traffic classification.

Abstract