SearcharxivSearch

arXiv subjects

Miguel Flores

Publications and source records attributed to Miguel Flores.

2 recordsLinked to original sources

"You do understand that people don't trust technology?": Explaining Trusted Execution Environments to Non-Experts

Trusted Execution Environments (TEEs) protect confidentiality and integrity of trusted applications by creating an isolated environment for executing code. Prior work has shown that users may feel more comfortable sharing data when they know it will be protected by a TEE, especially if they understand what a TEE is. In this study, we evaluated text-based explanations introducing TEEs to non-experts. We analyzed existing TEE explanations to develop candidate explanations and evaluated them via vignette scenarios with 966 crowdworkers. The explanations that enhanced understanding most were non-technical ones that highlighted specific threats that can be prevented by a TEE. Surprisingly, even the explanations that enhanced understanding had little effect on willingness to use the TEE-enhanced technology. These results provide insights into ways to communicate technical security concepts more effectively but also suggest that explaining security technology might not be enough to address users' privacy concerns.

cs.HC

Category theory with examples in probability theory

The basic concepts of category theory are developed and examples of them are presented to illustrate them using measurement theory and probability theory tools. Motivated by Perrone's workarXiv:1912.10642 where notes on category theory are developed with examples of basic mathematics, we present the concepts of category, functor, natural transformation, and products with examples in the probabilistic context. The most prominent examples of the application of Category Theory to Probability Theory are the Lawvere (available at ncatlab.org/nlab/files/lawvereprobability1962.pdf.) and Giry (avaible at https://doi.org/10.1007/BFb0092872) approaches. However, there are few categories with objects as probability spaces due to the difficulty of finding an appropriate condition to define arrows between them

math.CT