Author:Lei Bu

Publications

Keyphrases

ARCH-COMP2, Bounded Model Checking2, Detection based defenses, high-level information, hybrid system, Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, locality, model checker, PCDB Category, Piecewise Constant Dynamics, side-channel attacks.