Tamarin prover
Marco Calipari
marcoCalipari
Ms. Student at TUM.
Currently master thesis student at ESI Chair.
Interested in: IoT, WoT, IoT security
TUM Munich
Vladyslav
vlady5lav
Science & Tech Enthusiast
Hobbyist Developer & System Administrator Andromeda Galaxy, Local Group, Virgo Supercluster, Laniakea Supercluster
Junlin He
hhhguany
(*￣3￣)╭ @RyiLiu
Henry Rò Mantic
University of Chinese Academy of Sciences Beijing
Computer button pusher // Pousseur de boutons en informatique || SIN - SIN HACK - HACK || NO-CODE evangelist || Black coffee like my sense of humor
Saltinbank-SyS
I really don't know what iam doing
but iam trying to do it well -
DISCLAIMER BE AWARE
U should know what U are doing
because tools on my repo are dangerous.
Dufond Lajoie La Gaulle
