research
∙
01/01/2022
Secure Information Flow Typing in LUSTRE
Synchronous reactive data flow is a paradigm that provides a high-level ...
share
research
∙
05/22/2021
Normalising Lustre Preserves Security
The synchronous reactive data flow language LUSTRE is an expressive lang...
research
∙
11/05/2020
Secure Information Flow Connections
Denning's lattice model provided secure information flow analyses with a...
research
∙
03/07/2019
Only Connect, Securely
The lattice model proposed by Denning in her seminal work provided secur...
research
∙
02/11/2018
Lightweight Classification of IoT Malware based on Image Recognition
The Internet of Things (IoT) is an extension of the traditional Internet...
research
∙
04/11/2017
