| 2008 HCSS Conference Program Agenda |
|
| HotSoS 2015 Organizers |
|
| HotSoS 2015 Program Agenda |
|
| Research |
|
| SoS-VO |
|
| Review of HotSoS 2015 |
|
| Projects |
|
| 2002 HCSS Conference Program Agenda |
|
| News |
|
| Project Descriptions |
|
| 2011 HCSS Conference Program Agenda |
|
| Events |
|
| Project Impacts |
|
| C3E Program Committee Homepage |
|
| Core Areas |
|
| Artifacts |
|
| S&CC Collaborators |
|
| Collaborators Directory |
|
| Validating Productivity Benefits of Type-Like Behavioral Specifications |
|
| Architecture-based Self-securing Systems |
|
| Improving Usability of Security Requirements by Software Developers through Empirical Studies and Analysis |
|
| Secure Composition of Systems and Policies |
|
| Security Reasoning for Distributed Systems with Uncertainties |
|
| A Language and Framework for Development of Secure Mobile Applications |
|