This sounds even better... Thanks Alex. El sáb., 17 jul. 2021 22:57, Axel Heider <[email protected]> escribió:
> 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:[email protected]] > 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 -- [email protected] > To unsubscribe send an email to [email protected] > > > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
