search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

research Frama-C #19

Open jldodds opened 10 years ago

jldodds commented 10 years ago

Choose analyses to run on each SHA implementation