Hallo, ich bin Felix Dörre. Wenn du mich suchst, um mit mir zu kommunizieren kannst du dieses Kontaktformular benutzen.

• Proseminar: Attacks on Random Number Generators
• Paper for VSTTE2015: Pseudo-Random Number Generator Verification: A Case Study
• Bachelor Thesis: Verification of Random Number Generators

English Version