VerSum: Verifiable Computations over Large Public Logs

VerSum allows lightweight clients to outsource expensive computations over large and frequently changing data structures, such as the Bitcoin or Namecoin blockchains, or a Certificate Transparency log. VerSum clients ensure that the output is correct by comparing the outputs from multiple servers. VerSum assumes that at least one server is honest, and crucially, when servers disagree, VerSum uses an efficient conflict resolution protocol to determine which server(s) made a mistake and thus obtain the correct output. VerSum's contribution lies in achieving low server-side overhead for both incremental re-computation and conflict resolution, using three key ideas: (1) representing the computation as a functional program, which allows memoization of previous results; (2) recording the evaluation trace of the functional program in a carefully designed computation history to help clients determine which server made a mistake; and (3) introducing a new authenticated data structure for sequences, called SeqHash, that makes it efficient for servers to construct summaries of computation histories in the presence of incremental re-computation. Experimental results with an implementation of VerSum show that VerSum can be used for a variety of computations, that it can support many clients, and that it can easily keep up with Bitcoin's rate of new blocks with transactions.United States. Defense Advanced Research Projects Agency. Clean-slate design of Resilient, Adaptive, Secure Hosts (CRASH) Program (Contract N66001-10-2-4089)National Science Foundation (U.S.) (Award CNS-1053143)National Science Foundation (U.S.) (Award CNS-1413920

Transistor-Like Spin Nano-Switches: Physics and Applications

Progress in the last two decades has effectively integrated spintronics and nanomagnetics into a single field, creating a new class of spin-based devices that are now being widely used in magnetic memory devices. However, it is not clear if these advances could also be used to build logic devices

Modeling and design for energy-efficient spintronic logic devices and circuits

The objective of the proposed research is the modeling and the design of energy-efficient and scalable novel spintronic devices. Over the past two decades, spintronic devices have achieved special status due to their advantages in terms of low-voltage operation, smaller footprint area, non-volatile memory, and compatibility with CMOS technology. To design efficient spin-based systems, researchers require the precise modeling of the physics of nanomagnets, piezoelectrics, thermal noise, and metallic nanowires. Using the models developed during the research, spintronic logic devices comprised of hybrid magnetic and piezoelectric structures are proposed. The delay, energy dissipation, and footprint area of the proposed devices are analyzed. Moreover, the proposed devices are used as building blocks to propose spin-based logic gates, pattern and image recognition circuits, long-range interconnects, interface circuits, and coupled-oscillators. The performance of the proposed circuits is benchmarked against CMOS and other spin-based circuits, which shows improved performance, especially in implementing non-Boolean applications and interface circuits.Ph.D

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)

The Symposium on Theoretical Aspects of Computer Science (STACS) is held alternately in France and in Germany. The conference of February 26-28, 2009, held in Freiburg, is the 26th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), Marseille (2006), Aachen (2007), and Bordeaux (2008). ..

Changement de masse des glaciers à l’échelle mondiale par analyse spatiotemporelle de modèles numériques de terrain

Les glaciers de la planète rétrécissent rapidement, et produisent des impacts qui s'étendent de la hausse du niveau de la mer et la modification des risques cryosphériques jusqu'au changement de disponibilité en eau douce. Malgré des avancées significatives durant l'ère satellitaire, l'observation des changements de masse des glaciers est encore entravée par une couverture partielle des estimations de télédétection, et par une faible contrainte sur les erreurs des évaluations associées. Dans cette thèse, nous présentons une estimation mondiale et résolue des changements de masse des glaciers basée sur l'analyse spatio-temporelle de modèles numériques de terrain. Nous développons d'abord des méthodes de statistiques spatio-temporelles pour évaluer l'exactitude et la précision des modèles numériques de terrain, et pour estimer des séries temporelles de l'altitude de surface des glaciers. En particulier, nous introduisons un cadre spatial non stationnaire pour estimer et propager des corrélations spatiales multi-échelles dans les incertitudes d'estimations géospatiales. Nous générons ensuite des modèles numériques de terrain massivement à partir de deux décennies d'archives d'images optiques stéréo couvrant les glaciers du monde entier. À partir de ceux-ci, nous estimons des séries temporelles d'altitude de surface pour tous les glaciers de la Terre à une résolution de 100,m sur la période 2000--2019. En intégrant ces séries temporelles en changements de volume et de masse, nous révélons une accélération significative de la perte de masse des glaciers à l'échelle mondiale, ainsi que des réponses régionalement distinctes qui reflètent des changements décennaux de conditions climatiques. En utilisant une grande quantité de données indépendantes et de haute précision, nous démontrons la validité de notre analyse pour produire des incertitudes robustes et cohérentes à différentes échelles de la structure spatio-temporelle de nos estimations. Nous espérons que nos méthodes favorisent des analyses spatio-temporelles robustes, en particulier pour identifier les sources de biais et d'incertitudes dans les études géospatiales. En outre, nous nous attendons à ce que nos estimations permettent de mieux comprendre les facteurs qui régissent le changement des glaciers et d'étendre nos capacités de prévision de ces changements à toutes échelles. Ces prédictions sont nécessaires à la conception de politiques adaptatives sur l'atténuation des impacts de la cryosphère dans le contexte du changement climatique.The world's glaciers are shrinking rapidly, with impacts ranging from global sea-level rise and changes in freshwater availability to the alteration of cryospheric hazards. Despite significant advances during the satellite era, the monitoring of the mass changes of glaciers is still hampered by a fragmented coverage of remote sensing estimations and a poor constraint of the errors in related assessments. In this thesis, we present a globally complete and resolved estimate of glacier mass changes by spatiotemporal analysis of digital elevation models. We first develop methods based on spatiotemporal statistics to assess the accuracy and precision of digital elevation models, and to estimate time series of glacier surface elevation. In particular, we introduce a non-stationary spatial framework to estimate and propagate multi-scale spatial correlations in uncertainties of geospatial estimates. We then massively generate digital elevation models from two decades of stereo optical archives covering glaciers worldwide. From those, we estimate time series of surface elevation for all of Earth's glaciers at a resolution of 100,m during 2000--2019. Integrating these time series into volume and mass changes, we identify a significant acceleration of global glacier mass loss, as well as regionally-contrasted responses that mirror decadal changes in climatic conditions. Using a large amount of independent, high-precision data, we demonstrate the validity of our analysis to yield robust and consistent uncertainties at different scales of the spatiotemporal structure of our estimates. We expect our methods to foster robust spatiotemporal analyses, in particular to identify sources of biases and uncertainties in geospatial assessments. Furthermore, we anticipate our estimates to advance the understanding of the drivers that govern glacier change, and to extend our capabilities of predicting these changes at all scales. Such predictions are critically needed to design adaptive policies on the mitigation of cryospheric impacts in the context of climate change