RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems.

Dario Facchinetti, Matthew Rossi, Zhenya Zhang, Stefano Paraboschi, Paolo Arcaini

Browse the full ICST paper archive.