Designed-In Security Panel |
|
Moving forward with DIS and the Building Code |
|
In-Nimbo Sandboxing |
|
Direct Software Assurance |
|
A Look at Designed-In Security Needs and Preliminary Successes |
|
Science of Security Lablet at Carnegie Mellon University |
|
Securing Safety-Critical Machine Learning Algorithms |
|
Model-Based Explanation For Human-in-the-Loop Security |
|
Obsidian: A Language for Secure-By-Construction Blockchain Programs |
|
CMU Lablet Homepage |
|
Supply Chain Dilemmas |
|
SoS Quarterly Lablet Meeting at Carnegie Mellon University |
|
3rd Quarterly SoS Lablet Meeting at CMU |
|
SoS and Hard Problems |
|