research
∙
11/14/2022
A Formal CHERI-C Semantics for Verification
CHERI-C extends the C programming language by adding hardware capabiliti...
share
research
∙
12/11/2021
Active Learning of Abstract System Models from Traces using Model Checking [Extended]
We present a new active model-learning approach to generating abstractio...
research
∙
06/01/2021
Exposing Previously Undetectable Faults in Deep Neural Networks
Existing methods for testing DNNs solve the oracle problem by constraini...
research
∙
01/29/2020
Semantic Adversarial Perturbations using Learnt Representations
Adversarial examples for image classifiers are typically created by sear...
research
∙
01/15/2020
Learning Concise Models from Long Execution Traces
Abstract models of system-level behaviour have applications in design ex...
research
∙
01/05/2020
Hardware/Software Co-verification Using Path-based Symbolic Execution
Conventional tools for formal hardware/software co-verification use boun...
research
∙
11/22/2019
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
We propose a method for effective training of deep Reinforcement Learnin...
research
∙
11/22/2019
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
We propose a method for efficient training of deep Reinforcement Learnin...
research
∙
08/04/2019
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
This paper presents CREST, a prototype front-end tool intended as an add...
research
∙
05/07/2019
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training
The correctness of deep neural networks is well-known to be vulnerable t...
research
∙
04/23/2018
Automatic Heap Layout Manipulation for Exploitation
Heap layout manipulation is integral to exploiting heap-based memory cor...
research
∙
10/10/2016