wisec_demo This is a Rust proof of concept demonstration of the security model proposed in the the security recommendations document. To run, first install rust. Next, in the same folder as the Cargo.toml file cargo run