Sof Wolf

Email me at: sofiakwolf (at) gmail (dot) com

I am a computer science student @ The University of Birmingham in my final year. My primary interests lie in cryptography, especially the intersection of real-world and theoretical cryptography. I also have a latent interest in proof assistants and type theory, and would love to understand more category theory.

I am currently looking at key correlated security of message authentication codes, with a look at both providing formal definitions and proofs, as well as bridging the gap to concrete constructions wherever possible. For more on KCA security see here. I hope to upload my project on this topic here once it has been reviewed.

You can find the other pages of my site here:

-> To find out what I'm up to RIGHT THIS MOMENT, check out now for a vague idea.
-> One may view my blog, where one might view my blog posts, if one wishes.
-> For a random collection of things I find interesting, check out interesting stuff.
-> My opinions on media, especially updates to my song of the week, can be found on my media page.
-> Finally, I keep an in-progress page collecting my favourite poems, both from published authors and around the web!

If you are partial to joy and whimsy and so forth, I will also recommend you look at the SIGBOVIK paper I co-authored with my friends Anna and Peter (just go right in the webring ;) ). It may not be particularly serious, but the hours we spent designing, coding, and writing about FLOORPLAN (the language of the future) certainly were. You may also experience the awe-some power of FLOORPPLAN here.

Find me more places:

I write way too many book reviews on Goodreads
I am also on Storygraph but I'll be real I don't really understand how it works
I post very little that's public on Github
Current trying my hand at Mastodon

The last track I listened to on Spotify was ... by ..., ....