Zobrazeno 1 - 10
of 164
pro vyhledávání: '"Gaboardi, Marco"'
TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the top element allows us to express the domain and codomain of a relation.
Externí odkaz:
http://arxiv.org/abs/2404.18417
Many programming frameworks have been introduced to support the development of differentially private software applications. In this chapter, we survey some of the conceptual ideas underlying these frameworks in a way that we hope will be helpful for
Externí odkaz:
http://arxiv.org/abs/2403.11088
We study the complexity of the problem of verifying differential privacy for while-like programs working over boolean values and making probabilistic choices. Programs in this class can be interpreted into finite-state discrete-time Markov Chains (DT
Externí odkaz:
http://arxiv.org/abs/2309.04642
Publikováno v:
Proc. ACM Manag. Data 2, 2, Article 94 (May 2024), 26 pages (2024)
Motivated by privacy concerns in long-term longitudinal studies in medical and social science research, we study the problem of continually releasing differentially private synthetic data from longitudinal data collections. We introduce a model where
Externí odkaz:
http://arxiv.org/abs/2306.07884
Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the security properties or correctness guarantees hold in practice. For this reas
Externí odkaz:
http://arxiv.org/abs/2306.00308
Autor:
Bun, Mark, Gaboardi, Marco, Hopkins, Max, Impagliazzo, Russell, Lei, Rex, Pitassi, Toniann, Sivakumar, Satchit, Sorrell, Jessica
The notion of replicable algorithms was introduced in Impagliazzo et al. [STOC '22] to describe randomized algorithms that are stable under the resampling of their inputs. More precisely, a replicable algorithm gives the same output with high probabi
Externí odkaz:
http://arxiv.org/abs/2303.12921
Publikováno v:
Electronic Journal of Statistics, Electron. J. Statist. 18(1), 1455-1494, (2024)
Confidence intervals are a fundamental tool for quantifying the uncertainty of parameters of interest. With the increase of data privacy awareness, developing a private version of confidence intervals has gained growing attention from both statistici
Externí odkaz:
http://arxiv.org/abs/2301.08324
Program sensitivity measures the distance between the outputs of a program when run on two related inputs. This notion, which plays a key role in areas such as data privacy and optimization, has been the focus of several program analysis techniques i
Externí odkaz:
http://arxiv.org/abs/2202.01901
Formal reasoning about hashing-based probabilistic data structures often requires reasoning about random variables where when one variable gets larger (such as the number of elements hashed into one bucket), the others tend to be smaller (like the nu
Externí odkaz:
http://arxiv.org/abs/2111.14917
Publikováno v:
Proc. ACM Program. Lang. 6, POPL, Article 29 (January 2022), 30 pages (2022)
Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen pr
Externí odkaz:
http://arxiv.org/abs/2108.07707