search

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
641 stars 71 forks source link

Add STOTP #13

Closed jklmnn closed 5 years ago

jklmnn commented 5 years ago

Add STOTP, a Timed One-Time-Pad implementation in SPARK compatible to common 2FA methods.