• Fast and Safe IO Memory Protection
    Benny Rubin, Saksham Agarwal, Qizhe Cai, Rachit Agarwal
    To Appear. SOSP 2024

  • Autonomic Passive IT-OT Device Classification in ICS/SCADA Networks
    Benny Rubin, Ali Tekeoglu, Christopher Rouff
    To appear. IEEE CSR ACSICS workshop 2024.

  • Hydra: Effective Runtime Network Verification
    Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster
    ACM SIGCOMM ‘23, Github


Class Research Projects

Papers include brief abstract of work.

CS 6120 - Advanced Compilers (Fall 2023)
Dynamic Compilation Techniques for Heterogenous Hardware
Paper

CS 6450 - Advanced Networking (Spring 2023)
Using Causal Telemetry to verify BGP routing behavior
Paper

CS 6850 - The Structure of Information Networks (Spring 2023)
Graph theoretic models of the Internet
Paper

CS 6410 - Advanced Systems (Fall 2022)
Exploring Runtime Verification techniques for Programmable Networks
Paper