-
University of Waterloo
- Waterloo,ON, Canada
Pinned Loading
-
GurobiOnCryptanalysis
GurobiOnCryptanalysis PublicThe accompanying code for the article "A cautionary note on the use of Gurobi for cryptanalysis".
-
MILP_DivisionProprerty_LinearLayer
MILP_DivisionProprerty_LinearLayer PublicCode for the paper "On MILP-based Automatic Search for Bit-Based Division Property for Ciphers with (large) Linear Layers", ACISP 2021
-
Lelantos-Smart-Contract
Lelantos-Smart-Contract PublicCode for the paper "Lelantos: A blockchain-based anonymous physical delivery system", IEEE PST 2017
-
zkSNARK-Open-Vote-Network
zkSNARK-Open-Vote-Network PublicCode for the paper "Dispute-free Scalable Open Vote Network using zk-SNARKs", FC 2022 - WTSC'22
-
Faster-edDSA-Verification-hEEA_q
Faster-edDSA-Verification-hEEA_q PublicCode for the paper "Accelerating EdDSA Signature Verification with Faster Scalar Size Halving", TCHES - CHES 2025
C 2
-
zk-Evote-HTLP
zk-Evote-HTLP PublicCode for the paper "Self-Tallying E-Voting Using Homomorphic Time-Lock Puzzles and ZK-SNARKs", IEEE TNSE
Solidity
If the problem persists, check the GitHub status page or contact support.