cr-marcstevens / dblpbibtex

Related projects ⓘ

Alternatives and complementary repositories for dblpbibtex

• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• fast-crypto-lab / Frobenius_AFFT
  Frobenius Additive Fourier Transform
  ☆12Updated 6 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆53Updated 5 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆22Updated 2 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆26Updated last year
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆56Updated 2 months ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• GeorgeArgyros / mt_derand
  Although the Mersenne Twister PRNG is by design not cryptographically secure many applications tend to use it for cryptographic operation…
  ☆27Updated 9 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆40Updated last week
• ranea / whiteboxarx
  Implicit White-box Implementations of ARX Ciphers
  ☆13Updated 2 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 6 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆17Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 4 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• ajtulloch / LaTeX2Markdown
  An AMS-LaTeX compatible converter that maps a subset of LaTeX to Markdown/MathJaX.
  ☆43Updated 11 years ago
• johnlcf / Stana
  Stana - A strace output parser and analyser
  ☆33Updated 6 years ago
• kutio / liblll
  python library to manage and reduce lattices
  ☆21Updated 7 years ago
• CryptoExperts / whibox_contest_submission_server
  Source code of the Whitebox Contest Submission Server
  ☆35Updated 3 months ago
• henningpohl / latex-emoji
  ☆25Updated 2 years ago
• acmccs / acmccs.github.io
  Program Chair's Website for CCS 2017
  ☆12Updated 2 years ago
• gtank / defcon25_crypto_village
  Materials accompanying "Implementing an Elliptic Curve in Go"
  ☆13Updated 7 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆24Updated last month
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆27Updated 2 months ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago