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
  ☆67Updated 6 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated 11 months ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 9 months ago
• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆711Updated this week
• gchers / wfes
  A framework for evaluating Website Fingerprinting attacks/defences, accompaining the paper "Bayes, not Naïve: Security Bounds on Website …
  ☆25Updated 11 months ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆146Updated 2 months ago
• idramalab / latex-101
  ☆19Updated last year
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆15Updated 4 years ago
• idramalab / arxiv_script
  A single script to facilitate submitting papers to ArXiv.org
  ☆17Updated 7 years ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 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
• Sanghyun-Hong / DeepRecon
  [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks
  ☆20Updated 5 years ago
• s2labres / tesseract-ml-release
  Code library for the Tesseract framework from 'TESSERACT: Eliminating experimental bias in malware classification across space and time'
  ☆12Updated 5 months ago
• surrealyz / pdfclassifier
  On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542
  ☆29Updated 3 years ago
• sancus-tee / vulcan
  Vehicular component authentication and software isolation
  ☆11Updated 3 years ago
• srndic / mimicus
  A library for adversarial classifier evasion
  ☆42Updated 10 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆66Updated 5 years ago
• isec-tugraz / cache_template_attacks
  This repository contains several tools to perform Cache Template Attacks
  ☆150Updated last year
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 3 years ago
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆19Updated last year
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆101Updated 5 months ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• UzL-ITS / obelix
  Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.
  ☆11Updated 11 months ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆31Updated 7 years ago
• s2labres / transcendent-release
  ☆22Updated last year
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆16Updated last year
• USENIX-Security-2025 / conference-format
  ☆19Updated last year
• Henrygwb / Explaining-DL
  ☆55Updated 5 years ago
• pwwl / enhanced-binary-diversification
  Code for the AsiaCCS 2021 paper: "Malware makeover: Breaking ML-based static analysis by modifying executable bytes"
  ☆51Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆36Updated last year