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