scherlis

TypePostAuthorRepliesLast updated
PageScience of Security Lablet at Carnegie Mellon University scherlis015 weeks 1 day ago
TearlineModel-Based Explanation For Human-in-the-Loop Security - July 2018 scherlis036 weeks 19 hours ago
TearlineSecuring Safety-Critical Machine Learning Algorithms - July 2018 scherlis049 weeks 2 days ago
TearlineObsidian: A Language for Secure-By-Construction Blockchain Programs - July 2018 scherlis049 weeks 2 days ago
TearlineCMU SoS Lablet Quarterly Executive Summary_July 2018 scherlis049 weeks 2 days ago
Group ProjectComputational Cybersecurity in Compromised Environments (C3E) Workshop Support scherlis01 year 8 weeks ago
TearlineSoS Quarterly Summary Report - CMU - January 2015 scherlis02 years 5 days ago
TearlineSoS Quarterly Summary Report - CMU - October 2014 scherlis02 years 6 days ago
Tearline SoS Quarterly Summary Report - CMU - July 2014 scherlis02 years 6 days ago
PageCMU Lablet Homepage scherlis02 years 27 weeks ago
PageSafety and Control for AI Systems Home Page scherlis03 years 4 weeks ago
GroupSafety and Control for AI Systems Workshop scherlis03 years 4 weeks ago
FileDirect Software Assurance scherlis03 years 5 weeks ago
GroupCMU Science of Security Lablet Research Initiative scherlis03 years 10 weeks ago
FileSoS and Hard Problems scherlis04 years 31 weeks ago
File3rd Quarterly SoS Lablet Meeting at CMU scherlis04 years 31 weeks ago
BiblioIn-nimbo Sandboxing scherlis04 years 32 weeks ago
FileIn-Nimbo Sandboxing scherlis04 years 50 weeks ago
User ProfileWilliam Scherlis scherlis04 years 52 weeks ago
EventSoS Quarterly Lablet Meeting at Carnegie Mellon University scherlis05 years 2 weeks ago
FileMoving forward with DIS and the Building Code scherlis05 years 5 weeks ago
FileDesigned-In Security Panel scherlis05 years 5 weeks ago
FileA Look at Designed-In Security Needs and Preliminary Successes scherlis05 years 51 weeks ago