Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2005.14124
Cited By
v1
v2 (latest)
Active Fuzzing for Testing and Securing Cyber-Physical Systems
28 May 2020
Yuqi Chen
Bohan Xuan
Christopher M. Poskitt
Jun Sun
Fan Zhang
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Active Fuzzing for Testing and Securing Cyber-Physical Systems"
12 / 12 papers shown
Title
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems
Cheah Huei Yoong
Venkata Reddy Palleti
Arlindo Silva
Christopher M. Poskitt
27
4
0
07 Jul 2020
A Review of Cybersecurity Incidents in the Water Sector
Amin Hassanzadeh
A. Rasekh
S. Galelli
M. Aghashahi
Riccardo Taormina
A. Ostfeld
Katherine Banks
23
114
0
25 Jan 2020
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
Yuqi Chen
Christopher M. Poskitt
Jun Sun
Sridhar Adepu
Fan Zhang
38
55
0
12 Sep 2019
Assessing the Effectiveness of Attack Detection at a Hackfest on Industrial Control Systems
Sridhar Adepu
A. Mathur
33
32
0
13 Sep 2018
Detecting Cyberattacks in Industrial Control Systems Using Convolutional Neural Networks
Moshe Kravchik
A. Shabtai
72
274
0
21 Jun 2018
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Takumi Akazaki
Shuang Liu
Yoriyuki Yamagata
Yihai Duan
Jianye Hao
AI4CE
48
92
0
01 May 2018
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Yuqi Chen
Christopher M. Poskitt
Jun Sun
64
123
0
03 Jan 2018
Toward `verifying' a Water Treatment System
Jingyi Wang
Jun Sun
Yifan Jia
S. Qin
Zhiwu Xu
42
7
0
12 Dec 2017
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
Jun Inoue
Yoriyuki Yamagata
Yuqi Chen
Christopher M. Poskitt
Jun Sun
72
254
0
15 Sep 2017
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid
Hila Peleg
Rishabh Singh
AAML
88
373
0
25 Jan 2017
A Formal Approach to Cyber-Physical Attacks
R. Lanotte
Massimo Merro
R. Muradore
Luca Vigano
AI4CE
33
47
0
04 Nov 2016
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Yuqi Chen
Christopher M. Poskitt
Jun Sun
63
24
0
06 Sep 2016
1