Search

While serverless platforms substantially simplify the provisioning, configuration, and management of cloud applications, implementing correct services on top of these platforms can present significant challenges to programmers. For example, serverless infrastructures introduce a host of failure modes that are not present in traditional deployments. Individual serverless instances can fail while others continue to make progress, correct but slow instances can be killed by the cloud provider as part of resource management, and providers will often respond to such failures by re-executing requests. For functions with side-effects, these scenarios can create behaviors that are not observable in serverful deployments. In this paper, we propose mu2sls, a framework for implementing microservice applications on serverless using standard Python code with two extra primitives: transactions and asynchronous calls. Our framework orchestrates user-written services to address several challenges, such as failures and re-executions, and provides formal guarantees that the generated serverless implementations are correct. To that end, we present a novel service specification abstraction and formalization of serverless implementations that facilitate reasoning about the correctness of a given application’s serverless implementation. This formalization forms the basis of the mu2sls prototype, which we then use to develop a few real-world microservice applications and show that the performance of the generated serverless implementations achieves significant scalability (3-5× the throughput of a sequential implementation) while providing correctness guarantees in the context of faults, re-execution, and concurrency.

Desde una perspectiva Mundial se considera que el Internet aporta nuevos desafíos a la educación literaria, la presencia de las tecnologías digitales como estrategias de aprendizaje, ya no es ajena para las nuevas generaciones, se están introduciendo significativamente en el ámbito educativo, según estadísticas emitidas por la UNESCO (2017), se afirmó que en América Latina y el Caribe el 36% de estudiantes no logran las competencias lectoras, dato alarmante que demanda esfuerzo docente y de toda la comunidad educativa, la investigación tuvo como objetivo Determinar la influencia del uso de blogs educativos como red integradora para escribir y compartir literatura infantil en niños de Educación Primaria, cuyo método de estudio consistió en identificar a través del pretest el uso de blog educativo para compartir literatura, considerando las dimensiones de las variables, se diseñó y aplicó un programa para revertir resultados encontrados en la I.E., se consideró la investigación cuasi-experimental, cuyo Grupo de Control fueron estudiantes de la I.E. José María Arguedas de Chiclayo y el Grupo Experimental estudiantes de la I.E N° 10626 José Cesar Solís Celis - Ferreñafe, la muestra fue 646, distribuidos en 323 cada grupo, se diseñó y aplicó el programa, obteniendo resultados significativos, concluyendo que el blog educativo permitió compartir y escribir literatura infantil, siendo un logro en el aprendizaje de los estudiantes, quienes han fortalecido sus capacidades a través del uso de la tecnología, fortificando las dimensiones de Inteligencia interpersonal, Técnica, Pedagogía, Creatividad, Inteligencia Lingüística, alcanzado la valoración máxima de 5.

This paper introduces a new cryptographic primitive called a private resource allocator (PRA) that can be used to allocate resources (e.g., network bandwidth, CPUs) to a set of clients without revealing to the clients whether any other clients received resources. We give several constructions of PRAs that provide guarantees ranging from information-theoretic to differential privacy. PRAs are useful in preventing a new class of attacks that we call allocation-based side-channel attacks. These attacks can be used, for example, to break the privacy guarantees of anonymous messaging systems that were designed specifically to defend against side-channel and traffic analysis attacks. Our implementation of PRAs in Alpenhorn, which is a recent anonymous messaging system, shows that PRAs increase the network resources required to start a conversation by up to 16× (can be made as low as 4× in some cases), but add no overhead once the conversation has been established.

Desde una perspectiva mundial se considera que la Internet aporta nuevos desafíos a la educación literaria, la presencia de las tecnologías digitales como estrategias de aprendizaje, ya no es ajena para las nuevas generaciones, se están introduciendo significativamente en el ámbito educativo, según estadísticas emitidas por la UNESCO, UNESCO (2017), indicó en su informe que en Norteamérica y Europa el 14% no logra las competencias lectoras, el 31% en este y sudeste asiático, 36% en América Latina y el Caribe, datos alarmantes que demanda de esfuerzo docente y de toda la comunidad educativa, por tanto no se logra culminar el nivel primario con suficiencia requerida, por este motivo la investigación tuvo como objetivo determinar la influencia del uso de blogs educativos como red integradora para escribir y compartir literatura infantil en niños de Educación Primaria, cuyo método de estudio consistió en identificar a través del pretest el uso de blog educativo para compartir literatura, considerando las dimensiones de las variables, por tal motivo se diseñó y aplicó un programa para revertir resultados encontrados en la I.E, se utilizó la investigación cuasiexperimental, cuyo Grupo de Control fueron estudiantes de la I.E. José María Arguedas de Chiclayo y el Grupo de Experimento la I.E N° 10626 "José Cesar Solís Celis- Los Cocos – Ferreñafe, con una muestra de 646 estudiantes, distribuidos en 323 cada grupo, se trabajó las estrategias necesarias para la aplicación del programa, obteniendo resultados significativos, concluyendo que el blog educativo permitió compartir y escribir literatura infantil, siendo un logro en el aprendizaje de los estudiantes, quienes han fortalecido sus capacidades a través del uso de la tecnología, fortificando las dimensiones de Inteligencia interpersonal, Técnica, Pedagogía, Creatividad, Inteligencia Lingüística, con una valoración máxima de 5. Chiclayo Escuela de Posgrado Innovaciones Pedagógicas

