3 papers
cs.LO2026
Policy Change for Treelike Monitors
François Hublet, Dhruv Nevatia, Joshua Schneider
We study the policy change problem that arises in the runtime verification of long-running systems. The online monitors typically used in this context are generally treelike, in th…
cs.CR2024
Reachability Analysis of the Domain Name System
Dhruv Nevatia, Si Liu, David Basin
The high complexity of DNS poses unique challenges for ensuring its security and reliability. Despite continuous advances in DNS testing, monitoring, and verification, protocol-lev…
cs.LO2021
An Algebraic Characterisation of First-Order Logic with Neighbour
Amaldev Manuel, Dhruv Nevatia
We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an invo…