Who am I? I’m Milan Špinka (mspi).

I am a graduate Computer Security student at the Faculty of Information Technology of the Czech Technical University in Prague.

I currently (2024/10) work as a Malware researcher at Gen Digital (formerly Avast Software).

I have worked on security research concerning security assessment and secure utilization of open-source cryptographic libraries (see my thesis).

In the future, I would like to research stuff around automatic (machine) code deobfuscation, or generally recognition of code semantics (e.g. Rice’s theorem tells us that in general, any non-trivial semantic property of a function is undecideable, but I want to know to what extent we can decide properties of common (non-arbitrary) human-written code, or if it’s possible to at least in some way approximate the semantics and extract information that could be helpful e.g. in malware analysis.).

Some semesters, I teach C programming (Programming and Algorithmics I) or C++ programming (Programming and Algorithmics II) practicals at FIT CTU.

I enjoy reading up on science, making, breaking, reverse engineering and understanding stuff. It is my view that we must think deeply even about simple things.

I care about user empowerment and being in command of one’s online presence.

I sometimes write stuff for my blog.

$ whoami?
mspi.