research
∙
08/08/2023
How Generalizable are Deepfake Detectors? An Empirical Study
Deepfake videos and images are becoming increasingly credible, posing a ...
share
research
∙
02/08/2023
Finding Causally Different Tests for an Industrial Control System
Industrial control systems (ICSs) are types of cyber-physical systems in...
research
∙
12/21/2022
Proceedings of the Thirteenth International Workshop on Graph Computation Models
This volume contains the post-proceedings of the Thirteenth Internationa...
research
∙
08/31/2022
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Autonomous driving systems (ADSs) must be tested thoroughly before they ...
research
∙
04/26/2022
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner
Cybersecurity education is considered an important part of undergraduate...
research
∙
02/08/2022
K-ST: A Formal Executable Semantics of PLC Structured Text Language
Programmable Logic Controllers (PLCs) are responsible for automating pro...
research
∙
09/19/2021
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom
COVID-19 has significantly affected universities, forcing many courses t...
research
∙
09/18/2021
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework
Novice programmers often struggle with problem solving due to the high c...
research
∙
06/15/2021
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Cyber-physical systems (CPSs) are widespread in critical domains, and si...
research
∙
05/22/2021
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
The threats faced by cyber-physical systems (CPSs) in critical infrastru...
research
∙
05/10/2021
Incorrectness Logic for Graph Programs
Program logics typically reason about an over-approximation of program b...
research
∙
07/07/2020
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems
The threats faced by cyber-physical systems (CPSs) in critical infrastru...
research
∙
05/28/2020
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Cyber-physical systems (CPSs) in critical infrastructure face a pervasiv...
research
∙
01/12/2020
Securing Bring-Your-Own-Device (BYOD) Programming Exams
Traditional pen and paper exams are inadequate for modern university pro...
research
∙
09/12/2019
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
The threat of attack faced by cyber-physical systems (CPSs), especially ...
research
∙
01/03/2018
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Cyber-physical systems (CPS) consist of sensors, actuators, and controll...
research
∙
10/11/2017