Matvey Soloviev

Welcome to my academic website. I'm Matvey, a postdoctoral researcher in the LangSec group at the KTH Royal Institute of Technology in Stockholm, Sweden. My research focuses on the theoretical foundations of computer security, specifically the application of logical and algebraic techniques to understand the flow of information through a program, and relate it to the system operator's intent as represented by the security policy.

I have recently completed my PhD at Cornell University under the supervision of Joe Halpern. Before coming to Cornell, I obtained a BA in Computer Science and an MMath (Part III) from the University of Cambridge.

Selected Publications

• Disjunctive Policies for Database-Backed Programs.
  CSF 2024; arXiv:2312.10441 [cs.CR].
  Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
• Security Properties through the Lens of Modal Logic.
  CSF 2024; arXiv:2309.09542 [cs.CR].
  Matvey Soloviev, Musard Balliu, Roberto Guanciale
• Information Acquisition Under Resource Limitations in a Noisy Environment.
  JACM Vol 69 Issue 3 and AAAI 2018; arXiv:2005.10383 [cs.AI].
  Matvey Soloviev, Joseph Y. Halpern
• [ See all ]

Contact

If you have any questions, don't hesitate to contact me by e-mail (reveal).

Other projects

I maintain a number of open-source software projects on my Github account, including Notekit, a hierarchical Markdown notetaking and organization tool with graphics tablet support; a Turing-complete macro processor for C++; and Autopen, a combination text editor and output variant tree explorer for generative language models.