Liyong Lin
- Synthesis of Covert Actuator Attackers for Free
2019/04/23 by Liyong Lin, Lin, Liyong, Yuting Zhu +3 · 2 citations
Computer Science · Engineering · #FOS: Electrical engineering #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations
2022/03/16 by Ruochen Tai, Liyong Lin, Tai, Ruochen +5 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Blockchain Technology Applications and Security #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Bounded Synthesis of Resilient Supervisors
2019/03/20 by Liyong Lin, Rong Su, Lin, Liyong +1 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Flexible and Reconfigurable Manufacturing Systems #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels
2021/03/12 by Ruochen Tai, Liyong Lin, Tai, Ruochen +5 · 1 citation
Engineering · Computer Science · #Smart Grid Security and Resilience #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing
- Requirements and Study Design for the Next Proton FLASH Clinical Trials: an International Multidisciplinary Delphi Consensus
2025/04/01 by Yvonne L.B. Klaver, Mischa S. Hoogeman, Q. Richard Lu +23 · 1 citation
Medicine · Physics and Astronomy · #Advanced Radiotherapy Techniques #Effects of Radiation Exposure #Radiation Therapy and Dosimetry