Beast code in Giters

Maria Eichlseder's starred repositories

HotCRP_MILP

Simple scripts to do paper assignment for HotCRP using a MILP solver

Language:PythonCC0-1.0200

CASCADA

A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.

Language:PythonMIT2700

bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

Language:C++NOASSERTION6400

ascon-c

Ascon - Lightweight Authenticated Encryption & Hashing

Language:CCC0-1.017100

iacrtrans

LaTeX class for the IACR Transactions on Symmetric Cryptology

Language:PostScriptCC0-1.02700

Lightweight-Cryptography-Benchmarking

Language:C4900

arc-theme

A flat theme with transparent elements (actively maintained fork)

Language:SCSSGPL-3.088300

lightweight-crypto

NIST Lightweight Cryptography Primitives

Language:CMIT5200

Code package for ISAP, a family of lightweight authenticated encryption algorithms designed with a focus on robustness against implementation attacks that is currently competing in the final round of NIST's standardization effort for lightweight authenticated encryption schemes.

Language:CCC0-1.0700

fontawesome-latex

LaTeX mappings for Font Awesome, the icons font

Language:Python29800

pyascon

Language:Python100

tugPoster

LaTeX Document Class for nice Posters

Language:TeXGPL-3.0800

bt_differential_cryptanalysis_of_simpirav1

Language:C++100

sphincs-256

Reference and AVX2 optimized implementations of SPHINCS-256, accompanying the EUROCRYPT 2015 paper "SPHINCS: practical stateless hash-based signatures"

Language:Assembly600