Sökning: "Elisabet Lobo Vesga"

Hittade 2 avhandlingar innehållade orden Elisabet Lobo Vesga.

1. 1. A Programming Language for Data Privacy with Accuracy Estimations

   Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Differential Privacy; Functional Programming; Databases; Haskell; Accuracy; Concentration Bounds;

   Sammanfattning : Differential privacy offers a formal framework for reasoning about the privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing private data analyses. LÄS MER

3. 2. Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

   Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; haskell; accuracy; parametricity; Program reasoning; Functional Programming; concentration bounds; differential privacy;

   Sammanfattning : This thesis focuses on the development of programming frameworks to enforce, by construction, desirable properties of software systems. Particularly, we are interested in enforcing differential privacy -- a mathematical notion of data privacy -- while statically reasoning about the accuracy of computations, along with deriving the sensitivity of arbitrary functions to further strengthen the expressiveness of these systems. LÄS MER