Passionate about formal verification, binary analysis, and secure protocol design, side-channel analysis, reverse engineering, and secure compiler development ☺
-
CISPA Helmholtz Center for Information Security
- Saarbrücken, Germany
-
14:01
(UTC +01:00) - https://orcid.org/0009-0005-3659-7755
- in/faezeh-nasrabadi