research
∙
02/09/2021
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory
There is an increasing need to study the vulnerability of communication ...
share
research
∙
10/01/2019
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
This paper develops a novel compositional and abstraction-based approach...
research
∙
04/12/2019
