Hae Young Lee

Learn More
In many sensor network applications, sensor nodes are deployed in unattended environments , and hence are vulnerable to physical attacks, potentially compromising the node's cryptographic keys. False sensing reports can be injected through compromised nodes, which can lead to not only false alarms but also the depletion of limited energy resources in(More)
A hybrid system is a dynamical system reacting to continuous and discrete changes simultaneously. Many researchers have proposed modeling and verification formalisms for hybrid systems, but algorith-mic verification of important properties such as safety and reachability is still an ongoing research area. This paper demonstrates that a basic modeling(More)