Sotabase

Career

· Pure Storage

Publications (14)

Comparative analysis of related notions of opacity in centralized and coordinated architectures
Discrete event dynamic systems · 2012
212
cited
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems
at - Automatisierungstechnik · 2018
151
cited
Synthesis of insertion functions for enforcement of opacity security properties
at - Automatisierungstechnik · 2014
126
cited
Enforcement of opacity by public and private insertion functions
at - Automatisierungstechnik · 2018
76
cited
Synthesis of Obfuscation Policies to Ensure Privacy and Utility
Journal of automated reasoning · 2017
53
cited
Detection and prevention of actuator enablement attacks in supervisory control systems
International Workshop on Discrete Event Systems · 2016
48
cited
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement
International Workshop on Discrete Event Systems · 2014
36
cited
Synthesis of Optimal Insertion Functions for Opacity Enforcement
IEEE Transactions on Automatic Control · 2016
33
cited
Enforcement of opacity properties using insertion functions
IEEE Conference on Decision and Control · 2012
18
cited
Obfuscator Synthesis for Privacy and Utility
NASA Formal Methods · 2016
13
cited
Synthesis of opacity-enforcing insertion functions that can be publicly known
IEEE Conference on Decision and Control · 2015
10
cited
Verification and Enforcement of Opacity Security Properties in Discrete Event Systems.
2014
7
cited
Enhancing opacity of stochastic discrete event systems using insertion functions
American Control Conference · 2016
4
cited
Title Large scale simulation of watershed mass transport ‒ a casestudy of Tsengwen reservoir watershed
2018
Sotabase