scherlis

TypePostAuthorRepliesLast updated
Group ProjectComputational Cybersecurity in Compromised Environments (C3E) Workshop Support scherlis06 weeks 6 days ago
Group ProjectSecuring Safety-Critical Machine Learning Algorithms scherlis09 weeks 9 hours ago
PageScience of Security Lablet at Carnegie Mellon University scherlis027 weeks 3 days ago
TearlineModel-Based Explanation For Human-in-the-Loop Security - July 2018 scherlis048 weeks 2 days ago
TearlineSecuring Safety-Critical Machine Learning Algorithms - July 2018 scherlis01 year 9 weeks ago
TearlineObsidian: A Language for Secure-By-Construction Blockchain Programs - July 2018 scherlis01 year 9 weeks ago
TearlineCMU SoS Lablet Quarterly Executive Summary_July 2018 scherlis01 year 9 weeks ago
TearlineSoS Quarterly Summary Report - CMU - January 2015 scherlis02 years 13 weeks ago
TearlineSoS Quarterly Summary Report - CMU - October 2014 scherlis02 years 13 weeks ago
Tearline SoS Quarterly Summary Report - CMU - July 2014 scherlis02 years 13 weeks ago
PageCMU Lablet Homepage scherlis02 years 39 weeks ago
PageSafety and Control for AI Systems Home Page scherlis03 years 16 weeks ago
GroupSafety and Control for AI Systems Workshop scherlis03 years 16 weeks ago
FileDirect Software Assurance scherlis03 years 17 weeks ago
GroupCMU Science of Security Lablet Research Initiative scherlis03 years 22 weeks ago
FileSoS and Hard Problems scherlis04 years 44 weeks ago
File3rd Quarterly SoS Lablet Meeting at CMU scherlis04 years 44 weeks ago
BiblioIn-nimbo Sandboxing scherlis04 years 44 weeks ago
FileIn-Nimbo Sandboxing scherlis05 years 10 weeks ago
User ProfileWilliam Scherlis scherlis05 years 12 weeks ago
EventSoS Quarterly Lablet Meeting at Carnegie Mellon University scherlis05 years 14 weeks ago
FileMoving forward with DIS and the Building Code scherlis05 years 17 weeks ago
FileDesigned-In Security Panel scherlis05 years 17 weeks ago
FileA Look at Designed-In Security Needs and Preliminary Successes scherlis06 years 11 weeks ago