adbrucker@0x5f.org · https://vutuv.de/achim_d_brucker
Gender: Male
DAST · Formal Methods · Isabelle/HOL. AppSec · research · SAST · SML · verification