Pinned Repositories
coco-alma
CocoAlma is an execution-aware tool for formal verification of masked implementations
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
cxxsat
Enhanced C++ Interface for Sat Solvers
jsrunner
A simple python utility for running javascript in the command line with a real browser engine.
nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
quantile
Quantile is a quantitative verification framework for masked hardware implementations
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.
vedadux's Repositories
vedadux/cxxsat
Enhanced C++ Interface for Sat Solvers
vedadux/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.
vedadux/jsrunner
A simple python utility for running javascript in the command line with a real browser engine.
vedadux/aes-dom
DOM Protected Hardware Implementation of AES
vedadux/AES_masked_BRAM
Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)
vedadux/AES_TIs
Smaller and Faster First-Order DPA Resistant AES Implementations with Less or No Fresh Randomness
vedadux/caqe
CAQE is a solver for quantified Boolean formulas
vedadux/configurable-LED
The LED Block Cipher
vedadux/dxr
An intelligent source code browser
vedadux/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
vedadux/quantile
Quantile is a quantitative verification framework for masked hardware implementations
vedadux/ches-tutorial-2024
vedadux/llvm-project
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.
vedadux/LLVMSMTBackend
This is an LLVM backend to SMT formulas
vedadux/pysat
A toolkit for SAT-based prototyping in Python
vedadux/riscv-disassembler
RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC
vedadux/Stockfish
UCI chess engine
vedadux/sweb
SWEB Educational OS
vedadux/vodice-2024-tutorial