8 citations · 12 across the 4 of their papers we have counts for
4 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…
Compilation as a Defense: Enhancing DL Model Attack Robustness via Tensor Optimization
Stefan Trawicki, William Hackett, Lewis Birch +2
Adversarial Machine Learning (AML) is a rapidly growing field of security research, with an often overlooked area being model attacks through side-channels. Previous works show suc…
Model Leeching: An Extraction Attack Targeting LLMs
Lewis Birch, William Hackett, Stefan Trawicki +2
Model Leeching is a novel extraction attack targeting Large Language Models (LLMs), capable of distilling task-specific knowledge from a target LLM into a reduced parameter model.…
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…