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: 439

Automatic Verification of Distributed and Layered Security Policy Implementations

Singh, S., Sanders, W. H., Nicol, D. M., Seri, M.
Year: 2008 | Type: Technical Report

Hardware Implementation of Information Flow Signatures Derived via Program Analysis

Dabrowski, P., Healey, W., Pattabiraman, K., Chen, S., Kalbarczyk, Z., Iyer, R.
Year: 2008 | Type: Proceedings

Automatic Security Assessment of Critical Cyber-Infrastructures

Anwar, Z., Shankesi, R., Campbell, R. H.
Year: 2008 | Type: Proceedings

Towards Standards-Compliant Trust Negotiation for Web Services

Lee, A. J., Winslett, M.
Year: 2008 | Type: Proceedings

PPAA: Peer-to-Peer Anonymous Authentication

Tsang, P. P., Smith, S. W.
Year: 2008 | Type: Proceedings

Performance Analysis of Real Traffic Carried with Encrypted Cover Flows

Schear, N., Nicol, D. M.
Year: 2008 | Type: Proceedings

Key Management for Secure Power SCADA

Sleeper, M. K.
Year: 2008 | Type: Senior Honors Thesis

Combating Spam and Denial-of-Service Attacks with Trusted Puzzle Solvers

Tsang, P. P., Smith, S. W.
Year: 2008 | Type: Proceedings

Secure Cryptographic Precomputation with Insecure Memory

Tsang, P. P., Smith, S. W.
Year: 2008 | Type: Proceedings

Efficient Simulation of Internet Worms

Nicol, D. M.
Year: 2008 | Type: Journal Article

Scalable Distributed Kalman Filtering Through Consensus

Kirti, S., Scaglione, A.
Year: 2008 | Type: Proceedings

Automated Assessment of Compliance with Security Best Practices

Anwar, Z., Campbell, R.H.
Year: 2008 | Type: Proceedings

TOCTOU, Traps, and Trusted Computing

Bratus, S., D'Cunha, N., Sparks, E., Smith, S. W.
Year: 2008 | Type: Proceedings

Towards Standards-Compliant Trust Negotiation for Web Services (Extended Version)

Lee, A. J., Winslett, M.
Year: 2008 | Type: Technical Report

The Traust Authorization Service

Lee, A. J., Winslett, M., Basney, J., Welch, V.
Year: 2008 | Type: Journal Article

A Kalman-based Coordination for Hierarchical State Estimation: Algorithm and Analysis

Zonouz, S., Sanders, W.H.
Year: 2008 | Type: Proceedings

Pages