isec-tugraz / drawio2tikz
drawio2tikz - a tool to translate drawio xml files to readable and adaptable tikz code
☆31Updated last year
Alternatives and similar repositories for drawio2tikz:
Users that are interested in drawio2tikz are comparing it to the libraries listed below
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆33Updated 8 months ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆18Updated 5 years ago
- Calculate the AES-128 key schedule given any round key☆30Updated last year
- Side-Channel Analysis Library☆84Updated this week
- ☆48Updated 11 months ago
- SILVER - Statistical Independence and Leakage Verification☆14Updated 2 years ago
- Library for Polynomial System Solving through Algebraic Methods☆122Updated last month
- Implementation of the fastest ISD algorithms☆21Updated 2 months ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆24Updated 2 weeks ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- A script to check for common mistakes in LaTeX source files of scientific papers.☆25Updated last year
- Program for finding low gate count implementations of S-boxes.☆39Updated 6 months ago
- CHES 2022 White-box Cryptography Tutorial☆20Updated 2 years ago
- Automated cryptanalysis of substitution permutation network cipher☆30Updated 7 months ago
- SageMath/Python Toolkit for Cryptanalytic Research☆39Updated 2 years ago
- SMT based attacks on non cryptographic PRNGs☆80Updated 2 years ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆22Updated 3 weeks ago
- ☆15Updated 4 months ago
- A repository of tools for verifying constant-timeness☆18Updated 2 months ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 11 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆44Updated last year
- Verilog Hardware Design of Ascon☆22Updated this week
- ☆14Updated 4 years ago
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆44Updated 2 weeks ago
- Nord beamer theme☆97Updated 2 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆39Updated last year
- ☆30Updated last year
- Detect common mistakes in academic papers☆61Updated 6 years ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆14Updated last year
- ☆22Updated 5 years ago