48 citations · 221 across the 36 of their papers we have counts for
3 papers · 1 filter
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…
PFMC: a parallel symbolic model checker for security protocol verification
Alex James, Alwen Tiu, Nisansala Yatapanage
We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, wh…
An Executable Formal Model of the VHDL in Isabelle/HOL
Wilayat Khan, Zhe Hou, David Sanan +3
In the hardware design process, hardware components are usually described in a hardware description language. Most of the hardware description languages, such as Verilog and VHDL,…