17 citations · 18 across the 7 of their papers we have counts for
8 papers
Disjunctive Policies for Database-Backed Programs
Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependenci…
Security Properties through the Lens of Modal Logic
Matvey Soloviev, Musard Balliu, Roberto Guanciale
We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security pr…
Security Properties as Nested Causal Statements
Matvey Soloviev, Joseph Y. Halpern
Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other…
Information Acquisition Under Resource Limitations in a Noisy Environment
Matvey Soloviev, Joseph Y. Halpern
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula af…
The Impact of Tribalism on Social Welfare
Seunghee Han, Matvey Soloviev, Yuwen Wang
We explore the impact of mutual altruism among the players belonging to the same set -- their tribe -- in a partition of all players in arbitrary strategic games upon the quality o…
Coalgebraic Tools for Randomness-Conserving Protocols
Dexter Kozen, Matvey Soloviev
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that al…
In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation
Yuka Kihara, Matvey Soloviev, Tsuhan Chen
We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human perfor…
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry, Matvey Soloviev
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger in…