Unterstütze Mert Torun, M.Sc.

My work concerns the conditions under which a system can be trusted. It covers the verification and validation of safety-critical systems, the hardening of enterprise infrastructure toward Zero Trust, and cryptographic architectures that make the integrity and authenticity of digital artifacts provable.

A premise of this work is that results should be reproducible and independently verifiable. Keeping them that way has a running cost: self-managed infrastructure, current cryptographic certificates, and physical test hardware. Support here goes toward those foundations, and so toward results that can be checked rather than taken on trust.

My publications include a refereed working paper setting out a verification methodology for retrofitted anti-skid systems in European public transport, a master's thesis on containerized execution environments for FPGA toolchains, and a bachelor's thesis on passwordless and keyless authentication. All three are listed on my ORCID record, which is linked on this page.

Whether you give once or monthly, thank you for helping sustain the work.