About

I prefer people to call me by my last name: Shou. It is also fine if you would like to go with my hard to read first name :)
My research interests lie between verification and modern application security (e.g. blockchain, AI, and web). I am also capable of and experienced in building scalable web application, UI/UX designing, project management, yada yada yada

Resume
GitHub
Email
Google Scholar (coming soon!)
Wechat (ID: hostfs)
CTFtime
Instagram
SexInfo

Here are my research interests

Ranked based on interest

Here's my life

Contact

PGP (I don't trust crypto but in case you do):

-----BEGIN PGP PUBLIC KEY BLOCK-----
xsFNBGBzmr8BEAC9YY1+rPw9F+Eu6XmWO+Pm34goQJYFPwIxbSAGRvpJ8sXXkpFJ
M/66ixFNnHJoqhBQs7WG4LZdSVcH8G9OaeK5a4W4NmuLotOLLDsBZMqSyi2oFQxy
csARH5Cx2PHl2qBDu4MBcZlAejBvASN4xtYxZ/1ihdYLCAB01rAm1PdWPI/0NarE
Byua9hsru1yCRt4mUfB9vG8qfOR7abQcf2cO/Q6D6dRYwHP3gDcqbmeqlAt4knL/
uCZOjUZJLuvIztjQM4ucXxGw8X6y46zyyT/0isgG/N9pN49ktoRCNIc9IOLnLjKr
P7xH2rO8GckfB7w27th7oUr5Q0Tgg0w5+jf3wbJninZlfuR5J3nZML1ss7fA8IaZ
F04LPzGVISBjbwMv8Gv24uW0JWiAz/Yi9ooZuLqe/y6kmNk3esra5NI5tvf4xno6
RdIfYLYXIj66fuB2U+Fsesr4dHG/jyQrsZC++Zauhg512XEVGyh0cePlXoXrurj9
vBR6uZ4Vpol8rsE/+8O+gw6FRwl6fsuolZUwPYLXnH8RPlyv2rhWYjnZ8e2AJDmE
0pePXpyW4NPlZb+10FfXT7K1zW+aRUNQuD+hMiXffMl+3N3Np1vLS4mjJmtAErxy
Z5WSDZYAqGJiR8SEyV89wv7R2guJVAHOzv63fIVK4UfHV/yZfN13sULOQwARAQAB
zRVjc2hvdSA8c2hvdUB1Y3NiLmVkdT7CwW0EEwEKABcFAmBzmr8CGy8DCwkHAxUK
CAIeAQIXgAAKCRC49qQPago6AcjgEACXMlumUtdjp5ygWbFXqtwZvgGaIWK8XHLr
iEZW1nIv4Z+36UaC2FbPE8QVkOCTway3hIuBb0tTzEa/i1217FL6JnazDfvQN60y
gxK01KLXtupaIY7tNqZ+LvHpvWYkUfHPxRAFMovdZOv+C1kI1GRE0/cvFxl4jhqw
FQwYkQSZwGVfYNW728Xz+NNNO0lq3rqu6hrfxrA0eQP90trazJK8UOmN9uV5/9Gc
jqp7QrobT67Uh/L+ikQB5xJktQ0thUuPPGRdbdyr0lkpBgcm3oVxa3m8OejkucSQ
fm3aJtioZqDlOV1NmEKXeMZB854XUG0mv2x6NieJ++j9kf47p/Yv96LxqaIImdVk
nPq6gq/igNgM4Ncn7gcDfJpO9gJobTQuR3crbQ5bF7/EX+mzdi8lg3RhRF3Q2r22
5/G+mgDVyMrTTo25zqfeZ7hc6Xgm9CeHyuiFfQCn/D4oSuVs79vP+sJBnDq+Xx3e
8ycox4HchyXEI4FKiKVQMzO2+Te/ZRMW7bNlZVvsxxUlIQUgqZwlgj/36Vt1oNGm
ljwk9cx9R2+6+CkdFDDxDgBsnQidxtAnBvPeggXEo4IMyQSleLhhvg7I3nr/AEaK
RtfCN5UdbsAHtdiG1oCaiXdvIE2KBsTOxYAW2ETyeGTKoEklm50veLxRyr/fb5wD
Ng9acVpxfc7BTQRgc5q/ARAAp/M4q9Xfv8gnhnl30u+LUEdzGU3rKLZLRdXdbSKJ
n7wr3dQhM/bOAzffTjfesolKF5hFZ+kYbej+MRp+35Z8BCfGDf2VTLCvZ00+gmWJ
YxIve9GxeoGZgi5E2f90pLh7b2vHn/ohODn1M4adTU8TBjXSsfDqemTXspiHhYBF
UkOYHaQeroFOGfBMmbX76InEvacQ+Q2+NWgtaFt7yLOzMGlatYYeNXpueTmRvdUD
eLGYEjZSO5N+lm2grZ/DagQQLPhNkVXfffI37ox+25baKKvZ91wRb/2D7Z74uPBD
86TM6QpFAlTBxW+tfy89M1EVTvUSTllwLkMIDWX23lOMzIQaXWYFcU5OL7YdMZZi
APj1i0R+70+lHpWWzB5OfdCqJG53/8xmXo+ebCz64iH/6+MXDVVEFuvx7b+00Hlo
z52fBAOLlWYJSZjwl5XBWNqGf+VrJ9A6kne4n6QivfOdPZuOSYlMtHSbJox8T9px
ehxRX+Bxi6RRdDJwC8WukHaRR8pOu4bX3u+mbI6jXfd8DxEq59NQNfoAPPC1CSm/
CwTOhRC17LLCNhdNwbuNusxcBMPhTjKccbp9Gg1shxb3dp2Q8YVrp1JQGPHoneZc
NQsjt5nmPwkOMcwBeNuvVx+v/mjkZV3BTJQFlECh16nH0AnG7E5FAUHUHAPgvyow
4FEAEQEAAcLDhAQYAQoADwUCYHOavwUJDwmcAAIbLgIpCRC49qQPago6AcFdIAQZ
AQoABgUCYHOavwAKCRDQSMcOywMl5jD9EACbjY8K5r7XEdT61bXbGZsBDjcOtPE4
ev2SR3kvDzD+O2fJWgEpjlPPvlCAZCriRPx5y9Iw6IOQk1k4zBNmQS1kx1oD21Bq
fmy7YWf6wR3+LC2Mv4eE5CZ6YLDVMx7sZHCOdKCpchTkCVCLj7/3NU9VBg4OJli1
dawZHG6C/luT9RZN35Wc3Gr+Jg7Iav46rpGuDvedqCGPogr7IgYDw5hHIOQ3IEtH
Or/Xhr+CYVn3YHu06/SjAZKJrrh4RCvLWYXw2jvxPsahVMiHwFAltClFF77/w1H0
3AHb4TzUVw2jxpPY+3l1NzBWNJBTIdqnv1PDAzfpFR2sicqwbj9A33ef7Ey8Tuhd
1hCyR25wdoedff3mrl3ELqXIpjlZAdgFBWSy5H70oGxJz+mnmtnxF1DUCqnJT105
RFWmDoD4VifIZ1zya3ChIvS4Hc9DVK28k9Xtyz4Sg+MurD5n6wR6LTU5RpY+Ur6n
YaRmzq/M+IwBAUV64KLDKd2m1wnIAPuG71ywltF4dz+iFB3vZwsRGqRNSt5Wmc4h
j+U6zWbIsVuN1tAnAUPezdRuKIUyiu6qxMK1JQSriLd4CtUws2XV1+YHpBGKOXh7
IZR3HYG2CyiYGaJi8ogWNpOsPTLBaXegsupyX7aWrM6MeUWZwv0+meYUOgrcIaUu
4XM5FTf/jsnTBd9vD/9as5P7c90Ue6wl2YJTC9PsJ2lJ9YZvOQ/9gFihPLBSn48G
8PAAYGF+f9n7bO4LUxePteinz2YNNEiFMYV4nfbZoRWtAnieu7oTzGJAx32O+nas
jUPPx5rIxr+Gm3eJGgHOnH/P1B2UpH4a1syj1E0T6fZs4Sl7kGf5hiMjYmRVC3IW
iYdBPkNaATUPfjbCx97pzZA13EgrwH74PV41k9fSLV3DItTQwpmyzTFrxVP29pN1
04VWF5VsIgOVrPr3C8DiNzCQlrRmSVEXhGjOyuW7o6WTce5JzWRz5+JvGsZgz9Nh
VwTaSHgj8WWmcObTNKJ/HuUv4R/L0TgvT772ylUGwr3bWdL+cS8U65T9UyrwgBE0
CWlbdCVIpAcdAjYwn3IByHsMrg7p2o4a+69JbpN1XbILbDt7felERrah24h7i0hl
W7S/J95Q6gSri+6uEj749OJnLWjpq31kq9/VIDccV6EYEoCsfXzdiAXLQQ/uJyW6
3DO9OaGaOc7vCRQ9gzDcD0su0g/bQ7PlERbn72yw4II7vUNMvxCy68nMEUAw2q87
zQG0KiBMxbwm4nVMN2bFzzTZeWU3yk+oC+Qabg86jjtoD6vvqxaRGNSAosI5huXC
5T1uW2rFyPmLoC9OymduGtZSCriV+d9rQ/KnNrVY5EETicc8FavdbaeDOg8CGs7B
TQRgc5q/ARAA21dPZhEo2EtrVGuxCxGPffwwhw59aYr4FI3rNDvWF/ZzH5+QIbD+
xYhen8K6bsuM4wBumJlEwMg4UeHPHGBqEypac2z+1eWjHGOhKEGJ+4TpWVYnBadm
aOSSCNWC2hB+DmEiyDaFjnBmFDImbayesNYeoRd0HlLCN8MZKiYdWwrn6JPhX+tO
NshK0E7gihEqM+htmXF8mf0cp8irtAJXu2vh0Z0qg6887wWrcOjMa9hwhcA9DZ2I
V2kvpU8IFpCL/xmZsdkjXJoHNb1xtrTbfIIKmKVXUWFEqDAKzfRX+ZZOBE5hAz28
QItY8JLMLTkkIuSrLEyZeM4dhDLBHbmcQP+bOC0m0XlJaZdF3Qfkb5kXX1cjPlnb
bFfJYvRt5SfrobbrovRWJ+xTkE1rE/Bze4lz6v32vy+Ajs6dwlfTxSHxvzBMcnSU
9aT2ftAcyuvFUFSAIBncmkPtZeMPa1/8vqvhQ8ghbX6KIyYZY5HPj3QbLxYPC2Dg
9JdxP8VprGrCM5aFZsmMSKRUY55RBZqY2dSaAYqpgJLep1c9vvlW42pNqKTtU0ph
I1AdN7L3Y5Jm6lUiWjC8hn9sAEQUqHdd14SHxBEbgNIAGlivrTXRsZbXtgHKH2Hf
D/j/6/1L9kseddo5KDbYszACWqF4wNGsKfF0IMuVvlDfcG/S2/IzpHkAEQEAAcLD
hAQYAQoADwUCYHOavwUJDwmcAAIbLgIpCRC49qQPago6AcFdIAQZAQoABgUCYHOa
vwAKCRBBQvnk7Acb1BXsD/9VQVw3UGQ8TYlLZwtTNcaW7ix4pZOwd0hGEaeEAJ8s
knVnmH3R/N1Q2f+Lm/g3x2YK6e1jGoOG6WloOZLx6N1z17IaSsTWZWahwsQzEKU1
CxmYGR8GwnsHIa0R3RERbNgAiQiwQDEFskDooGXunBf2DLMd1U8djZEvAQlmJSAn
V3uSVWrITxhpowalTY8FXJ97MJlCjHeuTqjjt8PyQzpmDUvuzM3fs9EsMnAm6uGm
x3Y1kYLy/Bto1UHDW3rHcN4vMrprodSuYO/RECrGBWHdT8NFOT8OqM+8kD12L36R
AoxOhyKpPROw00oy/lYCA11DAXuMw/alfBNGAc9pvjxrmJX3kjgQ9JBpHkAAXlvz
xjfShBYyo47MI5uP0GliuS2vcitWSobGPg7qcNw5Eg/m0v3Lau+8eZQrQ2+jP90t
5g/aEjzJ0VdZHMTec6Lr9ZFBz1Cv4Y+L4IXUfxD3vvu7fpETtd6jIyW0uJ2XtkiN
kuwBdmKrVXUCzpoHNIACqAyIrnmZWEXmAnpRh5dCT5v1NEJpW4lRnpfV3z6Zfwt4
4WzeQrZeM3MF5LfoDh4e8Mzq643CkbCTbT2sOTn7wtuveIPnsjmRnbVc3zSsg9Qt
GM9bskxojRxodQzcEnd6cIdkd35GLscczYfB/JRFtoqxKH+pnwyUXhdvq75zQ0po
nJvTEACNZFJLO3xuAU0SYqX3q+I7jksrepgBqr3GkXDyWEEDSG0gX5W6JrqUshsS
y5pIzLcz0n3u389Gv6suS7DYnmK+lhmvhyjZDJqHI3LWA24qjG7EgWP5Kf7ep06b
ZOPpw2KoK5GZG5uycPVD6rPxRE8CL7BOlE3pDAunhtp8EjVHdgedO5/xh776fwKh
ndVZEBw46g30xyGp01fDkWHkMOEdzMSNau1KddtmbXOFao//KqpnunLgEBGdhWP1
rTpg3ywsLfXlS42S1+gHY2cxtltF7jJ29tE91llqdy3Ipb86zQrztiwGtvO3SinM
dUhblHWkumPwnINjNp7JzfFzK3WDQGZHKKvzGYR/zuWVtdjgcnnuLZcmFfYmjL6I
fW6Gz+5/iNfkqT9Ch/xSOug+hG414YOPVxBNsOKQuClVhazv0upGJiQyk2ptIQzJ
TgnfuLTBk15NWCgjRglLqnZqIqJ+RZfcYblf9sKjEu8urajB2YcGF5bTFeQX4ykB
EhWyAm2o5jAi8WtubZJfF1Wh7a8efHiYq3etGNepxDLF8/an0DC2qAT7y9q1bRKC
10l98shCra+iAxHOaRth+uDXuOdTJHY0KrxM9TGETV1BzC4iDWh8OHQp3L/zZ31K
mzc5gIlFj9i1QCkCdI+zQVWKKeP1r6DG8Zp5fQsClYXBQhZDvQ==
=stlk
-----END PGP PUBLIC KEY BLOCK-----