Thank you Matthew! Sounds good. El sáb., 17 jul. 2021 22:43, Matthew Fernandez <[email protected]> escribió:
> > > On Jul 17, 2021, at 13:16, Hugo V.C. <[email protected]> wrote: > > > > 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? > > HACL contains an AES-GCM implementation that can be compiled down to C: > https://github.com/project-everest/hacl-star _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
