Grant Slatton

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Communication Infrastructure

Intrusion Detection

Top Venues

Publications

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP (2021)