Matvey Soloviev

According to our database, Matvey Soloviev authored at least 10 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Security Properties through the Lens of Modal Logic.

Matvey Soloviev, Musard Balliu, Roberto Guanciale

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

Disjunctive Policies for Database-Backed Programs.

Amir M. Ahmadian, Matvey Soloviev, Musard Balliu

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Coalgebraic tools for randomness-conserving protocols.

Dexter Kozen, Matvey Soloviev

J. Log. Algebraic Methods Program., 2022

Information Acquisition Under Resource Limitations in a Noisy Environment.

Matvey Soloviev, Joseph Y. Halpern

J. ACM, 2022

2021

Rational Inattention and a Causal Account of Program Security.

Matvey Soloviev

PhD thesis, 2021

Security Properties as Nested Causal Statements.

Matvey Soloviev, Joseph Y. Halpern

CoRR, 2021

2020

Tree Space Prototypes: Another Look at Making Tree Ensembles Interpretable.

Sarah Tan, Matvey Soloviev, Giles Hooker, Martin T. Wells

Proceedings of the FODS '20: ACM-IMS Foundations of Data Science Conference, 2020

2019

The Impact of Tribalism on Social Welfare.

Seunghee Han, Matvey Soloviev, Yuwen Wang

Proceedings of the Algorithmic Game Theory - 12th International Symposium, 2019

2016

In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-region Segmentation.

Yuka Kihara, Matvey Soloviev, Tsuhan Chen

Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

2012

Pattern Graph Rewrite Systems

Aleks Kissinger, Alex Merry, Matvey Soloviev

Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012