48 citations · 221 across the 36 of their papers we have counts for
38 papers
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction
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…
Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
Di Long Li, Jim de Groot, Alwen Tiu
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automat…
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…
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…