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
  ☆788Updated this week
• acmccs / format
  ACM consolidated LaTeX styles
  ☆66Updated 6 years ago
• idramalab / arxiv_script
  A single script to facilitate submitting papers to ArXiv.org
  ☆18Updated 7 years ago
• idramalab / latex-101
  ☆21Updated 2 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆105Updated 3 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆493Updated 2 weeks ago
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆20Updated 2 years ago
• ektelo / ektelo
  ☆38Updated 3 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
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆207Updated 2 months ago
• 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.
  ☆129Updated 8 months ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 4 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• ftramer / Steal-ML
  Model extraction attacks on Machine-Learning-as-a-Service platforms.
  ☆350Updated 5 years ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 8 years ago
• sunblaze-ucb / privguard-artifact
  Artifact of PrivAnalyzer as described in the Usenix 2022 paper "PrivGuard: Privacy Regulation Compliance Made Easier"
  ☆13Updated 4 years ago
• s2labres / transcendent-release
  ☆26Updated last year
• peigen-sboxes / PEIGEN
  An open source project for study S-boxes
  ☆45Updated 3 years ago
• Henrygwb / Explaining-DL
  ☆55Updated 6 years ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆15Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆221Updated this week
• lpp-crypto / sboxU
  Tools for studying S-boxes
  ☆37Updated last week
• USENIX-Security-2025 / conference-format
  ☆22Updated last year
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Updated 5 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆66Updated 6 years ago
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆119Updated 4 years ago