13 citations · 25 across the 9 of their papers we have counts for
9 papers
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach
Stefan Winter, Abraham Chan, Habib Saissi +2
Fault injection is a technique to measure the robustness of a program to errors by introducing faults into the program under test. Following a fault injection experiment, Error Pro…
Specifying Autonomous System Behaviour
Andrew Sogokon, Burak Yuksek, Gokhan Inalhan +1
Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges. This technical report provides an overview of existi…
PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models
William Hackett, Stefan Trawicki, Zhengxin Yu +2
Adversarial extraction attacks constitute an insidious threat against Deep Learning (DL) models in-which an adversary aims to steal the architecture, parameters, and hyper-paramete…
Security Challenges when Space Merges with Cyberspace
Vijay Varadharajan, Neeraj Suri
Spaceborne systems, such as communication satellites, sensory, surveillance, GPS and a multitude of other functionalities, form an integral part of global ICT cyberinfrastructures.…
PCaaD: Towards Automated Determination and Exploitation of Industrial Processes
B. Green, W. Knowles, M. Krotofil +3
Over the last decade, Programmable Logic Controllers (PLCs) have been increasingly targeted by attackers to obtain control over industrial processes that support critical services.…
A Security Architecture for Railway Signalling
Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova +2
We present the proposed security architecture Deutsche Bahn plans to deploy to protect its trackside safety-critical signalling system against cyber-attacks. We first present the e…
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
Patrick Metzler, Habib Saissi, Péter Bokor +1
Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thr…
QRES: Quantitative Reasoning on Encrypted Security SLAs
Ahmed Taha, Spyros Boukoros, Jesus Luna +2
While regulators advocate for higher cloud transparency, many Cloud Service Providers (CSPs) often do not provide detailed information regarding their security implementations in t…
Scaling Out Acid Applications with Operation Partitioning
Habib Saissi, Marco Serafini, Neeraj Suri
OLTP applications with high workloads that cannot be served by a single server need to scale out to multiple servers. Typically, scaling out entails assigning a different partition…