Aether Community Meeting – Hydra Runtime Verification Research Project
Apr 04, 2023 to Apr 04, 2023 | Virtual Event
April 4th | 8:00am Pacific
This Aether Community Meeting features the Hydra project and how Aether is being utilized in this research environment. This work was done in collaboration with Stanford University, Cornell University, Princeton University and Intel, and funded by DARPA Project Pronto.
Hydra demonstrates a new approach to verifying the runtime behavior of a network in real time using the data plane. Hydra checkers were deployed in Aether for conducting testing against real and generated traffic. The runtime overheads of Hydra checkers are found to be modest— using a systematic measurement of switch resources and per-packet latency in the Aether prototype.
Sundararajan Renganathan, PhD student, Computer Science, Stanford University