gitlab.inria.fr / meta-blipp 1 Dépôt
Projects that were previously owned by Benjamin Lipp's Inria user
meta-blipp/proverif
ProVerif symbolic protocol verifier
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
meta-blipp/cv2fstar-material
Supplementary material for the cv2fstar of my PhD thesis
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
meta-blipp/ip1-python-2019
Matériaux pour le TP de IP1-Python à Paris Diderot en année universitaire 2019-20.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
meta-blipp/talks
LaTeX and other sources of my talks
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0