26 citations · 48 across the 6 of their papers we have counts for
8 papers
Multiparty Session Types for GDPR Purpose Compliance
Evangelia Vanezi, Dimitrios Kouzapas, Anna Philippou
The General Data Protection Regulation (GDPR) establishes purpose limitation as a fundamental constraint on personal data processing: personal data must be collected, stored, and p…
A Session Type System for Asynchronous Unreliable Broadcast Communication
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…
Fault Adaptive Routing in Metasurface Controller Networks
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas +8
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized netwo…
Formal Verification of a Programmable Hypersurface
Panagiotis Kouvaros, Dimitris Kouzapas, Anna Philippou +3
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the desi…
Privacy by typing in the -calculus
Dimitrios Kouzapas, Anna Philippou
In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy…
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…
Globally Governed Session Semantics
Dimitrios Kouzapas, Nobuko Yoshida
This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.…
Session Types for Broadcasting
Dimitrios Kouzapas, Ramūnas Gutkovas, Simon J. Gay
Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure se…