Pinned Repositories
bam-bam-boogieman
cryptolib
cs-uob.github.io
Github page for the Department of Computer Science, University of Bristol
ct-bench
A repository of examples and benchmarks for constant-time verification tools.
docker-texlive
An alpine base for continuous typesetting, with texlive-full and biber.
du-mb-bpriv
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
FStar
Verification system for effectful programs
opam-repository
Package descriptions for OPAM
yao
fdupress's Repositories
fdupress/opam-repository
Package descriptions for OPAM
fdupress/yao
fdupress/bam-bam-boogieman
fdupress/cryptolib
fdupress/cs-uob.github.io
Github page for the Department of Computer Science, University of Bristol
fdupress/ct-bench
A repository of examples and benchmarks for constant-time verification tools.
fdupress/docker-texlive
An alpine base for continuous typesetting, with texlive-full and biber.
fdupress/du-mb-bpriv
fdupress/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
fdupress/FStar
Verification system for effectful programs
fdupress/jasmin
Jasmin compiler
fdupress/labcode
Starter code for the COMS20007 practical lab sheets.
fdupress/libfixedtimefixedpoint
A library for doing constant-time fixed-point numeric operations
fdupress/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
fdupress/smack
SMACK: A Bounded Software Verifier for C Programs