Whole Sky Technologies / Dewdrop: Hardware Enforcement of Memory Safety and More at a Modest Cost

Intellectual Property

Implementation

We have a working C++ software simulation of the Dewdrop hardware and of our RISC-V-64 machine.

We have a working FIRRTL/Verilog implementation of our RISC-V-64 machine.

We have source-to-source transforms that augment the gcc compiler toolchain and we have a modified version of the musl libc library.

Patents

“Hard Object: Hardware Protection for Software Objects,” described in an application for Letters Patent of the United States filed on March 10, 2008, Application Serial No. 12/045,542, US Patent US8364910B2;

“Hard Object: Constraining Control Flow and Providing Lightweight Kernel Crossings,” described in an application for Letters Patent of the United States filed on March 14, 2013, Application Serial No. 13/804,633, US Patent US9934166B2;

“Hard Object: Lightweight Hardware Enforcement of Encapsulation, Unforgeability, and Transactionality,” described in an application for Letters Patent of the United States filed on March 11, 2014, Application Serial No. 14/204,393, US Patent US9569612B2;

“Hard Object: Lightweight Hardware Enforcement of Encapsulation, Unforgeability, and Transactionality,” described in an application for Letters Patent of the United States filed on January 12, 2017, Application Serial No. 15/404,652, US Patent US20170126738A1;

“Hardware Enforcement of Boundaries on the Control, Space, Time, Modularity, Reference, Initialization, And Mutability Aspects of Software,” described in an application for Letters Patent of the United States filed on April 22, 2019, Application Serial No. 62/837,145;

“Hardware Enforcement of Boundaries on the Control, Space, Time, Modularity, Reference, Initialization, and Mutability Aspects of Software,” described in an application for Letters Patent of the United States filed on August 28, 2020, Application Serial No. 63/071,934;