Beast code in Giters

Vedad Hadžić's repositories

cxxsat

Enhanced C++ Interface for Sat Solvers

Language:C++MIT3 10

simplemod

A small extendable linux kernel module based on ioctl calls. Extending the module is as simple as adding a new ioctl constant, and handling it in the kernel module.

Language:CMIT2 10

jsrunner

A simple python utility for running javascript in the command line with a real browser engine.

Language:PythonGPL-3.0100

aes-dom

DOM Protected Hardware Implementation of AES

Language:VHDL000

AES_masked_BRAM

Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)

Language:VerilogNOASSERTION000

AES_TIs

Smaller and Faster First-Order DPA Resistant AES Implementations with Less or No Fresh Randomness

Language:Verilog000

caqe

CAQE is a solver for quantified Boolean formulas

Language:Rust010

dxr

An intelligent source code browser

Language:PythonMIT010

nanoqbf

A minimal implementation of an expansion-based QBF solver which does not use recursion.

Language:C++GPL-3.001 4

quantile

Quantile is a quantitative verification framework for masked hardware implementations

Language:VerilogApache-2.0000

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

000