Pinned Repositories
APTE
Algorithm for Proving Trace Equivalence
APTE
Algorithm for Proving Trace Equivalence
BikeInParis
BikeInParis is a simple webapp (written in PHP/JS) that you can put on your own server and that gives you infos on the nearest velib (bike rental in Paris) stations via the REST API.
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
tlspuffin
A symbolic-model-guided fuzzer for TLS
UKano
UKano: UnlinKability and ANOnymity verifier
webtext
Web for old phones through a Raspberry Pi
tlspuffin
A Dolev-Yao-model-guided fuzzer for TLS
LCBH's Repositories
LCBH/UKano
UKano: UnlinKability and ANOnymity verifier
LCBH/webtext
Web for old phones through a Raspberry Pi
LCBH/APTE
Algorithm for Proving Trace Equivalence
LCBH/BikeInParis
BikeInParis is a simple webapp (written in PHP/JS) that you can put on your own server and that gives you infos on the nearest velib (bike rental in Paris) stations via the REST API.
LCBH/BulletinBoard-CSF21
Companion technical report and TLA+ proofs for the paper "Fixing the Achilles Heel of E-Voting: The Bulletin Board" published at IEEE Computer Security Foundations 2021.
LCBH/deepsec
DEciding Equivalence Properties in SECurity protocols
LCBH/gitlabhq
GitLab is version control for your server
LCBH/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
LCBH/tlspuffin
A symbolic-model-guided fuzzer for TLS
LCBH/kresusIn
Get rich, or die codin'
LCBH/lucca-hirschi
LCBH/LuccaHirschi
LCBH/openssl-src-rs
Source code and logic to build OpenSSL from source
LCBH/pssi
Automatically exported from code.google.com/p/pssi
LCBH/pycobertura
A code coverage diff tool for Cobertura reports
LCBH/reference_implementation
LCBH/rust-openssl
OpenSSL bindings for Rust
LCBH/rustls
A modern TLS library in Rust
LCBH/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
LCBH/wolfssl
The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!
LCBH/wolfssl-src-rs
Rust crate providing the source of wolfSSL and logic to build it.
LCBH/wolfssl-sys
A low level Rust binding for WolfSSL