Sofia Kover Wolf

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

A photo of me at the peak of Dobratsch mountain range. I have pale skin, short black bangs, a chain across my nose, and dark hair tied up to reveal shaved sides.

Call me Sof :) I am a soon-to-be PhD student in Canada (location to be confirmed...). My primary interests lie in cryptography, especially the intersection of real-world and theoretical cryptography. I care about the impacts of cryptography on its end-users, and to this end I am interested in settings such as private informational retrieval & anonymous communication. Additionally, I have a latent interest in proof assistants and machine-verified cryptography particularly in how they can increase trust in privacy guarantees.

My final year project looked at key correlated security of message authentication codes. It provided formal definitions & proofs, while bridging the gap to concrete constructions wherever possible. For more on KCA security see here. Will link my project in a sec.

I am currently doing some research kindly supported by Dr François Dupressoir at the University of Bristol. More about that soon!

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 post very little that's public on Github

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