100644 blob d086f083bfdfdad559f9bc206691b2ad6db5e6df	README.md
040000 tree 1b774df18cafde4391b3d34598bd83964bab5caa	implementation_guidelines
040000 tree 74d7bb4cd3b63f5f6b1d6694846a97ddf6afff86	logical_security_model
040000 tree de0e5847fd176390fe24f30cb2e784ed044e9327	specs
040000 tree 27d813bcf061baddd32fa187dc57e0515a145bb5	threat_model