ATProto Browser
Experimental browser for the Atmosphere
Experimental browser for the Atmosphere
📄 Runtime Verification for Trustworthy Computing "A recently proposed approach, RV-TEE, shows how runtime verification can enhance the level of trust to the Rich Execution Environment (REE), consequently adding a further layer of protection around the Environment (TEE)" 1/2
Mar 13, 2024, 5:29 PM
{
"uri": "at://did:plc:x5hus2z3uumavr4tzw5gufsf/app.bsky.feed.post/3knlsixvgkc22",
"cid": "bafyreifcokvpcurubqux3d3wm7hoapiashduuge3bjxvvkykabfxeyeyam",
"value": {
"text": "📄 Runtime Verification for Trustworthy Computing\n\n\"A recently proposed approach, RV-TEE, shows how runtime verification can enhance the level of trust to the Rich Execution Environment (REE), consequently adding a further layer of protection around the Environment (TEE)\"\n1/2",
"$type": "app.bsky.feed.post",
"createdAt": "2024-03-13T17:29:27.000Z"
}
}