335 citations · 385 across the 5 of their papers we have counts for
7 papers
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt +2
Cyber-physical systems (CPSs) in critical infrastructure face a pervasive threat from attackers, motivating research into a variety of countermeasures for securing them. Assessing…
Securing Bring-Your-Own-Device (BYOD) Programming Exams
Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
Traditional pen and paper exams are inadequate for modern university programming courses as they are misaligned with pedagogies and learning objectives that target practical coding…
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The exe…
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen +2
In this paper, we propose and evaluate the application of unsupervised machine learning to anomaly detection for a Cyber-Physical System (CPS). We compare two methods: Deep Neural…
An Interference-Free Programming Model for Network Objects
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
Network objects are a simple and natural abstraction for distributed object-oriented programming. Languages that support network objects, however, often leave synchronization to th…
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise executi…