Cryspen builds high assurance cryptography. But what does this actually mean? Before focusing on cryptography it is interesting to look at high assurance software in general. How is high assurance …
