Aether Community Meeting – Hydra Runtime Verification Research Project

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.

View Slides   View Video (54:16)

Guest Speaker

Sundararajan Renganathan, PhD student, Computer Science, Stanford University