tfaoliveira

tfaoliveira's Stars

• sandbox-quantum/sandwich

  Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cryptographic libraries in their applications.

  Language:Rust1088

• zingaburga/alderlake_avx512

  Info on enabling AVX-512 on Alder Lake

  392

• awslabs/s2n-bignum

  Language:OCaml12421

• intelxed/xed

  The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

  Language:Python1.4k146

• openssl/openssl

  TLS/SSL and crypto library

  Language:C25.8k10.1k

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.3k1.7k

• haslab/libjbn

  BigNums library for Jasmin

  Language:C4

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml31749

• formosa-crypto/libjade

  Crypto library

  Language:C5220

• formosa-crypto/libjbn

  BigNums library for Jasmin

  Language:eC51

• airbus-seclab/c-compiler-security

  Security-related flags and options for C compilers

  Language:Python18416

• SRI-CSL/high-assurance-crypto

  This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

  Language:eC101

• supranational/blst

  Multilingual BLS12-381 signature library

  Language:Assembly470177

• fmlab-iis/cryptoline

  Language:OCaml416

• haslab/ccomp-simd

  SIMD extensions for ccomp

  Language:C31

• algorand/bls_sigs_ref

  Algorand's reference implementation of bls signature scheme

  Language:Python5013

• oltpbenchmark/oltpbench

  Database Benchmarking Framework

  Language:Java401267

• joeyespo/grip

  Preview GitHub README.md files locally before committing them.

  Language:Python6.5k424

• kste/cost2018

  Code samples for the COST Training School on Symmetric Cryptography and Blockchain

  Language:Python61

• haslab/HAAP

  Haskell Automated Assessment Platform

  Language:Haskell81

• encryptedsystems/Clusion

  A searchable encryption library from the Encrypted Systems Lab @ Brown University.

  Language:Java19455

• kevinlewi/fastore

  An Implementation of Order-Revealing Encryption

  Language:C9025

• intel/libipt

  libipt - an Intel(R) Processor Trace decoder library

  Language:C666151

• hpacheco/jasminv

  Jasmin Verification Tools

  Language:Haskell2

• jasmin-lang/jasmin

  Language for high-assurance and high-speed cryptography

  Language:Coq26855

• couchbase/forestdb

  A Fast Key-Value Storage Engine Based on Hierarchical B+-Tree Trie

  Language:C++1.3k173

• LeanderBB/YAAF

  Yet Another Archive Format - Archive format designed for fast compressed data unpacking

  Language:C4