- I'm currently working on projects in the domains:
- β Verifiable Crypto π
- β‘οΈ Side-Channel Resilient Post-Quantum Cryptology π
- π Encrypted Computing π₯οΈ
- In 2023, I've finished writing a π on "Theoretische Informatik fΓΌr IT-Sicherheit"
let &mut hias = &Some(1);
/// Some `Github`-projects I am able to publish
enum Github {
proof_of_concept,
implementations,
research_results,
};
- π± Iβm currently learning to make sounds on various percussion instruments π₯