5 papers
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction
Raja Oktovin O. P. Damanik, Raja O. P. Damanik, Alwen Tiu
The intruder deduction problem is central to symbolic security-protocol analysis: it asks whether an attacker can derive a target message from observed messages using (cryptographi…
PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
Alvin Charles, Adrian Herrera, Peter Oslington +1
Binary-only fuzzing is a key technique for finding bugs in close-source software. Without access to source code, the fuzzer must rely on static or dynamic binary instrumentation fo…
A Security Analysis of CheriBSD and Morello Linux
Dariy Guzairov, Alex Potanin, Stephen Kell +1
Memory corruption attacks have been prevalent in software for a long time. Some mitigation strategies against these attacks do exist, but they are not as far-reaching or as efficie…
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
Tingfeng Yu, James Henderson, Alwen Tiu +1
We present a detailed privacy analysis of Samsung's Offline Finding (OF) protocol, which is part of Samsung's Find My Mobile (FMM) location tracking system for locating Samsung mob…
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Tim S. Lyon, Ian Shillito, Alwen Tiu
It is well-known that extending the Hilbert axiomatic system for first-order intuitionistic logic with an exclusion operator, that is dual to implication, collapses the domains of…