Skip to content
View mi-ki's full-sized avatar
5 followers · 30 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@KeYProject @VeriVote @kastel-security
Block or Report

Block or report mi-ki

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mi-ki/README.md

PostDoc CS researcher @KIT 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.

Popular repositories

  1. cardCryptoVerification cardCryptoVerification Public

    This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest b…

    C 5 1

  2. voting-rule-argumentation voting-rule-argumentation Public

    Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.

    C 2 1

  3. JoanaKeyGui JoanaKeyGui Public

    Forked from bigolol/JoanaKeyGui

    Java

  4. disproveJavaDataDepViaKeyAndJoanaGui disproveJavaDataDepViaKeyAndJoanaGui Public

    Forked from bigolol/disproveJavaDataDepViaKeyAndJoanaGui

    Java

  5. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    SWIG

  6. minisat minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++