The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
SoK: Untangling File-based Encryption on Mobile Devices.
CoRR, 2021
Extending Automated Protocol State Learning for the 802.11 4-Way Handshake.
Proceedings of the Computer Security, 2018
Why Banker Bob (Still) Can't Get TLS Right: A Security Analysis of TLS in Leading UK Banking Apps.
Proceedings of the Financial Cryptography and Data Security, 2017
Spinner: Semi-Automatic Detection of Pinning without Hostname Verification.
Proceedings of the 33rd Annual Computer Security Applications Conference, 2017