My master thesis on Whitebox cryptography & AES Whitebox schemes.
-
Updated
Jul 15, 2014 - TeX
My master thesis on Whitebox cryptography & AES Whitebox schemes.
Messing around with propositional logic in Agda
A proof of confluence for combinatory logic
Just some of my CS Proofs, things like why `k << 1 == k * 2`
Fully proved small C functions (examples for verification course).
Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Recolección de teoría, teoremas y demostraciones
A collection of notes, summary sheets, and homework for UCSB's complex analysis series.
generates a truth table from a boolean expression
Experiments for extracting justifications from proofs.
Homeworks for math logic course in ITMO University
Repository to upload my own proofs of concept and some code examples
Zcash Redux - Redux helper for connecting to Zcash Daemon
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."