| 2020_HoTSoS_Logo_final.png |
|
| Quantitative Assessment of Access Control Compliance |
|
| Programming with Proofs - C3E - Sep 11, 2020.pptx |
|
| 2020 High Confidence Software and Systems (HCSS) Program Booklet |
|
| Memory Bugs Classes in BF-handouts-HCSS2020 |
|
| HotSoS Symposium 2020: program booklet |
|
| PANEL: FM@Scale Workshop Summary |
|
| Winter '21 SoS Quarterly Meeting |
|
| DoD Enterprise DevSecOps Initiative & Platform One |
|
| Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection |
|
| Protecting Sensitive Data in Web Browsers with ScriptPolice |
|
| Summer'21 Science of Security Quarterly Lablet Meeting |
|
| OnRamp II Symposium |
|
| Fall'21 Science of Security Quarterly Lablet Meeting |
|