This sounds even better... Thanks Alex.
El sáb., 17 jul. 2021 22:57, Axel Heider
Hugo,
last year Leonard Blazevic did his master thesis at Hensoldt Cyber about this, see https://tumanager.ei.tum.de/service.php?token=lifecycle_sec_tueilnt&mode=pdfdownload&tId=330&language=en I've put him in CC.
Axel
-------- Original Message -------- From: Hugo V.C. [mailto:skydivebcn@gmail.com] Sent: Saturday, July 17, 2021, 10:16 PM To: devel Subject: [seL4] Formally verified AES C code
Hi all,
I don't want to use SSL/openssl in a project I'm working. Thus, I want to just use my own encryption at the app layer. As performance is not a problem (just very small data packets over a socket) I would like to have the most simple implementation possible of AES, preferably, formally verified. Is anyone aware of any public AES encrytion implementation in C that has been formally or semi-formally verified?
Thank you! _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems