About Me

I am a PhD student at the Technical University of Munich, supervised by Prof. Pramod Bhatotia. I am interested in compilers, security, programming languages, and more. See my publications for more details.

I graduated at TUM with a Master’s degree in 2024, after completing my Bachelor’s in 2022. For more information, see my CV.

In my free time, I like to go running, biking, or enjoying nature.

Theses

For potential thesis/guided research topics, see this list.

Contact

I use the following GPG key to sign my commits and emails. Retrieve it using WKD (gpg --locate-keys martin@finkmartin.com) or copy it from below.

pub   rsa4096 2020-01-05 [SC] [expires: 2027-01-05]
      FE42 E558 7A3E F78C 51F1  F2CD 9686 B08D 7080 9FDB
uid           [ultimate] Martin Fink <martin@finkmartin.com>
uid           [ultimate] Martin Fink <martinfink99@gmail.com>
uid           [ultimate] Martin Fink <m@finkmartin.com>
sub   rsa4096 2020-01-05 [E] [expires: 2027-01-05]
PGP Key
-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBF4SV6QBEADNlB9eR4vXdeyKZDoOhATmq0k/o7pIFhjLYNskWzovyWaRfnrg
c1+pJLxWqqVsbXyGcqxoEZITm9MOGnc5m7MbPTVYX19MtS+nd7XBUssiz/V1ym2+
FNT2D8zEy4ehwmsl4btQwMtKBVd7kcFHczSyucstX/aAuMpT3h0G3zzR2DOeo4mg
6V2iUz/m36ESSW4P5Dur2OdWvC4se1fmiyJ/6H9Oe3aS2klq2RvTXiPu0Y02zp20
z2IQrVTlObsEvVvabv18CizlC35L2wlGr+xFDSXFugFjpz/uiP3QQk6bIqhlqjv3
nAYj+tsqZEsS1yEw38mRip148xxim9BvYMUyP4OJb2lRjzS+39rF3T1EqzpRQDdK
B/I3jMOwsiuVMLp3rQzzL22c0DG1J3DnqOeK+8wwiKdPvwg77IxRuaaFTfPMJVK1
+BcjJY31bLpgBoyQwduKIhItkLv+LxrqlATgm/aiX6SYPHpAKwjDhd2cg/pIWdlc
enh0pQxS6e83yKMzMQgMywVBPldR7Lj6r4M9i5LixihTkEFkPHM9uwkc1yPWPtYB
DQzMIFmA5RDjhw3+w+n96IhL2tf6OhJE11PciLlwatsn+Gl4B3MC8KIK5eMa2y2T
m/REuNJzDBbsZCg3KS3MjqxCHnWrXWpkrJ1/t9bVGXh5sUKPgJNztvN99QARAQAB
tCNNYXJ0aW4gRmluayA8bWFydGluQGZpbmttYXJ0aW4uY29tPokCVwQTAQgAQQIb
AwULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAIZARYhBP5C5Vh6PveMUfHyzZaGsI1w
gJ/bBQJlgAzCBQkNKwuAAAoJEJaGsI1wgJ/bVFkQAImhPfmyhIwsprmTKsKAnQjY
QaZcMR7PRp9d2t5OI5aa1UuHsBJ815ZeUzsRL4H6+UmhtXh6ODOuX+fARlqh4nq5
GIBeBXdi3aVhWmFYOdnSVYeXe2qJeUu+BwHXB6i2+V6WCvlDg+wxeSETS6zEwoDj
Lwcx0SMjX5+lGBzYWNCxMxGs6wFpq8JTf/vbSY2E4OUSfrpq6u+acuuGQwVpkTv2
bQTo0rsXIcUvVBUTBMCbxBFbJwyjWJ2oK6vOq4+6CZbs52eCM1YXlrb/cxZfBvTM
Z8bjYZZgOCon8U+kq5Oe4hJ3MqUQnPIfVYltdL6xMbjDKpIWvtVIFQwXYvoDuE7Q
n/8U2c4PWiKBBunmEaKtcwGhHe2NnYpFyXLMjLiZLw0K9XUseCxnRhBKRHmV7C0u
NR1VMSaj7Og5StjlAQyqBoxi2zJOZG7qQ/8wbcmxhp6ILBz8wH0Ga37XUhGz41gE
UQwwIYJDE1vRLQ8/9QshYehr5dLHU76UHlB1nJ6cZpYiItOEZj94MCDEi8DEUDAr
8OLcWsoYbZwlP4IhK2iZqMMsJRI2uhYr3EHQY/PAxha2U9eJZloQo096C/vROtjF
abLoEB0Z2ddsVOtKqmhDlErl7AzSNEP4kmK9miszmhhiG/DXcFbd0yILJPpsHUQ5
oQfWrnI/J9ygxmjZm2R2iKAEExYIAEgWIQQb9A1ohxST8QSsM4cJ8YUNWMer1AUC
Yynt5CoaaHR0cHM6Ly9qYW5waGlsaXAuYmVybml1cy5uZXQvMHg1OEM3QUJENC8A
CgkQCfGFDVjHq9RPEgEA5xrZVHMYcm/DMM8NvUmQ50Kd2zpwSIgjY4yOTOe4uvQB
AIgKWifoRMJAHZSvMc6WpU1mRhe2lVDgAJ/GNct2LFwHiQGzBBABCAAdFiEE1VZg
T1isY8Fbo+BdT4MFENZ5b1MFAmWeUDsACgkQT4MFENZ5b1MW5gv/bHTOJ0Ji22ne
o2h1xUkx4iyOMeEv00f1oR6zDC4uAWudSdFQxW/87/t9edHVgb1jth1rmDhbbk2F
B4PB9SwOzCjtPeDIQH10Rv2ftE9X6tIcK5h/2e+N+jiIo+axCDKU0Ff9K6KVp0vm
h3mQqqt/G157a+tPaL2ZZENxtApqGfHClHt3LU1EVeHxioJIXzo5G3pWLc1L4XUL
5lETl5gfVsGcjARz5FMDCJn7dca7wdBGIDSLrFViwZI+Ohw7UGFGuisodXUny3CU
dVeioaCgx2mCNUKPK/unc3a48VMcvoWNxy8WvvDbJeiaqig7TQlNfW7+dGHtBb+4
l8Zp0qKLZ4XTWYiJPQyeXbPdbqOY9yLVCPRcIXgdRiDmEJ7oUsoiHzyPZP24Xb39
9wAmIwnc08tua6BJ5NXEmzHxVOM0sB3COlvQH21NURWdHDM2UePjQaXL2uwapqpU
V4RgPLEbbV3fqp+PjmEQAFpWufettQ7sBcSgzPum99bqBRqP3BvYtCRNYXJ0aW4g
RmluayA8bWFydGluZmluazk5QGdtYWlsLmNvbT6JAlQEEwEIAD4CGwMFCwkIBwIG
FQoJCAsCBBYCAwECHgECF4AWIQT+QuVYej73jFHx8s2WhrCNcICf2wUCZYAMwgUJ
DSsLgAAKCRCWhrCNcICf29ghD/0Tou+Dk7i+TFXW2XOVXYC9gyBV293NgstK+3uP
+/+HhT//hASgyNe+SZI+OPLtS5OWLNG6MGrbpf6AkruIA7s/Nj5F7mvZLFETmYhx
pzZdb0poM5kmg4nnXl3Hjx+MRPPRGy89oULrxCGfi6nVdhN+I0j3GiTOWyHvVgNw
bvmsnTA0laNY0MmLh8eFrakx7ZMwVa1UyP9Kn27Yq+wO7igdj2vcwUMzaGrW/slW
h5aB42ajwpnAyGvfGtZo/ZM03XpCxpunn1w4LPrq1ZfCdyafnpn08fcqifaTNzgw
fpxptOzQT4wyeBcOmG0SPMQ7x6lBiu4BHD9kP2D4fIWMuOboU8UAKLDgP+b8JOTT
hwEYsw7Y95vnvGjxxHr7df3gYhukyeymzgMZ9ikqEKi22GLss8YNHjwqDKwifnMr
Y1Z7PKVS1shMC7dfGZ5AyOoSHBUAIjf51/JOaOl+dQBDRMUGn1YkOdqu0DiKOgOW
O7BIX/9M8+E9kzsp5t9llsNk38a8mvUefbMhf432TQd5DpoetsF780Dvao4BU7pT
7Lghn3VbzKXqfrbBkU0b573MAwwrvOfM4+FNk8W/UeWvj1C8jnqJ07wnZtuBhigu
cGaKPK3QTAjhAAYx2jN9fbzU+9EdoFdRE05GYTTgq3wl7eZ/xdUTuXM2EGjrUjaJ
R6s+lrQeTWFydGluIEZpbmsgPG1AZmlua21hcnRpbi5jb20+iQJUBBMBCAA+AhsD
BQsJCAcCBhUKCQgLAgQWAgMBAh4BAheAFiEE/kLlWHo+94xR8fLNloawjXCAn9sF
AmWADMIFCQ0rC4AACgkQloawjXCAn9sLdhAAqGbl5HGvcY+HzKC8d1UdmTHXUsYx
h6KhZKrS1QoM/BgIjbN1ji9KrpXvo3RFvgeBdO3j2x0s4kxtUpbXYeIYcA7ek+04
RNO+5sAog3n6pfrPK04Xj4UjDi70ecdc1Cm/HE0PfLu8LIQPA+1QtZLGGVgBbRHF
g5+fLF9DKEdej8WMhtkcJJuxUKuCsmt4c3Aftcpi59Y+Rt09P1yU82Ghk/dwR7yJ
oErhXDJABLn+cmP9irr3jUTAu22OPeCekVg8fM7BKSD12+YMqA3Mmjkg597f8cy5
IFs9fBcr69OWtcArwf1+PllIq9n8e7z+hq1MARjkWtqkvEG0qC+dhQJGER7E+bLc
SZDAMQj8bxdonpvdHAtsAtDjRmI2+7vdXIjS/FfK7m6oRVlhz/LAc3YAwLn7zW1Z
8Dtk7Id+Je1kGsta+Crs5sPhi4EQFRQ4MYFrkg5jJKZyuQThowLeTcKZlfmSMJ6W
XfN6DO0HC9AyMitn5sOhCAenLAeU948AKEbGpIkeQluSupQHegxS2q/I7CWzV5Xl
dtxi2Ws5r0ZDHYFhuBPoaoatQ3GHQDdWzPZe4n4w4quG35XQFv5zRsiJZiNJNLln
dyXEX8J1ES4iWqOP0/P7fRJcfDfH0dwC4EhuxwF8csX1VYJmmPLO6uvdD4XQuB/v
jJiDRBPYgNQ+oTu5Ag0EXhJXpAEQANlgJ3PwXPptLJnBzuPE3bXOnma/jkwCpeza
7Q3bRSHHl1Rh0HBZwqvEMrYxctC/aq/6762FrEcSUfmH4dgeDs6ghF5mMgNGEzL9
yAVu8ZRW6z9zAgZo8YVbIpCqXFq6zGoSmLc6T8rX4zC3+yBFyWR3U8NU7Vz9qgAo
kdVm7ghSFSV2ievdQBMH2wsnEF+zPG+ylt00VJYm0zK9Fka8Vxei0IJmq5nu9zMi
IgCM+seynMcejuQU2s/0dopRHQYIK20tfUfkYzNHJ18oIgmuDEAe0injPT6cAUA6
oXMzWw08nRdDP2IIvUQb0aFZxzLbPnF/nt1oXpcZISf5pi2qaLmMuLWl5DOdJJ0I
Wkx7tm2pjuXK2Pa3bPwQxY7JfaGIgNilXiGz71/VUG481Hk4HuBiealhKiPivOsu
57nZth9WqlqfNQZww8+lF6+K3/clqSn9Az7OoK1QbXC+GeWWWGB0j9Jb0L0e8UwN
19CWuhHrbkTUnoxMZ+PI2ZTCzwJcZWuTlMUDbmMpSKVKxy7f+UHmC7x9wm7dEHXw
yCrWz7AcDQXk6X6ooXXVZNXxFYMxpEUM3QN7XXIFpqEc3ygcBiLIL2OAmi4eYgKy
mDOXnkK099QsD7gx4lR4Hf/ehqQc4Etti43PIa3KrG6NZrwqALfkZHcyNKtz95sH
IiHHF/I7ABEBAAGJAjwEGAEIACYCGwwWIQT+QuVYej73jFHx8s2WhrCNcICf2wUC
ZZRfogUJDSqhMwAKCRCWhrCNcICf29BhEAC9JSq1qceBv7aX0OPU4DDqTKXaYvqa
8/ZzR3vnyvTEi3Cj4DY+t5K2HReFEJrqhbHQvZpJaUTj/dRDKSt+CaeGhPjEJ/Gp
iI2OQik9fVlPiz2GMek6bn+ZW0Sn0hZ+J6dRvg6xztWhScdIvIhveSXRkdiLEeO+
lJx/gsRITQyd+Xmu3GrMDMsXG2096gg6nf2vq9ifbacODBjqYPIUpL4HnL+iP14R
uM+aAq8H7jC4DwLy50JDSfi6jTP16nakBoee4PdB+07iehFIYYbpywS30U/hzy/m
/JuOmFRBU9hFZTd9lekxXGza3yeVai35OJbFHM/Q0AlFAxo3gCjTL0Msd/qUz/2/
tzbEXPpKjCfWFG5IGLcQsjEN1tGoIrluorfkYMqz0SMqUxzWmTbmgHhiotdBA87J
55NvxoNvN0Qt1Zoy+PMxN7G0u9PWI76MRR35LS3DXciMl3FTDaRiepyj7kJGG/GJ
iYENWkj+AOPlvnw2mvdOFw7MXOnNx5wyj71rzkZqyKwqRKMdZMvNtSLIZ0emkXtc
2T4MF9iYzTppH240+pHk0XeLX/c0BXWIwC20CJgGGG/kMJSrybdpLb2PqS+eZ7TN
5Tr35QDvVEtY1kBMWPAgQsYgTqga29O+m1inHzmewoj/2aZTYCFgBhF4IpobNscr
bX+wfv6J1HF7+g==
=Q002
-----END PGP PUBLIC KEY BLOCK-----