research
∙
07/19/2023
LTL Synthesis on Infinite-State Arenas defined by Programs
This paper deals with the problem of automatically and correctly control...
share
research
∙
06/13/2023
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Effectively specifying and implementing robotic missions pose a set of c...
research
∙
05/14/2023
CLawK: Monitoring Business Processes in Smart Contracts
Smart contracts embody complex business processes that can be difficult ...
research
∙
05/08/2023
Capturing Smart Contract Design with DCR Graphs
Smart contracts manage blockchain assets. While smart contracts embody b...
research
∙
07/02/2021
Incorporating Monitors in Reactive Synthesis without Paying the Price
Temporal synthesis attempts to construct reactive programs that satisfy ...
research
∙
12/03/2020
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers
Privacy is currently in 'distress' and in need of 'rescue', much like pr...
research
∙
11/24/2020
Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
Recent regulations, such as the European General Data Protection Regulat...
research
∙
02/25/2020
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
This paper introduces a run-time mechanism for preventing leakage of sec...
research
∙
08/06/2019
After You, Please: Browser Extensions Order Attacks and Countermeasures
Browser extensions are small applications executed in the browser contex...
research
∙
06/20/2019
Gray-box Monitoring of Hyperproperties (Extended Version)
Many important system properties, particularly in security and privacy, ...
research
∙
02/11/2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the CO...
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
01/05/2018
Monitoring Data Minimisation
Data minimisation is a privacy enhancing principle, stating that persona...
research
∙
09/07/2017
Model Checking Social Network Models
A social network service is a platform to build social relations among p...
research
∙
07/13/2017
A Web-Based Tool for Analysing Normative Documents in English
Our goal is to use formal methods to analyse normative documents written...
research
∙
06/15/2017