lcbh Goto Github PK

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.

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.

deepsec

DEciding Equivalence Properties in SECurity protocols

gitlabhq

GitLab is version control for your server

kresusin

Get rich, or die codin'

lucca-hirschi

luccahirschi

openssl-src-rs

Source code and logic to build OpenSSL from source

pssi

Automatically exported from code.google.com/p/pssi

pycobertura

A code coverage diff tool for Cobertura reports

reference_implementation

rust-openssl

OpenSSL bindings for Rust

rustls

A modern TLS library in Rust

swot

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

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

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!

wolfssl-src-rs

Rust crate providing the source of wolfSSL and logic to build it.

wolfssl-sys

A low level Rust binding for WolfSSL