Publications

Enter search criteria and click Apply. Be sure to click Reset and re-enter criteria for subsequent searches. Looking for publications resulting from TCIP (2005-2009)? Select TCIP from the Activity option in Advanced Filters.

Total records for this search: 438

A Case for Validating Remote Application Integrity for Data Processing Systems

Chu, J., Montanari, M., Campbell, R.H.
Year: 2012 | Type: Proceedings

A Fault-tolerant Key Storage Service with Proactive Recovery

Agrawal, P.
Year: 2012 | Type: M.S. Thesis

Multi-Organization Policy-based Monitoring

Montanari, M., Cook, L., Campbell, R.H.
Year: 2012 | Type: Proceedings

Virtual Time Integration of Emulation and Parallel Simulation

Jin, D., Zheng, Y., Zhu, H., Nicol, D.M., Winterrowd, L.
Year: 2012 | Type: Proceedings

Adapting Bro into SCADA: Building Specification-based Intrusion Detection System for DNP3 Protocol

Lin, H., Kalbarczyk, Z., Iyer, R.K.
Year: 2012 | Type: Technical Report

Intrusion Detection for Resource-Constrained Embedded Control Systems in the Power Grid

Reeves, J., Ramaswamy, A., Locasto, M., Bratus, S., Smith, S.W.
Year: 2012 | Type: Journal Article

Characterization of Error Resiliency of Power Grid Substation Devices

Tseng, K., Chen, D., Kalbarczyk, Z., Iyer, R.K.
Year: 2012 | Type: Proceedings

Confidentiality of Event Data in Policy-based Monitoring

Montanari, M., Campbell, R.H.
Year: 2012 | Type: Proceedings

Spoofing GPS Receiver Clock Offset of Phasor Measurement Units (Technical Report)

Jiang, X., Harding, B., Makela, J., Dominguez-Garcia, A.D.
Year: 2012 | Type: Technical Report

Decentralized Data Processing and Management in Smart Grid via Gossiping

Li, X., Wang, Z., Scaglione, A.
Year: 2012 | Type: Proceedings

A virtual time system for virtualization-based network emulations and simulations

Zheng, Y., Nicol, D.M., Jin, D., Tanaka, N.
Year: 2012 | Type: Journal Article

Cumulative Attestation Kernels for Embedded Systems

Lemay, M., Gunter, C.A.
Year: 2012 | Type: Journal Article

New models for networked control in Smart Grid

Scaglione, A., Wang, Z., Alizadeh, M.
Year: 2012 | Type: Book or Chapter

Application-Driven Design for a Secured Smart Grid

Berthier, R., Bobba, R., Heine, E., Khurana, H., Sanders, W.H., Yardley, T.
Year: 2012 | Type: Book or Chapter

Automatic Verification of Security Policy Implementations

Singh, S.
Year: 2012 | Type: Ph.D. Dissertation

Spoofing GPS Receiver Clock Offset of Phasor Measurement Units

Jiang, X.
Year: 2012 | Type: M.S. Thesis

Pages