research
∙
10/26/2022
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
We present a detailed privacy analysis of Samsung's Offline Finding (OF)...
share
research
∙
07/20/2022
PFMC: a parallel symbolic model checker for security protocol verification
We present an investigation into the design and implementation of a para...
research
∙
01/08/2021
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2020, the ...
research
∙
11/06/2019
Display to Labelled Proofs and Back Again for Tense Logics
We introduce translations between display calculus proofs and labelled c...
research
∙
10/11/2019
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
We provide a direct method for proving Craig interpolation for a range o...
research
∙
06/24/2019
A formalisation of the SPARC TSO memory model for multi-core machine code
SPARC processors have many applications in mission-critical industries s...
research
∙
10/30/2017
Modular Labelled Sequent Calculi for Abstract Separation Logics
Abstract separation logics are a family of extensions of Hoare logic for...
research
∙
09/27/2017
A Permission-Dependent Type System for Secure Information Flow Analysis
We introduce a novel type system for enforcing secure information flow i...
research
∙
11/11/2013