AdaCore Blog

Isabelle Vialard

Isabelle is a student at École Poytechnique, working on binding C cryptographic libraries in SPARK as part of a summer internship at AdaCore.

1 entries written by Isabelle Vialard

by Isabelle Vialard

Secure Use of Cryptographic Libraries: SPARK Binding for Libsodium

The challenge faced by cryptography APIs is to make building functional and secure programs easy for the user. In this blog post I will present you how I created a SPARK binding for Libsodium, using strong typing and preconditions/postconditions to enforce a safe and functional use of basic cryptographic primitives.

#SPARK    #Security    #Cryptography    #Binding