Sökning: "verifiability"

Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet verifiability.

1. 1. Secure and Privacy-Preserving Cloud-Assisted Computing

   Författare :Georgia Tsaloli; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; differential privacy; decentralization; verifiability; privacy-preservation; secure aggregation; secret sharing; cloud computing; privacy;

   Sammanfattning : Smart devices such as smartphones, wearables, and smart appliances collect significant amounts of data and transmit them over the network forming the Internet of Things (IoT). Many applications in our daily lives (e.g., health, smart grid, traffic monitoring) involve IoT devices that often have low computational capabilities. LÄS MER

3. 2. Cryptographic Tools for Privacy Preservation

   Författare :Carlo Brunetta; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Outsourced Computation; Verifiability; Cryptography; Privacy; Cloud Computing;

   Sammanfattning : Data permeates every aspect of our daily life and it is the backbone of our digitalized society. Smartphones, smartwatches and many more smart devices measure, collect, modify and share data in what is known as the Internet of Things. LÄS MER

4. 3. On the Verifiability of the Activated Sludge System Dynamics

   Författare :Ulf Jeppsson; Industriell elektroteknik och automation; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Wastewater treatment processes are inherently dynamic because of variations in the influent flow rate, concentration, and composition. The adaptive behaviour of the microorganisms further emphasizes this fact. Mathematical models and computer simulations are essential to describe, predict, and control the complicated interactions of the processes. LÄS MER

5. 4. Outsourcing Computations to a Cloud That You Don't Trust

   Författare :Georgia Tsaloli; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; differential privacy; function secret sharing; homomorphic secret sharing; verifiable computation; privacy-preservation; public verifiability;

   Sammanfattning : In many application scenarios, data need to be collected, stored and processed. Often sensitive data are collected from IoT devices, which are constrained regarding their resources, and, thus, remote, untrusted cloud servers are required to perform the computations. LÄS MER

7. 5. Improved sequential decision-making with structural priors: Enhanced treatment personalization with historical data

   Författare :Newton Mwai Kinyanjui; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; policy optimization; fixed-confidence pure exploration; historical data; personalization; structural priors; latent bandits; benchmark simulators;

   Sammanfattning : Personalizing treatments for patients involves a period where different treatments out of a set of available treatments are tried until an optimal treatment is found, for particular patient characteristics. To minimize suffering and other costs, it is critical to minimize this search. LÄS MER