DRP is a new concurrency control protocol for software transactional memory that achieves high throughput, even for skewed workloads that exhibit high contention. DRP builds on prior works that chop transactions into pieces to expose more concurrency opportunities, but unlike these works, DRP performs no static analyses and supports arbitrary workloads. DRP achieves a high degree of concurrency across most workloads and guarantees deadlock freedom, strict serializability, and opacity. We incorporate DRP into the software transactional objects library STO [18] and find that DRP improves STO's throughput on several STAMP benchmarks by up to 3.6x. Additionally, an in-memory multicore database implemented with our modified variant of STO outperforms databases that use OCC or transaction chopping for concurrency control. Specifically, DRP achieves 6.6x higher throughput than OCC when contention is high. Compared to transaction chopping, our DRP achieves 3.3x higher throughput when contention is medium or low. Furthermore, our implementation achieves comparable performance to OCC and transaction chopping at other contention levels.

This paper introduces a new attack on recent messaging systems that protect communication metadata. The main observation is that if an adversary manages to compromise a user's friend, it can use this compromised friend to learn information about the user's other ongoing conversations. Specifically, the adversary learns whether a user is sending other messages or not, which opens the door to existing intersection and disclosure attacks. To formalize this compromised friend attack, we present an abstract scenario called the exclusive call center problem that captures the attack's root cause, and demonstrates that it is independent of the particular design or implementation of existing metadata-private messaging systems. We then introduce a new primitive called a private answering machine that can prevent the attack. Unfortunately, building a secure and efficient instance of this primitive under only computational hardness assumptions does not appear possible. Instead, we give a construction under the assumption that users can place a bound on their maximum number of friends and are okay leaking this information., Appears in WPES 2018. This update contains a minor clarification in Section 4 (last paragraph) and Section 4.1 (first paragraph) over the published version

En el presente informe técnico laboral se describe el proceso productivo y los controles realizados para la elaboración de tapas twist off y envases de vidrio en la empresa industria de Estampado Metálico SAC (IDEMSAC), en donde se viene cumpliendo la función de supervisor de producción y supervisor de calidad de tapas twist off, ademas se da un aporte técnico comparando los efectos de Ietalidad en conservas de pescado utilizando envase de hojalata y envase de vidrio determinando aspectos a favor y en contra para ambos procesos. Actualmente la industria del envase es una industria atractiva y competitiva cuyo crecimiento ha sido sostenible y por encima al crecimiento económico del país, hoy la mayoría de las industrias alimentarias utilizan todo tipo de envase que varían desde y su diseño y material utilizado, dependiendo del producto alimentario envasado. Es portal motivo que en la legitimas décadas la demanda de envases de vidrio con tapas twist y envases de hojalata ha ido en crecimiento, esto obliga a las industrias de estos productos primarios mejorar su tecnología y sistemas de gestión con el fin de elaborar productos de primera calidad, que a su vez conlleva a mejoras en la productividad de todo sus procesos. Trabajo de suficiencia profesional

This paper treats a critical component of the Web ecosystem that has so far received little attention in our community: ad exchanges. Ad exchanges run auctions to sell publishers' inventory-space on Web pages-to advertisers who want to display ads in those spaces. Unfortunately, under the status quo, the parties to an auction cannot check that the auction was carried out correctly, which raises the following more general question: how can we create verifiability in low-latency, high-frequency auctions where the parties do not know each other? We address this question with the design, prototype implementation, and experimental evaluation of VEX. VEX introduces a technique for efficient, privacy-preserving integer comparisons; couples these with careful protocol design; and adds little latency and tolerable overhead.