Pinned Repositories
gga-unbounded
Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
autodiff
Tool prototype for indifferentiability analysis
D3-Chess
Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
deadpos
A tool for analyzing chess compositions based on dead reckoning
ggm-primitives
Implementation of cryptographic primitives that are secure in the Generic Group Model
ggm-symbolic-solver
This solver allows to analyze symbolic experiments to prove security of cryptographic constructions in the generic group model.
sherlock
A chess library written in Rust, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis.
sherlock-ocaml
A chess library written in OCaml, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis
cont-pay
Zero-Knowledge Contingent Payment (zkCP) is a prototype tool associated to the paper "WI is Almost Enough: Contingent (Service) Payment All Over Again" at ACM CCS 2020.
miguel-ambrona's Repositories
miguel-ambrona/D3-Chess
Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
miguel-ambrona/sherlock
A chess library written in Rust, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis.
miguel-ambrona/deadpos
A tool for analyzing chess compositions based on dead reckoning
miguel-ambrona/sherlock-ocaml
A chess library written in OCaml, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis
miguel-ambrona/ggm-primitives
Implementation of cryptographic primitives that are secure in the Generic Group Model
miguel-ambrona/ggm-symbolic-solver
This solver allows to analyze symbolic experiments to prove security of cryptographic constructions in the generic group model.
miguel-ambrona/abe-relic
miguel-ambrona/autodiff
Tool prototype for indifferentiability analysis
miguel-ambrona/automatic-zk
miguel-ambrona/chess-everest-tropic
Tool for designing, analyzing and solving retrospective chess compositions
miguel-ambrona/indiff
Indifferentiability analysis
miguel-ambrona/indifferentiability
Library for automated analysis on the indifferentiability of symmetric-key cryptographic primitives from random functions/permutations with a special emphasis on automated synthesis of attacks.
miguel-ambrona/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
miguel-ambrona/lila-5.2.2-6.9
Trying to create a program that accomplish with laws of chess 5.2.2 and 6.9
miguel-ambrona/miguel-ambrona.github.io
My personal webpage
miguel-ambrona/Sozi-website
The website of the Sozi project.
miguel-ambrona/web-gui
A browser GUI for your pretty-printing the output of your programs, based on websockets.