The Beholder system is a software client / server system that detects intrusion by monitoring the real-world execution time of critical kernel-level operations. Beholder was designed for use with critical infrastructure systems, especially in the power grid.
Filter Projects
Area of Research
Hyperion is a software system for static analysis of compiled software, enabling the detection of undesirable behavior or the demonstration of correct behavior.
This project will improve our understanding of the dynamic interactions between social and physical networks that make up cities. It uses household level energy consumption and infrastructure records, neighborhood level communication records, digital trace data, and a range of remotely sensed data to quantify relationships between urban infrastructure systems and social structures within that urban environment. This empirical research is necessary to support the next generation of models exploring climate change impacts and resource supply security of cities now and in the future.