Science of Security Virtual Organization | advancing cybersecurity through science

Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems

Read more about Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems

Assurance Through Comprehensive Formal Verification

Read more about Assurance Through Comprehensive Formal Verification

Model-Based Assurance Challenges for Self-Driving Cars

Read more about Model-Based Assurance Challenges for Self-Driving Cars

0018720815585906.full_.pdf

Read more about 0018720815585906.full_.pdf

2016 SoS Research Network Maps

Read more about 2016 SoS Research Network Maps

2016SoS-VO36x48Poster.pdf

Read more about 2016SoS-VO36x48Poster.pdf

SCC 17 Agenda

Read more about SCC 17 Agenda

Ravel A Database Defined Network

Read more about Ravel A Database Defined Network

Parallel Simulation and Virtual Machine Based Emulation of Software Defined Networks

Read more about Parallel Simulation and Virtual Machine Based Emulation of Software Defined Networks

Parallel Simulation and Virtual-machine-based Emulation of Software-defined Network

Read more about Parallel Simulation and Virtual-machine-based Emulation of Software-defined Network

ACM Transactions on Modeling and Computer Simulation, volume 26, issue 1, December 2015.

Subscribe to