j
k
j a
j l
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?
Attachments:
Show replies by thread
users@lists.genode.org
Add to favorites Remove from favorites