vedadux Goto Github PK

followers: 16.0 following: 11.0 repos: 17.0 gists: 0.0

Name: Vedad Hadžić

Type: User

Vedad Hadžić's Projects

aes-dom

DOM Protected Hardware Implementation of AES

aes_masked_bram

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

aes_tis

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

caqe

CAQE is a solver for quantified Boolean formulas

jsrunner

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

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.

llvmsmtbackend

This is an LLVM backend to SMT formulas

nanoqbf

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

pysat

A toolkit for SAT-based prototyping in Python

quantile

Quantile is a quantitative verification framework for masked hardware implementations

riscv-disassembler

RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC

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.