Alternatives and similar repositories for libfixedtimefixedpoint:

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

• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• coron / htable
  High-order countermeasures for AES and DES
  ☆25Updated 7 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆29Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 5 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆179Updated 8 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆49Updated 8 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• rben-dev / lightweight-crypto-lib
  Some lightweight cryptography algorithms optimized for x86
  ☆22Updated 2 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 8 years ago
• crdelozier / ironclad
  Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…
  ☆18Updated last year
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆71Updated 2 weeks ago
• dansarie / sboxgates
  Program for finding low gate count implementations of S-boxes.
  ☆39Updated 5 months ago
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆44Updated 10 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆35Updated last year
• 5GenCrypto / obfuscation
  Implementation of cryptographic program obfuscation
  ☆41Updated 7 years ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago