mi.ki
mi-ki
Researcher in formal methods @lmu @kastel-security. (he/him)
Ludwig-Maximilians-Universität (LMU) Munich Munich, Germany
John Dziurlaj
JDziurlaj
Election technology modernization, security and interoperability
@HiltonRoscoe Akron, Ohio