blipp

Post-doctoral researcher • Computer-aided cryptography

MPI-SP: Max Planck Institute for Security and PrivacyBochum, Germany

Pinned Repositories

arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Language:Python0 2 00
asciidoctor-latex
:triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX
Language:Ruby00
Atrium
Drupal based Intranet
Language:PHP01
cryptoverif-completion
Line Editing, History and Basic Completion for CryptoVerif's Interactive Mode
Language:Makefile1 3 00
hpke-analysis-material
Language:Shell3 4 00
LaTeX-report-template-CERN
Template in LaTeX for openlab Summer Student report at CERN
Language:TeX1 3 00
nix-everest
Nix expressions for Project Everest projects
Language:Nix1 3 01
openlab-openstack-trove-setup
Scripts on top of Packstack to install a test environment for OpenStack Trove
Language:Shell1 3 02
tram
Provides a better interface to the electronic timetables of Karlsruhe's trams
10
vim-spicy
Syntax highlighting for BinPAC++/Spicy files (.pac2/.spicy) in Vim
Language:Vim Script2 4 03

blipp's Repositories

blipp/hpke-analysis-material
Language:Shell3 4 00
blipp/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Language:Python0 2 00
blipp/cryptoverif-helpers
Language:Shell2 0
blipp/cryptoverif-vscode
1 0
blipp/db
CryptoBib Database for Developers
Language:TeX2 0
blipp/doctolib-covid
Vaccination appointments on Doctolib
blipp/draft-celi-wiggers-tls-authkem
Language:Makefile1 0
blipp/draft-connolly-cfrg-hpke-mlkem
Internet draft for pure post-quantum ciphersuites for HPKE (RFC9180) based on ML-KEM-768 and ML-KEM-1024.
Language:Makefile
blipp/draft-irtf-cfrg-hpke
Hybrid Public Key Encryption
Language:Makefile2 0
blipp/easycrypt-doc
EasyCrypt documentation
Language:TeX1 0
blipp/everest
Language:Shell2 0
blipp/FairEmail
Fully featured, open source, privacy friendly email app for Android
Language:Java2 0
blipp/Hackerspace-Design-Patterns
LaTeX-Beamer Sources for the Hackerspace Design-Patterns
blipp/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:Assembly2 0
blipp/HACS-workshop.github.io
High Assurance Cryptographic Software
Language:HTML1 0
blipp/hotcrp
HotCRP conference review software
Language:PHP2 0
blipp/i3-gnome-flashback
Support files for starting i3 in a GNOME-Flashback session
Language:Makefile2 0
blipp/ieeesp-timezone
Language:JavaScript2 0
blipp/IP1-Python
Anki cards complementary to the introductory programming course IP1-Python at Université de Paris
3 0
blipp/knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
Language:Python1 0
blipp/medito-app
The Medito app is a 100% free meditation app built with flutter. The app is available on Android and iOS.
blipp/nextcloud-tools
This project contains tools to operate Nextcloud.
Language:PHP1 0
blipp/org.project60.sepa
SEPA direct debit integration with civicrm
Language:PHP2 0
blipp/protocoleexquis
A Cryptographic Multi-Party Computation Party Game
Language:CSS3 0
blipp/proximity-tracing-survey
This repository serves to track a survey of proximity tracing proposals:
3 0
blipp/qmk-neo2
QMK Firmware layout intended to be used as a git submodule.
Language:C2 0
blipp/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C2 0
blipp/soutenance
Vérification de la procédure de soutenance de thèse
blipp/women-violence-and-technology
A place for the information that we find around how technology is used to enhance violence against women
2 0
blipp/YaLafi
Yet another LaTeX filter
Language:Python2 0