VladaSedlacek/mq-comparison-suite
A wrapper of MQ solver implementations, allowing a unified interface and performance comparison.
Theoretical mathematician, practical cryptologist, passionate science popularizer.
Repositories
VladaSedlacek/zephyr-biosurveillance-task
A work task for the Pivotal Biodefense fellowship.
VladaSedlacek/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
VladaSedlacek/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
VladaSedlacek/std-curves
Standard curve database.
VladaSedlacek/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
VladaSedlacek/efd
An export of the Explicit-Formulas Database.
VladaSedlacek/md-to-pdf
Hackable CLI tool for converting Markdown files to PDF using Node.js and headless Chrome.
VladaSedlacek/Circular-Units---Diploma-Thesis
Circular units of real abelian fields with four ramified primes.
VladaSedlacek/pv080-bugs
VladaSedlacek/go-analysis
The goal of the repository is to analyze Go language (fork at: https://github.com/golang/go) in regards to RSA and ECC keys generation. It's part of an assignment for PV204 Security Technologies course at Faculty of Informatics in Brno (CZ, spring 2019).
VladaSedlacek/wolfssl-examples
Example applications using the wolfSSL lightweight SSL/TLS library
VladaSedlacek/wolfssl
wolfSSL (formerly CyaSSL) is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!