Alternatives and similar repositories for fbleau

Users that are interested in fbleau are comparing it to the libraries listed below

• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆735Updated last week
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• gchers / wfes
  A framework for evaluating Website Fingerprinting attacks/defences, accompaining the paper "Bayes, not Naïve: Security Bounds on Website …
  ☆25Updated last year
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated last year
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆20Updated last year
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆165Updated last month
• Henrygwb / Explaining-DL
  ☆55Updated 5 years ago
• AxelGoetz / website-fingerprinting
  Automatic Feature Generation for Website Fingerprinting
  ☆30Updated 8 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆120Updated 4 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆364Updated this week
• idramalab / arxiv_script
  A single script to facilitate submitting papers to ArXiv.org
  ☆18Updated 7 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆15Updated last year
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆104Updated 7 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆468Updated last month
• columbia / pixeldp
  ☆66Updated 6 years ago
• felixlinker / tamarin-workshop
  A 2-4h workshop on the Tamarin protocol verifier.
  ☆21Updated 2 months ago
• ektelo / ektelo
  ☆38Updated 3 years ago
• s2labres / transcendent-release
  ☆24Updated last year
• prncoprs / best-papers-in-computer-security
  This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
  ☆103Updated 3 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Updated 4 years ago
• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆22Updated 5 years ago
• dpcomp-org / dpcomp_core
  ☆43Updated 4 years ago
• benhaz1024 / raspbian-tee
  Raspbian with OP-TEE support.
  ☆27Updated 6 years ago
• surrealyz / pdfclassifier
  On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542
  ☆30Updated 3 years ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• pwwl / enhanced-binary-diversification
  Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"
  ☆53Updated last year
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆59Updated 2 years ago
• ClonedOne / MalwareBackdoors
  Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
  ☆59Updated 3 years ago