Found something

[Uwe]

I have found a testable(!),small(!) TCB implementation of TLS. Would it be cool
if genode had a verified(!), isolated(!) daemon, that does all things related
to external communication, of course encrypted?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: document(2).pdf
Type: application/pdf
Size: 254218 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20210619/a2973317/attachment-0001.pdf>