| Jonathan Aldrich |
|
| Learned Resiliency: Secure Multi-Level Systems |
|
| Kathleen M. Carley |
|
| Architecture-based Self Securing Systems |
|
| David Garlan |
|
| Security reasoning for distributed systems with uncertainties |
|
| Andre' Platzer |
|
| Secure composition of systems and policies |
|
| Anupam Datta & Team |
|
| Improving the Usability of Security Requirements by Software Developers through Empirical Studies and Analysis |
|
| Travis Breaux |
|
| USE: User Security Behavior |
|
| Lorrie Faith Cranor |
|
| C3E Workshop Archives |
|
| AFOSR SoS MURI Overview |
|
| SoS Paper Competition Guidelines |
|
| Past SoS Events |
|
| Characterizing user behavior and anticipating its effects on computer security with a Security Behavior Observatory |
|
| NSA Science of Security Research Initiative |
|
| Semantic Analysis of AWS Access Control |
|
| Tiros: Reachability analysis for AWS-based Networks Using Automated Theorem Proving |
|
| Reasoning about Security of Amazon Web Services |
|
| 2012 HCSS Conference Program Agenda |
|
| C3E Homepage |
|