Stay awhile and listen.
๐จ๐พ PhD Student @ UoG - Privacy Preserving Technologies
- London, UK
- https://medium.com/@apogiatzis
Highlights
- Pro
Stars
- All languages
- Assembly
- BlitzBasic
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- Cython
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Kotlin
- LLVM
- Linear Programming
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- MiniZinc
- Move
- Nim
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- Roff
- Ruby
- Rust
- Sage
- Scala
- Scheme
- Shell
- Sieve
- Solidity
- Standard ML
- Swift
- TeX
- TypeScript
- V
- WebAssembly
1
star
written in MiniZinc
Clear filter
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2