2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.CR2021★ 2 cited
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
Chris McMahon Stone, Sam L. Thomas, Mathy Vanhoef +3
In this paper, we propose a new approach to infer state machine models from protocol implementations. Our method, STATEINSPECTOR, learns protocol states by using novel program anal…
cs.OS2018
Time Protection: the Missing OS Abstraction
Qian Ge, Yuval Yarom, Tom Chothia +1
Timing channels enable data leakage that threatens the security of computer systems, from cloud platforms to smartphones and browsers executing untrusted third-party code. Preventi…
cs.CR2017
Types for Location and Data Security in Cloud Environments
Ivan Gazeau, Tom Chothia, Dominic Duggan
Cloud service providers are often trusted to be genuine, the damage caused by being discovered to be attacking their own customers outweighs any benefits such attacks could reap. O…