Hacker News
- CLIP OS – France’s cybersecurity agency’s open source, secured operating system https://www.ssi.gouv.fr/en/actualite/clip-os-open-source-secured-operating-system/ 85 comments
- Abusing anti-DDoS mechanisms to perform DNS cache poisoning http://www.ssi.gouv.fr/en/the-anssi/publications-109/scientific-publications/conference/abusing-anti-ddos-mechanisms-to-perform-dns-cache-poisoning.html 4 comments
- Publication : Programming Rules to Develop Secure Applications With Rust https://www.ssi.gouv.fr/en/guide/programming-rules-to-develop-secure-applications-with-rust/ 15 comments rust
- ANSSI released reviewing standards for Coq proofs placing Coq at the highest (EAL7) level for software verification https://www.ssi.gouv.fr/uploads/2014/11/anssi-requirements-on-the-use-of-coq-in-the-context-of-common-criteria-evaluations-v1.0-en.pdf 2 comments coq
- French Government Institution ANSSI released a set of rules for the development of secure applications with Rust https://www.ssi.gouv.fr/uploads/2020/06/anssi-guide-programming_rules_to_develop_secure_applications_with_rust-v1.0.pdf 23 comments rust
- French National Cybersecurity Agency's guide to developing secure applications with Rust https://www.ssi.gouv.fr/en/actualite/be-part-of-anssis-new-guide-to-develop-secure-applications-with-rust/ 31 comments rust
- French National Cybersecurity Agency (ANSSI) open sources its Linux-based secure operating system https://www.ssi.gouv.fr/en/actualite/clip-os-open-source-secured-operating-system/ 37 comments europe
- French National Cybersecurity Agency (ANSSI) open sourced its (linux based) secure operating system https://www.ssi.gouv.fr/en/actualite/clip-os-open-source-secured-operating-system/ 71 comments linux