About Me

I work on system security at Arm Research.

My interests include system security and programming languages.

To see what I've been working on (outside of work), check out Malice, hs-arm, or synthol.

PGP Public Key

Fingerprint:  4192 C799 FA1E 646F 55F6  FAD5 2EE5 D25E 181E BD4B

-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBFstkZYBEADOQmZIjAOoi/xMuZhYWnh0NznR7gCQMZKjIFvPDLRRwehTacv0
dpgANx6Yr9jsBq0wM5ATCDWAzUiRRlpd1XrGt3jhwtb1W/SkEq63VZYlrg9j0oDe
nqCHE1ogLSEO58QVEN4tNu5RRw9iCja3KMSteDQ72Ie7CAWS0hxuA0myQA2s0Rm3
ujZI0agl3d+AT6+YB0WZoeTUiSWOpfbQKx6zs0aLl8ANAfFDGTO61R7lvZGmTT0M
tTd6u+iQA2EFW4Lx+0QBmkh1TmYhvipkR/zbKUAlXE50M2F5uroibiP/AMnEAZ+g
b90ls84NDecdnEF29kJE3aLGKy7j7veXx8L11TOL6purYriOTCmLoiWcrFVHZBwB
EnYu275u9jROvorWzXAptGanu6X0rNpCLklCGLp+RFvJvCYRT1YAzocHJtsjPOHM
jwsxAoJtqQtEvbcc0rtpWOJdXVNlXuDTJtM0GiamdwYHxDnUqazwKshSDQcYRLK6
fj9IojmxR85WHEJk/djH3tZFncRlrlAADkTDJ/X0/I1nWBaWkf2IUcxgH4sKQ2/V
lmzzVJKm1ylt2Bbv2tilHW+6K0DEPJJGw0zE03UPBSot71AnJSEKkBAlCHiXdI0h
yqmOGUFPKSln/ak9o0hRAygVnmEQcbt6873tCRERsHDM0UsyWIF1+bjlewARAQAB
tCNOaWNrIFNwaW5hbGUgPG5pY2tAbmlja3NwaW5hbGUuY29tPokCVAQTAQgAPhYh
BEGSx5n6HmRvVfb61S7l0l4YHr1LBQJbLZGWAhsDBQkHhh+ABQsJCAcCBhUKCQgL
AgQWAgMBAh4BAheAAAoJEC7l0l4YHr1LKq4QAIZOUoahOXNXpYdJ6hDyVRbay7SR
vcEo0JjBw6EXb17sv4lu/inTg9qiW3OD79FbDut0tbZTZyjd3fzh7lQXWY3QexQN
cvfAYs6sXj99bDo5+ixiNDEVRCppElg3lIAROCoaT41ExLXBDRIum/4vV2XSqOmt
8oK0sACXfhJTB+wWFdwMkkdYZehCWnDaIo3xKCMWF6KaW6LWssANzqiGCTum5Uu5
xLeCTfmndGjI7gLritBykeCi4TxXDBPwDxbqFzMgjbpoYej9hdedK51fCjXFw+0s
VHntIXGeBuusvSbsDS2V0YdTIIGSWdefmwmO9l2kckFXeE+PabMxCNOacahOxo0i
8EoglScy1OsC1fIiD7zX+PM54qsJzkILQGSKDU8x4ddOQa1/gUmOYVyG8fPyByS6
nALddHXCntyciKScuig95ElUe2SRlDwKMdHiv2ls7jfq8nLCY+zzMVnNjSHMgaTp
u3gBV57AXvEU8gFWQKbyo05cRbh5HxsSZtMDD0TllzuLhdAqnk653AWaqC/4l/c5
K1LwHDjxa2AjyHgkf24TS7FH59v4VOs5NxfNqNrwMSFPIMO7IfhNxMisjZ5Fq1V9
H3GMr0p2Q9GyQ/SedcOE9vUCxyhd20SUYFFVPsqY4cVvSVcUsMekgjMSMkLdOH7V
6zipE70WbUaICrIRuQINBFstkZYBEADMREFxUTf4BhDuMa+nErhvB6SDXz3s7Ojs
LPIUYIcROsFPL2AC6sf248LwKKSFSJ7cRTInwEZCtr0qxENiLd0jyfNAHQ0eYotS
VQEgY03zfKMQLnx0fV3lRLMFvzPcFvOoID6TH7uS28vHKPZOoFaMvd/L85Id5z06
qGj0SQpcodtJqijfB2CqqRwGt/2JHLGLxJPxaIqPGy1NkUpX7QmwDH6jIiIKlwaB
YMRO01RnqiXJ3CslPga1dRbQ5fHrYAbRdP4YtlL92+qTI+56Z86qo/zV92G1aTaH
nbf+zRl4M5brzZKcu8dUrI2WBkzfu5psOuhSyinFJ70uufy/5JQVr6pU/dLYWPQS
5HXjyKEmhwZhiqsmjLWqVlS/u1d5E6tstYQRpkSRds5SYqYbIbZM9Ex4zFoqFcW4
TCQR1H6Vi7Yekoau+0S6zK7aGK9RhLaO5ztqVxBIjXfWQFgQ8uiWGPpVu4qXOF+J
/Ny7OiQkC89AQZhVSw8ZzLCo/PNa2Py+abbIL/APHUeH03hnN9k9/9Io3SKr4Tx3
OJSF0s7Y0V5Dcw4syiWXPEeIy+2vrcYD8nLHj+2SNPo/MH8SFBhWBfW2E4JhDzhL
xdtLX7UtfwGpbNTEzPZzVOHJsunhsAoRDaP/3iLjz13dZnblUssQ5TetFwcNJv8z
mQ04VH3f+QARAQABiQI8BBgBCAAmFiEEQZLHmfoeZG9V9vrVLuXSXhgevUsFAlst
kZYCGwwFCQeGH4AACgkQLuXSXhgevUtXhRAArDxtbEcO6MWVAPW3VTP/S/YAs0YM
YA6+tpX1vzB8U/6w4vJWWA2xXAoGiHvKlXrbxVUwDX0t+I6RrwTgWxb6tdWAYKmm
Xl01hWIhvvm5qMYpT2a05P8QF0Lqlqz93Gm6HF9PdBvn/w59BrTb6t70bdsjwTXE
g+HAolRBLadi5viZ5N+XuZLaKLkHaWQwwBYAxQ3IH2Z9h+QzDSNqd34zE7j1f6/u
6VqmLGZZOGBo0OWtDCVZfSGwHDTJVcVsa0vdqxRUaMRrueA3V2HH/VSLP03s9qC6
/13uBzDy8cDNmYPuj+uXf2PgmZqn94JC0HfHJHYOZ9CZ3TBLeiy3sAT1kQ+p2LiM
6QaUBUL2fNp7Gzfc1RuGqrnNXD2zNIH0G3sX9XsW7rw1zoao9hnvnEx3eM/+WupP
q+MJVch1qdjv1tc0AJnf7h/x326mCgE5QWrZ9mZzvbNR/ZfAy13BmSUVCFXjAkf4
ybhOC9vkx23M6grCk9uK2dKq9VE362OolFvtqjd7J9wU4QvAUxpWTZxb2az8X8QT
7DiCTwI5Xj2LJCHSDNe9bMhL7QP2XUJxWyCTO2gy4RRpWj3/6wXKICHa/c1lc1KW
XwQS50AvlbImJn1LaqBjGaLxTk0xmYAX6MgRYInfvWBaona+jtZnRnmQAUoEdc8G
TAl58UvTH5yFw4Q=
=qwa9
-----END PGP PUBLIC KEY BLOCK-----