lcbh Goto Github PK
Type: User
Bio: Lucca Hirschi
Location: Nancy, France
Type: User
Bio: Lucca Hirschi
Location: Nancy, France
Algorithm for Proving Trace Equivalence
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.
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.
DEciding Equivalence Properties in SECurity protocols
GitLab is version control for your server
Get rich, or die codin'
Source code and logic to build OpenSSL from source
Automatically exported from code.google.com/p/pssi
A code coverage diff tool for Cobertura reports
OpenSSL bindings for Rust
A modern TLS library in Rust
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Main source code repository of the Tamarin prover for security protocol verification.
A symbolic-model-guided fuzzer for TLS
UKano: UnlinKability and ANOnymity verifier
Web for old phones through a Raspberry Pi
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!
Rust crate providing the source of wolfSSL and logic to build it.
A low level Rust binding for WolfSSL
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.