research
∙
06/26/2023
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Federated learning (FL) is a machine learning setting where clients keep...
share
research
∙
10/26/2020
Precise Subtyping for Asynchronous Multiparty Sessions
This paper presents the first formalisation of the precise subtyping rel...
research
∙
02/26/2019
The C_π-calculus: a Model for Confidential Name Passing
Sharing confidential information in distributed systems is a necessity i...
research
∙
02/16/2018