ANSSI

Repositories

• MLA

  Multi Layer Archive - A pure rust encrypted and compressed archive file format
  Rust LGPL-3.0 6 168 6 7 Updated Aug 18, 2020

• OVALI

  Generic graph exploration, manipulation and visualization tool (Outil de Visualisation et Analyse de Liens Inter-objets)
  JavaScript BSD-3-Clause 16 30 0 3 Updated Aug 17, 2020

• ADTimeline

  Timeline of Active Directory changes with replication metadata

  windows timeline splunk powershell active-directory forensics dfir
  PowerShell GPL-3.0 26 206 0 0 Updated Aug 13, 2020

• coq-prelude

  General-purpose monad typeclass hierarchy for Coq
  Coq GPL-3.0 6 6 0 0 Updated Jul 30, 2020

• coq-MiniHTTPServer

  A simple, executable HTTP server written in Coq with FreeSpec
  Coq 2 4 0 0 Updated Jul 27, 2020

• FreeSpec

  A framework for implementing and certifying impure computations in Coq
  Coq GPL-3.0 7 41 5 0 Updated Jul 27, 2020

• chipsec-check

  Tools to generate a Debian Linux distribution with chipsec to test hardware requirements

  intel chipsec secureboot-key
  Shell 4 29 0 0 Updated Jul 10, 2020

• coq-comparse

  Your companion toolkit to write parsers with general-purpose combinators in Coq
  Coq 1 1 0 0 Updated Jul 7, 2020

• rust-guide

  Recommendations for secure applications development with Rust

  recommendations rust good-practices secure-coding
  Shell 33 405 13 7 Updated Jul 6, 2020

• ASCAD

  Side Channels Analysis and Deep Learning
  Python 17 61 4 0 Updated Jun 20, 2020

• ORADAD

  Outil de récupération automatique des données de l'Active Directory / Automated tool for dumping Active Directory data
  C GPL-3.0 13 84 0 0 Updated May 19, 2020

• libecc

  Library for elliptic curves cryptography
  C 31 137 3 0 Updated May 16, 2020

• SmartPGP

  SmartPGP is a JavaCard implementation of the OpenPGP card specifications
  Java GPL-2.0 22 112 7 1 Updated May 15, 2020

• bmc-tools

  RDP Bitmap Cache parser
  Python 28 128 2 1 Updated Apr 20, 2020

• secAES-ATmega8515

  Secure AES128 Encryption Implementation for ATmega8515
  Assembly 8 21 0 0 Updated Mar 27, 2020

• ctf

  Epreuves de sélection de la TeamFR pour l'ECSC 2019.
  Python GPL-3.0 6 64 2 0 Updated Mar 10, 2020

• SecuML

  Machine Learning for Computer Security

  machine-learning gui intrusion-detection active-learning malware-detection interactive-machine-learning rare-category-detection
  Python GPL-2.0 47 202 0 0 Updated Feb 20, 2020

• AD-control-paths

  Active Directory Control Paths auditing and graphing tools
  C 81 460 2 0 Updated Jan 7, 2020

• x509-parser

  a RTE-free X.509 parser
  C 7 30 1 4 Updated Dec 1, 2019

• packetweaver Archived

  A Python framework for script filing and task sequencing
  Python 7 25 0 0 Updated Nov 4, 2019

• cornetto

  Outil de gestion de version statique de site web
  JavaScript GPL-3.0 1 5 0 0 Updated Oct 30, 2019

• xsvgen

  XML Schema Validator Generator
  OCaml 2 11 6 2 Updated Aug 6, 2019

• SecAESSTM32

  Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F3/STM32F4)
  C 11 34 1 0 Updated May 22, 2019

• libapn

  libapn is a header-based C++ library developed to study vectorial Boolean functions, including but not limited to APN functions.
  C++ GPL-3.0 2 3 0 0 Updated May 19, 2019

• mdbook-checklist

  mdbook preprocessor for generating checklists and indexes
  Rust 0 2 0 0 Updated Apr 30, 2019

• mabo

  MRT Parser

  parser json bgp ocaml mrt
  OCaml 6 43 1 0 Updated Apr 5, 2019

• polichombr

  Collaborative malware analysis framework

  reverse-engineering ida malware-analysis ida-plugin malware-research idapro security-tools
  Python 51 294 17 (4 issues need help) 3 Updated Jan 22, 2019

• route_leaks Archived

  BGP Route Leaks Detection

  bgp detection leaks route-leaks-detection
  Python 16 56 0 0 Updated Dec 7, 2018

• audit-radius Archived

  A RADIUS authentication server audit tool
  Python 20 62 0 0 Updated Oct 15, 2018

• ADCP-libdev

  AD-control-paths libraries submodule
  C 2 2 0 0 Updated Sep 26, 2018