Computer Laboratory

CTSRD Open Data

CTSRD Open Data


In order to better support reproducible scientific results in all of our projects and publications, the CTSRD project open sources hardware (e.g., the CHERI Processor) and software (e.g., the CheriBSD operating system, SOAAP software analysis system, and TESLA assertion system) designs. We currently are preparing to release data sets from our papers, and hope to have this information online in late 2016.

2016