Παρακολούθηση
Yuqi Chen
Yuqi Chen
Assistant Professor, Shanghaitech University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα shanghaitech.edu.cn - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Anomaly detection for a water treatment system using unsupervised machine learning
J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun
2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017
3762017
Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system
Y Chen, CM Poskitt, J Sun
2018 IEEE Symposium on Security and Privacy (SP), 648-660, 2018
1692018
Learning-guided network fuzzing for testing cyber-physical system defences
Y Chen, CM Poskitt, J Sun, S Adepu, F Zhang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
732019
LawBreaker: An approach for specifying traffic laws and fuzzing autonomous vehicles
Y Sun, CM Poskitt, J Sun, Y Chen, Z Yang
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
372022
Specification-based autonomous driving system testing
Y Zhou, Y Sun, Y Tang, Y Chen, J Sun, CM Poskitt, Y Liu, Z Yang
IEEE Transactions on Software Engineering 49 (6), 3391-3410, 2023
342023
Towards learning and verifying invariants of cyber-physical systems by code mutation
Y Chen, CM Poskitt, J Sun
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
322016
Active fuzzing for testing and securing cyber-physical systems
Y Chen, B Xuan, CM Poskitt, J Sun, F Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
312020
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems
Y Jia, J Wang, CM Poskitt, S Chattopadhyay, J Sun, Y Chen
International Journal of Critical Infrastructure Protection 34, 100452, 2021
302021
Defending cyber–physical systems through reverse-engineering-based memory sanity check
Y Geng, Y Chen, R Ma, Q Wei, J Pan, J Wang, P Cheng, Q Wang
IEEE Internet of Things Journal 10 (10), 8331-8347, 2022
182022
FIGCPS: Effective failure-inducing input generation for cyber-physical systems with deep reinforcement learning
S Zhang, S Liu, J Sun, Y Chen, W Huang, J Liu, J Liu, J Hao
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
142021
Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation
Y Liu, G Yang, G Deng, F Chen, Y Chen, L Shi, T Zhang, Y Liu
arXiv preprint arXiv:2402.12100, 2024
82024
Code integrity attestation for PLCs using black box neural network predictions
Y Chen, CM Poskitt, J Sun
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
82021
Detecting Cyber-Attacks Against Cyber-Physical Manufacturing System: A Machining Process Invariant Approach
Z Li, X Chen, Y Chen, S Li, H Wang, S Lv, L Sun
IEEE Internet of Things Journal, 2024
32024
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
H Sun, CM Poskitt, Y Sun, J Sun, Y Chen
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
22024
Control Logic Attack Detection and Forensics through Reverse-engineering and Verifying PLC Control Applications
Y Geng, X Che, R Ma, Q Wei, M Wang, Y Chen
IEEE Internet of Things Journal, 2023
22023
Finding Causally Different Tests for an Industrial Control System
CM Poskitt, Y Chen, J Sun, Y Jiang
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
22023
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
M Yang, Y Chen, Y Liu, L Shi
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
12024
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis
P Sun, F Song, Y Chen, T Chen
Proceedings of the ACM on Programming Languages 8 (POPL), 848-881, 2024
12024
SFACIF: A safety function attack and anomaly industrial condition identified framework
K Liu, Y Xie, Y Chen, S Xie, X Chen, D Fang, L Sun
Computer Networks, 110927, 2024
2024
Efficient Detection of Toxic Prompts in Large Language Models
Y Liu, J Yu, H Sun, L Shi, G Deng, Y Chen, Y Liu
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
2024
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20