Export 2 results:
Filters: Author is Gabriel Ryan  [Clear All Filters]
Yao J, Tao R, Gu R, Nieh J, Jana S, Ryan G.  2021.  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
Ryan G, Shah A, She D, Bhat K, Jana S.  2021.  Fine Grained Dataflow Tracking with Proximal Gradients. 30th USENIX Security Symposium (USENIX Security 21). :1611--1628.