PhD Student in Formal Hardware Verification for Security. I also like to write very short and obfuscated Python programs for fun.
-
RPTU Kaiserslautern-Landau
- https://code.golf/golfers/Seek64
Pinned Loading
-
RPTU-EIS/Security-Conscious-Hardware
RPTU-EIS/Security-Conscious-Hardware PublicCollection of experiments on data-oblivious hardware designs that dynamically adjust their latency
-
-
-
Cube-Puzzle
Cube-Puzzle PublicA solver for a logic puzzle in which the goal is to form a cube from 25 identical pieces.
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.