You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Vinzent "Jellix" Saranen edited this page Feb 11, 2020
·
2 revisions
Welcome to the Saatana wiki!
"Saatana" is a project written in SPARK/Ada, proving the absence of run time errors, and in some cases, partial correctness of the implementation. It will be extended at will and whenever I have the time to contribute something to it.
It contains
Phelix, a stream cipher with authentication built in which can be used to encrypt messages including a message authentication code.