InputLab

A CISPA Spin-Off

InputLab is a spin-off in foundation of the CISPA Helmholtz-Center for Information Security. Our business is the massive generation of high-quality test inputs based on schema files for testing the security and reliability of complex systems. We will be fully established in the fall of 2024 and become an independent company before fall 2025. Contact us if you want to work with us as a team member or an early adopter!

And now, please meet our team.

Dominic Steinhöfel
Dr. Dominic Steinhöfel

is PostDoc at CISPA. He has a strong background in formal methods and deductive program verification, is expert in constraint solving, and the inventor of the ISLa tool for systematic testing with formal language models.

Martin Eberlein
Martin Eberlein

is Ph.D. candidate at HU Berlin. He comes with years of experience in data format standardization. His scientific experience comprises the automatic extraction of input properties with AI-based methods.

Stanimir Iglev
Stanimir Iglev

is doing his M.Sc. at CISPA. In his B.Sc./M.Sc. theses on XML fuzzing, he demonstrated for the first time that it is possible to generate valid and diverse XML documents at scale. He has practical experience in IT security.

Fynn Weyrich
Fynn Weyrich

is a Master's student at the London School of Economics. Thanks to his years of experience developing software in close cooperation with customers, he comes with all the skills to effectively work with our collaboration partners.

Andreas Zeller
Prof. Dr. Andreas Zeller

is a faculty at CISPA, professor at UdS, and the scientific mentor of InputLab. His impactful, award-winning research on dynamic security testing provide the foundations of InputLab's solid scientific background.

The InputLab Team at Schloss Dagstuhl in January 2024: Andreas Zeller, Fynn Weyrich, Dominic Steinhöfel, Stanimir Iglev, and Martin Eberlein (from left to right)