ITI utilizes an approach of modeling, measurement, and implementation to develop and validate ways to make complex networked information systems trustworthy. Its goals are to establish fundamental and enabling science and technology for building trustworthy networked information systems, to develop techniques for assessing trustworthiness of networked information systems, and to apply the developed techniques to critical applications, including those in aerospace systems, power systems, data & information processing systems, transportation systems, emergency response systems, and e-commerce and financial systems.
ITI
research spans many areas. The following is a representative sample of
projects currently underway in ITI. This list shows only a small
fraction of the current ITI projects.
|
Project |
Researchers |
Research areas |
| A Middleware Solution to QoS and QoP for Multimedia Applications in Wireless Networks |
Klara Nahrstedt, Wenbo He |
Middleware, Networks, Reliability |
| Acquisition, Compression & Interpolation of Panoramic Stereo Images of a Scene for Remote Walkthroughs |
Narendra Ahuja, Y. Shinagawa, M. Maitre, N. Xu, A. Jagmohan |
Image Processing |
| Adaptive Messaging Policy (AMPol) |
Carl A. Gunter, Himanshu Khurana |
Distributed Systems, Middleware, Security Policy |
| An Integrated Approach to Instruction in Debugging Computer Programs |
Ryan Chmiel, Michael C. Loui |
Computer Architecture, Debugging |
| Application Aware Checking - Reliability and Security Engine |
Nithin M. Nakka, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
Computer Architecture, Reliability |
| Architectures for Secure and Robust Distributed Infrastructures |
Carolyn L. Beck, Stephen Boyd (Stanford), John Doyle (Caltech), Geir Dullerud, Christoforos N. Hadjicostis, Muriel Medard (MIT), Sanjay Lall (Stanford), Balaji Prabhakar (Stanford), Rayadurgam Srikant, Claire Tomlin (Stanford), George Verghese (MIT) |
Computer Architecture, Distributed Systems, Middleware |
| ARTS: Available, Robust and Trusted Software |
Yuanyuan Zhou, Zhenmin Li, Shan Lu, Feng Qin, Joe Tucek, Pin Zhou |
Debugging, Reliability |
| Attack Neutralization in Wireless Ad Hoc Networks |
Claudio Basile, Ravishankar K. Iyer, Zbigniew T. Kalbarczyk |
Cryptography, Reliability, Wireless |
| Automatic On-the-fly Detection, Characterization, Recovery, and Correction of Software Bugs in Production Runs |
Josep Torrellas, Jiawei Han, Yuanyuan Zhou, Samuel Midkiff, Chao Liu, Xifeng Yan |
Error Detection, Reliability |
| Automatic Railcar Inspection |
Narendra Ahuja, C. Barkan, J. M. Hart, C.-B. Liu, H. Wang |
Image Processing, Security Assessment |
| Bilateral Teleoperation over Unreliable Communication Networks |
Paul Berestesky, Nikhil Chopra, Mark W. Spong |
Reliability, Robotics |
| Building Intrusion-Tolerant Internet Services: Low Cost and High Performance Through Optimism |
HariGovind Ramasamy, Adnan Agbaria, Mouna Seri, Luke St. Clair, William H. Sanders |
Distributed Systems, Reliability |
| Certifiable Membership Equational Logic |
Grigore Rosu |
Formal Methods, Reliability |
| Characterization and Computation of Optimal Distributions for Channel Coding |
Sean Meyn, Venugopal V. Veeravalli, Muriel Medard (MIT) |
Reliability |
| Computer Log Anonymization and Information Sharing |
Adam J. Slagell |
Privacy |
| Contessa Network Security |
Carl A. Gunter, José Meseguer |
Formal Methods, Networks, Reliability |
| Control Techniques for Complex Networks |
In-Koo Cho, Sean Meyn |
Distributed Systems, Security Policy |
| Convergence Laboratory |
P. R. Kumar, Tam Pham, Craig Robinson, Adithya Yalavarti |
Computer Architecture, Middleware |
| Correctness w.r.t. Specifications |
Grigore Rosu |
Formal Methods, Reliability |
| Cyberinsurance as a Market-Based Solution to the Cybersecurity Problem |
Jay P. Kesan, Ruperto Majuca, William Yurcik |
Economics, Risk Management |
| Data Driven Power System Operations |
Peter W. Sauer, M. Pai, N. Sri Namachchivaya, Thomas Overbye |
Critical Infrastructures, Distributed Systems |
| Decentralized Failure Diagnosis in Discrete Event Systems |
Eleftheria Athanasopoulou, Christoforos N. Hadjicostis |
Error Detection |
| Designing Protection and Adaptation into a Survivability Architecture: Demonstration and Validation (DPASA-DV) |
Adnan Agbaria, Tod Courtney, Tod Courtney, Michael Ihde, William H. Sanders, Mouna Seri, Sankalp Singh |
Modeling and Simulation, Networks |
| Diagnosis and Assessment of Faults, Misbehavior and Threats in Distributed Systems and Networks |
Christoforos N. Hadjicostis, Carolyn L. Beck, R. S. Sreenivas |
Error Detection, Modeling and Simulation, Reliability |
| Distributed Control of Trustworthy Networked Systems |
Tamer Basar, Tansu Alpcan, Zhen Yin |
Networks, Reliability |
| Dynamic Security Assessment for Operations |
Peter W. Sauer |
Critical Infrastructures, Security Assessment |
| Effective Power System Control Center Visualization |
Thomas Overbye, Esa Rantanen |
Critical Infrastructures, HCI |
| Ethical Implications of Biases in Geographic Information Systems |
Christine Graeff, Michael C. Loui |
Distributed Systems, Ethics |
| Executable Semantics of Programming Languages |
Grigore Rosu |
Formal Methods, Programming Languages |
| Facial-Expression-Independent Face Recognition |
Hongcheng Wang, Narendra Ahuja |
HCI, Image Processing |
| Fault-Tolerant Operation and Control of Energy Processing Systems |
Christoforos N. Hadjicostis, Alex Stankovic (Northeastern University) |
Critical Infrastructures, Reliability |
| Flexible and Survivable Embedded Systems |
Lui Sha, Vikram Adve, Mark W. Spong |
Programming Languages, Reliability |
| Formal Privacy |
Carl A. Gunter |
HCI, Law, Privacy, Formal Methods, Security Assessment, Security Policy |
| Formal Reasoning on Security Vulnerabilities Using Pointer Taintedness Semantics |
Shuo Chen, Karthik Pattabiraman, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
Formal Methods, Programming Languages, Reliability |
| Gaia: Active Spaces for Ubiquitous Computing |
Roy H. Campbell, Dennis M. Mickunas, Dan Reed, Manuel Roman, Christopher Hess, Jalal Al-Muhtadi, Geetanjali Sampemane, Dulcineia Carvalho, Anand Ranganathan, Shiva Chetan, Mark Glasberg, Klara Nahrstedt, Duangdao Wichadukul, Yi Cui, Xiaohui Gu, Long Wang, Bin Yu, Diwakar Gupta, Chui Sian Ong, Robin H. Kravets, Albert Harris, David Kriegman, Sebastian Magda, Jongwoo Lim, Michael Garland, Stephen Zelinka |
Distributed Systems, HCI, Privacy |
| GridShib |
Tom Barton (U. Chicago), David Campion (U. Chicago), Kate Keahey (U. Chicago), Tom Scavo, Tim Freeman (U. Chicago), Frank Siebenlist (U. Chicago), Von Welch |
Middleware |
| Hacking Back: Analyzing the Optimal Use of Self-Defense in Cyberspace |
Jay P. Kesan, Ruperto Majuca |
Law, Security Policy |
| Hemispherical Imaging for Wide Area Monitoring |
Chunyu Gao, Narendra Ahuja |
Image Processing, Security Assessment |
| HESTIA: A Security Middleware for Critical Cyber Infrastructures |
Raquel Hill, Roy H. Campbell |
Critical Infrastructures, Middleware |
| HMSI CyberCollaborator for Integrated Hazard Managment |
Thomas Overbye |
Critical Infrastructures, Distributed Systems |
| Host-based IDS Enhancements at NCSA |
Neil Gorsuch, Von Welch |
Intrusion Detection, Intrusion Tolerance |
| Integrated Security Analysis |
Peter W. Sauer |
Security Assessment |
| JIST (Java Interface Synthesis Tool) |
Madhusudan Parthasarathy |
Formal Methods, Programming Languages |
| Layered Architectures for Complex Networked Systems |
Mark W. Spong, P. R. Kumar, Christoforos N. Hadjicostis, F. Bullo |
Distributed Systems, Reliability |
| Loss Concealments for Real-Time Low Bit-Rate Voice Transmissions Over Wireless Networks |
Benjamin W. Wah, Hang Yu, Batu Sat |
Reliability, Wireless |
| Machine Vision for Improved Safety Inspection of Railcars |
Narendra Ahuja, C. Barkan, J. M. Hart, P. Vemuru |
Image Processing, Security Assessment |
| Magnetoelectronic Systems |
Nicholas P. Carter, Nitin Navale |
Computer Architecture, Reliability |
| Marianas: Survivable Trust for Critical Infrastructure |
David M. Nicol, Jeffrey J. Farris |
Critical Infrastructures, Modeling and Simulation, Security Assessment |
| Mining Dynamics of Data Streams in Multi-Dimensional Space |
Jiawei Han, Xifeng Yan, Xiaolei Li, Hector Gonzalez, Ying Lu |
Data Mining, Intrusion Detection, Networks |
| Mining Sequential and Structured Patterns: Scalability, Flexibility, Extensibility, and Applicability |
Jiawei Han, Xifeng Yan, Dong Xin, Zheng Shao, Deng Cai |
Data Mining, Intrusion Detection |
| Mithril: Applying Adapability for Survivability |
Jim Basney, Himanshu Khurana, Joe Muggli, Meenal Pant, Von Welch, Patrick Flanigan |
Distributed Systems, Intrusion Tolerance |
| Modeling and Analysis of Access Control Failure |
Prasad Naldurg, Roy H. Campbell |
Security Policy |
| Modeling, Estimation & Retrieval of Hierarchical Spatiotemporal Visual Structure |
Narendra Ahuja, H. Arora, A. Briassouli, A. Sehgal |
Image Processing |
| Monitoring Oriented Programming |
Grigore Rosu |
Formal Methods, Programming Languages, Reliability |
| MulticastSS (Multicast Survivability and Security) |
Cristina Abad, Roelof Boonstra, Jason Hester, Nadir Kiyanclar, Adam J. Slagell, Ahmed Sobeih, Mike Treaster, Jun Wang, William Yurcik, Zahid Anwar |
Middleware |
| Multiple Cooperative Robots Bilateral Teleoperation Delayed Communication: Experiment |
Mark W. Spong, Dongjun Lee, Oscar Martinez-Palafox |
Reliability, Robotics |
| MURI on QoS in Surveillance and Control |
Lui Sha, Jennifer Hou, Ravishankar K. Iyer, P. R. Kumar |
Networks, Security Assessment |
| Möbius: An Integrated Performance/Dependability/Security Evaluation Environment |
Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh V. Lam, Michael McQuinn, Eric W. D. Rozier, William H. Sanders |
Modeling and Simulation, Security Assessment |
| Network Coding: From Theory to Practice |
|
Formal Methods, Networks, Reliability |
| PERCS |
Vikram Adve, Ralph Johnson, Marc Snir, David Padua, Josep Torrellas |
Computer Architecture, Programming Languages, Reliability |
| Predictive Runtime Analysis |
Grigore Rosu |
Error Detection |
| Providing Fault-Tolerant Ad-hoc Routing Service in Adversarial Environments |
Yuan Xue, Klara Nahrstedt |
Networks, Reliability |
| Querying and Mining Large Datasets of Moving Objects |
Jiawei Han, Xiaolei Li, Hector Gonzalez |
Data Mining |
| Real-Time Streaming of Multimedia Data in IP Networks with Loss Concealment |
Benjamin W. Wah, Batu Sat, Hang Yu |
Networks, Reliability |
| Reliable and Robust Control of Formations of Unmanned Vehicles |
Chad Burns, Peter Hokayem, Islam Hussein, Juan Mejia, Scott Smith (Boeing), Mark W. Spong, Dusan M. Stipanovic, John L. Vian (Boeing) |
Reliability, Robotics |
| Resilient Inter-domain Routing and Configuration |
Li Xiao, Klara Nahrstedt |
Networks, Reliability |
| Restricted Community Accounts |
Kevin Price, Von Welch |
Distributed Systems, Middleware |
| ReVive: Cost-Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors |
Jun Nakano, Pablo Montesinos, Josep Torrellas |
Computer Architecture, Reliability |
| RINSE: A Real-time Immersive Network Simulator for Security Exercises |
David M. Nicol, Michael Liljenstam, Lara Karbiner, Chris Grier, Guanhua Yan, Yougu Yuan |
Modeling and Simulation, Networks, Security Assessment |
| SAFECode |
Vikram Adve, Sumant Kowshik, Dinakar Dhurjati, Chris Lattner |
Formal Methods, Programming Languages, Reliability |
| Safety Policy Checking |
Grigore Rosu |
Programming Languages, Reliability |
| Scalable Sensor Networks for Robust Detection and Prediction |
Sean Meyn, Venugopal V. Veeravalli |
Distributed Systems |
| Secure Email List Services |
Himanshu Khurana, Jin Heo |
Distributed Systems |
| Secure Signal Embedding - Code Design and Cryptanalysis |
Pierre Moulin, Pramod Viswanath, Kannan Ramchandran (Berkeley) |
Cryptography, Formal Methods |
| Security for Collaborative Computing |
Himanshu Khurana, Weiting Cao |
Distributed Systems, Middleware |
| Security for Web Services |
Terry Fleury, Von Welch |
Distributed Systems, Middleware |
| Security Incident Fusion Tools (SIFT) |
Cristina Abad, Ratna Bearavolu, Charis Ermopoulous, Kiran Lakkaraju, Adam Lee, Yifan Li, Katherine Luo, Suvda Myagmar, Greg Pluta, Adam J. Slagell, Ramona Su, Xiaoxin Yin, William Yurcik |
Security Assessment |
| Structure Discovery and Database Integration by Data Mining |
Jiawei Han, Xiaoxin Yin, Philip S. Yu (IBM) |
Data Mining |
| System Log Anonymization for Greater Exchange of Logs (SLAGEL) |
Adam J. Slagell |
Privacy |
| Teleautonomy in Networked Robotic Systems |
Mark W. Spong, Oscar Martinez |
Robotics |
| Threat Analysis of GNU Software Radio |
Suvda Myagmar, Raquel Hill, Roy H. Campbell |
Security Assessment |
| Traust: A Trust-Based Authorization Service for Open Systems |
Marianne Winslett, Adam Lee |
Trust Management |
| TrustBuilder: Access Control and Authentication for Open Computing Systems |
Marianne Winslett, Adam Lee, Lars Olson, Mike Rosulek |
Trust Management |
| Visualization and Optimization Techniques for Complex Networks |
Sean Meyn |
HCI, Networks |