Alternatives and similar repositories for fbleau:

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

• acmccs / format
  ACM consolidated LaTeX styles
  ☆65Updated 5 years ago
• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆686Updated this week
• idramalab / latex-101
  ☆19Updated last year
• s2labres / transcendent-release
  ☆18Updated last year
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆130Updated 3 months ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆58Updated 5 years ago
• EQuiw / code-imitator
  ☆29Updated last year
• surrealyz / pdfclassifier
  On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542
  ☆29Updated 3 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆64Updated 5 years ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆57Updated 4 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆68Updated 6 months ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 7 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆118Updated 3 years ago
• pwwl / enhanced-binary-diversification
  Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"
  ☆49Updated 9 months ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆33Updated last year
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆18Updated last year
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆20Updated 4 years ago
• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆20Updated 4 years ago
• columbia / pixeldp
  ☆64Updated 5 years ago
• gchers / wfes
  A framework for evaluating Website Fingerprinting attacks/defences, accompaining the paper "Bayes, not Naïve: Security Bounds on Website …
  ☆24Updated 8 months ago
• ClonedOne / MalwareBackdoors
  Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
  ☆57Updated 2 years ago
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆27Updated 3 years ago
• Henrygwb / Explaining-DL
  ☆55Updated 5 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆345Updated this week
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 7 years ago
• sunblaze-ucb / privguard-artifact
  Artifact of PrivAnalyzer as described in the Usenix 2022 paper "PrivGuard: Privacy Regulation Compliance Made Easier"
  ☆13Updated 3 years ago
• Sanghyun-Hong / DeepRecon
  [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks
  ☆19Updated 5 years ago
• Henrygwb / deepvsa
  ☆44Updated 2 years ago