franziskuskiefer/rust-hacl-star

Stars
27
Rank 903,471 (Top 18 %)
Language
Rust
License
MIT License
Created about 7 years ago
Updated over 4 years ago

franziskuskiefer/rust-hacl-star

franziskuskiefer

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

app-keys-gnome-shell-extension

Unity-like shortcuts for gnome dock applications

evercrypt-rust

Rust bindings for HACL & Evercrypt

hpke-rs

Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)

CertificateFuzzer

Certificate Fuzzer based on the work by Johannes Roth (cryptosource)

wunderlist-calendar

A simple Wunderlist-GoogleCalendar script to show ToDos in Google Calendar

cose-rust

A Rust library for COSE

pq-tls-draft

Description of experimental Post-Quantum key-exchange in TLS

wrapping-arithmetic

Rust proc macro to make arithmetic in functions wrapping

firefox-rawgit

rawgit button extension for firefox

cbor-rust

CBOR library written in Rust

WebAppCreator

easily create Chrome web apps

CryptoPapers

A collection of bibtex files with crypto papers, tagged and arranged

rca

Rust Cryptography Architecture (RCA)

cose-c-api

A C API for https://github.com/franziskuskiefer/cose-rust

extra-gnome-panel

GNOME Shell extension to display a panel on every monitor

cose-verifier-cpp

An example of how to use the cose-rust library

blake2b-rust

security-monitoring

A set of tools to monitor security of websites and API endpoints

nss-rust

tls-srp

Examples

Bunch of examples

nss-examples

Repo with example code and documentation for NSS