UMD-CSEC / fpff

Related projects: ⓘ

• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆35Updated 2 years ago
• picty / concerto
  Toolset to analyse TLS datasets
  ☆12Updated 5 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆61Updated 3 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆17Updated 6 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆100Updated 2 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 9 years ago
• calaylin / bda
  Programmer De-anonymization from Binary Executables
  ☆87Updated 6 years ago
• eriktews / certificate-transparency-tools
  Tools to interact with a certificate transparency server
  ☆22Updated 9 years ago
• bakirtzisg / cybok-cli
  A vulnerability assessment tool for system models
  ☆13Updated 2 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆42Updated 8 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• lpereira / infect-to-protect
  Infect to Protect
  ☆15Updated 5 years ago
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 8 years ago
• CIRCL / potiron
  Potiron - Normalize, Index and Visualize Network Capture
  ☆83Updated 5 years ago
• dchapyshev / stopdpi
  ☆14Updated this week
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 3 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• tumi8 / cca-privacy
  TLS Client Certificate Authentication and its Privacy Implications
  ☆16Updated 7 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• DennisYurichev / MK85
  ☆93Updated this week
• ccdcoe / Frankencoding
  You're busted!
  ☆25Updated 4 years ago
• ANSSI-FR / Binacle
  Full-bin indexation of binary files
  ☆92Updated 6 years ago
• rieck / derrick
  A Simple Network Stream Recorder
  ☆35Updated 5 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 7 years ago
• telekom-security / BadIPFetch
  ☆11Updated this week
• Lookingglass / opentpx
  ☆42Updated this week
• MITRECND / snugglefish
  Simple NGram Fast Indexer & Searcher
  ☆36Updated last year
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆15Updated 7 years ago
• stratosphereips / whois-similarity-distance
  This python scripts can calculate the WHOIS Similarity Distance between two given domains.
  ☆30Updated last year
• DevoInc / sightingdb
  Sighting DB is designed to scale writing and reading a count of attributes, tracking when if was first and last seen
  ☆16Updated 5 months ago