Author:Lei Bu

Publications

Keyphrases

ARCH-COMP, Bounded Model Checking, Detection based defenses, high-level information, Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, locality, PCDB Category, side-channel attacks.