Trace Oblivious Program Execution

The big data era has dramatically transformed our lives; however, security incidents such as data breaches can put sensitive data (e.g. photos, identities, genomes) at risk. To protect users' data privacy, there is a growing interest in building secure cloud computing systems, which keep sensitive data inputs hidden, even from computation providers. Conceptually, secure cloud computing systems leverage cryptographic techniques (e.g., secure multiparty computation) and trusted hardware (e.g. secure processors) to instantiate a “secure” abstract machine consisting of a CPU and encrypted memory, so that an adversary cannot learn information through either the computation within the CPU or the data in the memory. Unfortunately, evidence has shown that side channels (e.g. memory accesses, timing, and termination) in such a “secure” abstract machine may potentially leak highly sensitive information, including cryptographic keys that form the root of trust for the secure systems. This thesis broadly expands the investigation of a research direction called trace oblivious computation, where programming language techniques are employed to prevent side channel information leakage. We demonstrate the feasibility of trace oblivious computation, by formalizing and building several systems, including GhostRider, which is a hardware-software co-design to provide a hardware-based trace oblivious computing solution, SCVM, which is an automatic RAM-model secure computation system, and ObliVM, which is a programming framework to facilitate programmers to develop applications. All of these systems enjoy formal security guarantees while demonstrating a better performance than prior systems, by one to several orders of magnitude.

Propiedades psicométricas de los instrumentos para la medición de la actividad física en adultos con discapacidad física relacionada con lesión de médula espinal: una revisión sistemática

Objetivo: Evaluar las propiedades psicométricas de los instrumentos para la medición de la actividad física en adultos de 18-65 años con discapacidad física por lesión de médula espinal. Materiales y métodos: Revisión sistemática. Las bases de datos de Medline, Scopus, Web of Science y 19 revistas especializadas fueron consultadas durante once días entre abril de 2015 y febrero de 2016 para identificar estudios originales de validación, sin límite de tiempo y que estuvieran publicados en español, francés y/o inglés. La calidad metodológica de los instrumentos de medición se evaluó usando las diferentes cajas de propiedades de la lista COSMIN. Resultados: Se identificaron 9229 referencias, de las cuales sólo 12 cumplieron los criterios de inclusión, dando como resultado 13 instrumentos de medición. Se evaluaron seis propiedades psicométricas. La propiedad más común fue la confiabilidad, además se observó que la calidad metodológica de los estudios incluidos no representa los resultados de las propiedades psicométricas de los instrumentos de medición. La calidad metodológica de los instrumentos para la evaluación de la actividad física en población con lesión medular espinal es “baja” para propiedades como consistencia interna, error de medición, sensibilidad, validez de criterio (con excepción del WISCI II que tiene buena validez) y excelente para validez de contenido y fiabilidad. Conclusión: Se ha encontrado que instrumentos empleados hasta el presente en la medición de la actividad física en población con discapacidad física relacionada con lesión de médula espinal han sido creados para otros tipos de discapacidad y otros instrumentos deben ser validados en futuros estudios.