Author of the publication

Towards Automated Safety Vetting of PLC Code in Real-World Plants.

, , , , , , , , , , and . IEEE Symposium on Security and Privacy, page 522-538. IEEE, (2019)

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

Differential Contribution of Bilateral Supplementary Motor Area to the Effective Connectivity Networks Induced by Task Conditions Using Dynamic Causal Modeling., , , and . Brain Connect., 4 (4): 256-264 (2014)Method of normal estimation based on approximation for visualization., , , , and . J. Electronic Imaging, 12 (3): 470-477 (2003)Towards Automated Safety Vetting of PLC Code in Real-World Plants., , , , , , , , , and 1 other author(s). IEEE Symposium on Security and Privacy, page 522-538. IEEE, (2019)A Method for Identifying the Industry Credit Risk Based on Markov Chain., and . ICEE, page 3509-3512. IEEE Computer Society, (2010)TransBlocker: Transforming and Taming Privacy-Breaching Android Applications., and . NDSS, The Internet Society, (2013)Research on Credit Risk Assessment of Listed Companies in Science and Technology Sector by Introducing Industry Research Report Information., and . ITQM, volume 214 of Procedia Computer Science, page 1317-1324. Elsevier, (2022)Evaluation on financial support efficiency of new generation high-tech industry in China., and . ITQM, volume 199 of Procedia Computer Science, page 254-261. Elsevier, (2021)The impact of analysts' attention and research reports' attention on corporate bond credit spreads in China., and . ITQM, volume 199 of Procedia Computer Science, page 284-292. Elsevier, (2021)The Effect Mechanism of Financial Technology on Big Data Industry Development in China., and . IMMS, page 82-88. ACM, (2021)Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 3 (OOPSLA): 172:1-172:30 (2019)