ANSSI-FR / mabo

Related projects: ⓘ

• konne88 / bagpipe
  BGP Policy Verification
  ☆25Updated 8 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 8 years ago
• hannesm / tlstunnel-lwt
  TLS tunnel -- an alternative to stud / stunnel
  ☆85Updated last year
• mirleft / btc-pinata
  If you smash it, you get to keep the pieces.
  ☆29Updated 4 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 8 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 8 years ago
• stefano-garzarella / ptnetmap
  ptnetmap source code
  ☆13Updated 8 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆76Updated 2 years ago
• britram / trilateration
  Tools for quantifying error in RTT-based trilateration/geolocation techniques
  ☆20Updated 5 years ago
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated last week
• ouspg / trytls
  Does ​your​ library check TLS certificates properly?
  ☆76Updated last year
• omegaup / minijail
  a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more
  ☆55Updated 2 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 3 years ago
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆29Updated 8 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆37Updated last year
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆61Updated 3 years ago
• mattbostock / sshkeycheck
  A small SSH server written in Go that checks for weak SSH keys
  ☆13Updated 8 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated last year
• robur-coop / udns
  [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library
  ☆55Updated 5 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆34Updated 2 weeks ago
• tracebox / tracebox
  Tracebox, a middlebox detection tool
  ☆165Updated 6 years ago
• Netgate / netmap-fwd
  An IPv4 router over netmap for FreeBSD
  ☆100Updated 8 years ago
• veorq / ipcrypt
  IP-format-preserving encryption, with a dedicated 4-byte cipher
  ☆101Updated 3 years ago
• cfcs / scramlkb
  Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
  ☆23Updated 6 years ago
• edvinanet / tls-o-matic
  TLS labs
  ☆30Updated 4 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 3 weeks ago
• tumi8 / cca-privacy
  TLS Client Certificate Authentication and its Privacy Implications
  ☆16Updated 7 years ago
• booksbyus / mkbook
  Hintjens' book production tools
  ☆46Updated 8 years ago
• AGWA / titus
  Totally Isolated TLS Unwrapping Server
  ☆111Updated 3 years ago