Author of the publication

Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.

, , , , , and . SenSys, page 548-562. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Resilient Average Consensus: A Detection and Compensation Approach., , , , and . CoRR, (2022)PDDL: Proactive Distributed Detection and Localization Against Stealthy Deception Attacks in DC Microgrids., , , , , and . IEEE Trans. Smart Grid, 14 (1): 714-731 (2023)Privacy-Preserving Correlated Data Publication: Privacy Analysis and Optimal Noise Design., , , , and . IEEE Trans. Netw. Sci. Eng., 8 (3): 2014-2024 (2021)Resilient Distributed Optimization Algorithm Against Adversarial Attacks., , and . IEEE Trans. Autom. Control., 65 (10): 4308-4315 (2020)Optimal Sequential False Data Injection Attack Scheme: Finite-Time Inverse Convergence., , , , and . CDC, page 1820-1825. IEEE, (2023)Formal Verification of Attitude Control Systems Using Geometric Barrier Functions., , , and . CDC, page 6092-6097. IEEE, (2023)SemSBA: Semantic-perturbed Stealthy Backdoor Attack on Federated Semi-supervised Learning., , , , , , and . ICPADS, page 1569-1576. IEEE, (2023)Fingerprinting Movements of Industrial Robots for Replay Attack Detection., , , , , and . IEEE Trans. Mob. Comput., 21 (10): 3629-3643 (2022)Detecting PLC Intrusions Using Control Invariants., , , , , and . IEEE Internet Things J., 9 (12): 9934-9947 (2022)Consensus-Based Energy Management in Smart Grid With Transmission Losses and Directed Communication., , , and . IEEE Trans. Smart Grid, 8 (5): 2049-2061 (2017)