Alternatives and similar repositories for dblpbibtex:

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

• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• fast-crypto-lab / Frobenius_AFFT
  Frobenius Additive Fourier Transform
  ☆13Updated 2 months ago
• defeo / ffisom
  A research project on isomorphisms of finite fields
  ☆16Updated 6 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 8 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 3 years ago
• misc0110 / LiveTikZ
  A live preview for TikZ drawings
  ☆21Updated 2 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• ranea / whiteboxarx
  Implicit White-box Implementations of ARX Ciphers
  ☆14Updated 2 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 2 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• solegga / computer-security-class
  Computer Security Class - Department of Informatics and Telecommunications, University of Athens
  ☆12Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• zardus / paper-templates
  A set of templates for different academic venues.
  ☆27Updated 5 years ago
• 5GenCrypto / obfuscation
  Implementation of cryptographic program obfuscation
  ☆41Updated 7 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 3 months ago
• CryptoExperts / breaking-winning-challenges-of-whibox2019
  ☆14Updated 4 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆49Updated 5 years ago
• crocs-muni / eacirc
  Automatic problem solver based on circuit-like representation and genetic programming
  ☆13Updated 7 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated 2 months ago
• eylonyogev / Where-s-That-Paper-
  A Chrome extension that automatically adds viewed academic papers to your favorites.
  ☆16Updated 6 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆18Updated 2 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago