2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.NI2019★ 2 cited
State machine inference of QUIC
Abdullah Rasool, Greg Alpár, Joeri de Ruiter
QUIC is a recent transport protocol that provides reliable, secure and quick service on top of UDP in the internet. As QUIC is implemented in the application space rather than in t…
cs.CR2018
Tandem: Securing Keys by Using a Central Server While Preserving Privacy
Wouter Lueks, Brinda Hampiholi, Greg Alpár +1
Users' devices, e.g., smartphones or laptops, are typically incapable of securely storing and processing cryptographic keys. We present Tandem, a novel set of protocols for securin…