* Fixed links after repository rename

Author: Jellix

README.md

@@ -1,8 +1,8 @@
 # Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
 A cryptographic framework, proven for correctness in SPARK
 
-[![](https://github.com/HeisenbugLtd/security/workflows/Build%20Linux/badge.svg)](https://github.com/HeisenbugLtd/security/actions?query=event%3Apush)
-[![](https://github.com/HeisenbugLtd/security/workflows/Proof%20Linux/badge.svg)](https://github.com/HeisenbugLtd/security/actions?query=event%3Aschedule)
+[![](https://github.com/HeisenbugLtd/Saatana/workflows/Build%20Linux/badge.svg)](https://github.com/HeisenbugLtd/Saatana/actions?query=event%3Apush)
+[![](https://github.com/HeisenbugLtd/Saatana/workflows/Proof%20Linux/badge.svg)](https://github.com/HeisenbugLtd/Saatana/actions?query=event%3Aschedule)
 
 Algorithms contained
 - [Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html) - Fast Encryption and Authentication in a Single Cryptographic Primitive