mi-ki
Researcher in formal methods @kastel-security. (he/him)
Karlsruhe Institute of Technology (KIT)Karlsruhe, Germany
Pinned Repositories
key
KeY Theorem Prover for Deductive Java Verification
Bachelorarbeit_Pascal_Gabriel_2018
cardCryptoVerification
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 bounds on card-minimal protocols.
cbmc
C Bounded Model Checker
disproveJavaDataDepViaKeyAndJoanaGui
JoanaKeyGui
mi-ki
PostDoc CS researcher @KIT 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.
minisat
A minimalistic and high-performance SAT solver
PSE-DIbugger
PSE Projekt: Entwicklung eines relationalen Debuggers
voting-rule-argumentation
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
mi-ki's Repositories
mi-ki/cardCryptoVerification
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 bounds on card-minimal protocols.
mi-ki/voting-rule-argumentation
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
mi-ki/Bachelorarbeit_Pascal_Gabriel_2018
mi-ki/cbmc
C Bounded Model Checker
mi-ki/disproveJavaDataDepViaKeyAndJoanaGui
mi-ki/JoanaKeyGui
mi-ki/mi-ki
PostDoc CS researcher @KIT 🇩🇪. Interested in the efficient application of formal methods for making collective decision aggregation trustworthy.
mi-ki/minisat
A minimalistic and high-performance SAT solver
mi-ki/PSE-DIbugger
PSE Projekt: Entwicklung eines relationalen Debuggers