Limiting Recertification in Highly Configurable Systems (slides) Read more about Limiting Recertification in Highly Configurable Systems (slides)
A New Approach to Modeling and Analyzing Security of Networked Systems Read more about A New Approach to Modeling and Analyzing Security of Networked Systems
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations Read more about Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics Read more about Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics
A Rewriting-Based Forwards Semantics for Maude-NPA Read more about A Rewriting-Based Forwards Semantics for Maude-NPA
Let's Play Poker: Effort and Software Security Risk Estimation in Software Engineering Read more about Let's Play Poker: Effort and Software Security Risk Estimation in Software Engineering
Understanding Authentication and Access Control in Distributed Systems Read more about Understanding Authentication and Access Control in Distributed Systems
What the Science of Security Might Learn from the Evolution of the Discipline of Empirical Software Engineering Read more about What the Science of Security Might Learn from the Evolution of the Discipline of Empirical Software Engineering
International Research Network for the Science of Security Read more about International Research Network for the Science of Security