-
SoK: Trusted Execution in SoC-FPGAs
Authors:
Garrett Perkins,
Benjamin Macht,
Lucas Ritzdorf,
Tristan Running Crane,
Brock LaMeres,
Clemente Izurieta,
Ann Marie Reinhold
Abstract:
Trusted Execution Environments (TEEs) have emerged at the forefront of edge computing to combat the lack of trust between system components. Field Programmable Gate Arrays (FPGAs) are commonly used as edge computers but were not created with security as a primary consideration. Thus, FPGA-based edge computers are increasingly the target of cyberattacks. We analyze the existing literature to system…
▽ More
Trusted Execution Environments (TEEs) have emerged at the forefront of edge computing to combat the lack of trust between system components. Field Programmable Gate Arrays (FPGAs) are commonly used as edge computers but were not created with security as a primary consideration. Thus, FPGA-based edge computers are increasingly the target of cyberattacks. We analyze the existing literature to systematize the applications and features of FPGA-based TEEs. We identified 27 primary studies related to different types of System-on-Chip FPGA-based TEEs. Across a wide range of applications and features, the availability of extensible solutions is limited. Most solutions focus on specific features and applications, whereas few solutions focus on feature-rich, comprehensive TEEs that can be utilized across computer systems. Whether TEEs are specific or extensible, the paucity of published studies provides evidence of research gaps. This SoK delineates these gaps revealing opportunities for researchers and developers.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Invexifying Regularization of Non-Linear Least-Squares Problems
Authors:
Rixon Crane,
Fred Roosta
Abstract:
We consider regularization of non-convex optimization problems involving a non-linear least-squares objective. By adding an auxiliary set of variables, we introduce a novel regularization framework whose corresponding objective function is not only provably invex, but it also satisfies the highly desirable Polyak--Lojasiewicz inequality for any choice of the regularization parameter. Although our…
▽ More
We consider regularization of non-convex optimization problems involving a non-linear least-squares objective. By adding an auxiliary set of variables, we introduce a novel regularization framework whose corresponding objective function is not only provably invex, but it also satisfies the highly desirable Polyak--Lojasiewicz inequality for any choice of the regularization parameter. Although our novel framework is entirely different from the classical $\ell_2$-regularization, an interesting connection is established for the special case of under-determined linear least-squares. In particular, we show that gradient descent applied to our novel regularized formulation converges to the same solution as the linear ridge-regression problem. Numerical experiments corroborate our theoretical results and demonstrate the method's performance in practical situations as compared to the typical $\ell_2$-regularization.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
DINO: Distributed Newton-Type Optimization Method
Authors:
Rixon Crane,
Fred Roosta
Abstract:
We present a novel communication-efficient Newton-type algorithm for finite-sum optimization over a distributed computing environment. Our method, named DINO, overcomes both theoretical and practical shortcomings of similar existing methods. Under minimal assumptions, we guarantee global sub-linear convergence of DINO to a first-order stationary point for general non-convex functions and arbitrary…
▽ More
We present a novel communication-efficient Newton-type algorithm for finite-sum optimization over a distributed computing environment. Our method, named DINO, overcomes both theoretical and practical shortcomings of similar existing methods. Under minimal assumptions, we guarantee global sub-linear convergence of DINO to a first-order stationary point for general non-convex functions and arbitrary data distribution over the network. Furthermore, for functions satisfying Polyak-Lojasiewicz (PL) inequality, we show that DINO enjoys a linear convergence rate. Our proposed algorithm is practically parameter free, in that it will converge regardless of the selected hyper-parameters, which are easy to tune. Additionally, its sub-problems are simple linear least-squares, for which efficient solvers exist. Numerical simulations demonstrate the efficiency of DINO as compared with similar alternatives.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
Multi-Modal Citizen Science: From Disambiguation to Transcription of Classical Literature
Authors:
Maryam Foradi,
Jan Kaßel,
Johannes Pein,
Gregory R. Crane
Abstract:
The engagement of citizens in the research projects, including Digital Humanities projects, has risen in prominence in recent years. This type of engagement not only leads to incidental learning of participants but also indicates the added value of corpus enrichment via different types of annotations undertaken by users generating so-called smart texts. Our work focuses on the continuous task of a…
▽ More
The engagement of citizens in the research projects, including Digital Humanities projects, has risen in prominence in recent years. This type of engagement not only leads to incidental learning of participants but also indicates the added value of corpus enrichment via different types of annotations undertaken by users generating so-called smart texts. Our work focuses on the continuous task of adding new layers of annotation to Classical Literature. We aim to provide more extensive tools for readers of smart texts, enhancing their reading comprehension and at the same time empowering the language learning by introducing intellectual tasks, i.e., linking, tagging, and disambiguation. The current study adds a new mode of annotation-audio annotations-to the extensively annotated corpus of poetry by the Persian poet Hafiz. By proposing tasks with three different difficulty levels, we estimate the users' ability of providing correct annotations in order to rate their answers in further stages of the project, where no ground truth data is available. While proficiency in Persian is beneficial, annotators with no knowledge of Persian are also able to add annotations to the corpus.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
DINGO: Distributed Newton-Type Method for Gradient-Norm Optimization
Authors:
Rixon Crane,
Fred Roosta
Abstract:
For optimization of a sum of functions in a distributed computing environment, we present a novel communication efficient Newton-type algorithm that enjoys a variety of advantages over similar existing methods. Similar to Newton-MR, our algorithm, DINGO, is derived by optimization of the gradient's norm as a surrogate function. DINGO does not impose any specific form on the underlying functions, a…
▽ More
For optimization of a sum of functions in a distributed computing environment, we present a novel communication efficient Newton-type algorithm that enjoys a variety of advantages over similar existing methods. Similar to Newton-MR, our algorithm, DINGO, is derived by optimization of the gradient's norm as a surrogate function. DINGO does not impose any specific form on the underlying functions, and its application range extends far beyond convexity. In addition, the distribution of the data across the computing environment can be arbitrary. Further, the underlying sub-problems of DINGO are simple linear least-squares, for which a plethora of efficient algorithms exist. Lastly, DINGO involves a few hyper-parameters that are easy to tune. Moreover, we theoretically show that DINGO is not sensitive to the choice of its hyper-parameters in that a strict reduction in the gradient norm is guaranteed, regardless of the selected hyper-parameters. We demonstrate empirical evidence of the effectiveness, stability and versatility of our method compared to other relevant algorithms.
△ Less
Submitted 2 December, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
Nanoscale Metallic Iron for Environmental Remediation: Prospects and Limitations
Authors:
Chicgoua Noubactep,
Sabine Caré,
Richard Crane
Abstract:
The amendment of the subsurface with nanoscale metallic iron particles (nano-Fe0) has been discussed in the literature as an efficient in situ technology for groundwater remediation. However, the introduction of this technology was controversial and its efficiency has never been univocally established. This unsatisfying situation has motivated this communication whose objective was a comprehensive…
▽ More
The amendment of the subsurface with nanoscale metallic iron particles (nano-Fe0) has been discussed in the literature as an efficient in situ technology for groundwater remediation. However, the introduction of this technology was controversial and its efficiency has never been univocally established. This unsatisfying situation has motivated this communication whose objective was a comprehensive discussion of the intrinsic reactivity of nano-Fe0 based on the contemporary knowledge on the mechanism of contaminant removal by Fe0 and a mathematical model. It is showed that due to limitations of the mass transfer of nano-Fe0 to contaminants, available concepts cannot explain the success of nano-Fe0 injection for in situ groundwater remediation. It is recommended to test the possibility of introducing nano-Fe0 to initiate the formation of roll-fronts which propagation would induce the reductive transformation of both dissolved and adsorbed contaminants. Within a roll-front, FeII from nano-Fe0 is the reducing agent for contaminants. FeII is recycled by biotic or abiotic FeIII reduction. While the roll-front concept could explain the success of already implemented reaction zones, more research is needed for a science-based recommendation of nano- Fe0 for subsurface treatment by roll-fronts
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Modeling Corporate Epidemiology
Authors:
Benjamin Waber,
Ellen Pollock,
Manuel Cebrian,
Riley Crane,
Leon Danon,
Alex Pentland
Abstract:
Corporate responses to illness is currently an ad-hoc, subjective process that has little basis in data on how disease actually spreads at the workplace. Additionally, many studies have shown that productivity is not an individual factor but a social one: in any study on epidemic responses this social factor has to be taken into account. The barrier to addressing this problem has been the lack of…
▽ More
Corporate responses to illness is currently an ad-hoc, subjective process that has little basis in data on how disease actually spreads at the workplace. Additionally, many studies have shown that productivity is not an individual factor but a social one: in any study on epidemic responses this social factor has to be taken into account. The barrier to addressing this problem has been the lack of data on the interaction and mobility patterns of people in the workplace. We have created a wearable Sociometric Badge that senses interactions between individuals using an infra-red (IR) transceiver and proximity using a radio transmitter. Using the data from the Sociometric Badges, we are able to simulate diseases spreading through face-to-face interactions with realistic epidemiological parameters. In this paper we construct a curve trading off productivity with epidemic potential. We are able to take into account impacts on productivity that arise from social factors, such as interaction diversity and density, which studies that take an individual approach ignore. We also propose new organizational responses to diseases that take into account behavioral patterns that are associated with a more virulent disease spread. This is advantageous because it will allow companies to decide appropriate responses based on the organizational context of a disease outbreak.
△ Less
Submitted 5 November, 2010; v1 submitted 19 August, 2010;
originally announced August 2010.
-
Time Critical Social Mobilization: The DARPA Network Challenge Winning Strategy
Authors:
Galen Pickard,
Iyad Rahwan,
Wei Pan,
Manuel Cebrian,
Riley Crane,
Anmol Madan,
Alex Pentland
Abstract:
It is now commonplace to see the Web as a platform that can harness the collective abilities of large numbers of people to accomplish tasks with unprecedented speed, accuracy and scale. To push this idea to its limit, DARPA launched its Network Challenge, which aimed to "explore the roles the Internet and social networking play in the timely communication, wide-area team-building, and urgent mobil…
▽ More
It is now commonplace to see the Web as a platform that can harness the collective abilities of large numbers of people to accomplish tasks with unprecedented speed, accuracy and scale. To push this idea to its limit, DARPA launched its Network Challenge, which aimed to "explore the roles the Internet and social networking play in the timely communication, wide-area team-building, and urgent mobilization required to solve broad-scope, time-critical problems." The challenge required teams to provide coordinates of ten red weather balloons placed at different locations in the continental United States. This large-scale mobilization required the ability to spread information about the tasks widely and quickly, and to incentivize individuals to act. We report on the winning team's strategy, which utilized a novel recursive incentive mechanism to find all balloons in under nine hours. We analyze the theoretical properties of the mechanism, and present data about its performance in the challenge.
△ Less
Submitted 18 August, 2010;
originally announced August 2010.
-
Common group dynamic drives modern epidemics across social, financial and biological domains
Authors:
Zhenyuan Zhao,
Juan Pablo Calderón,
Chen Xu,
Dan Fenn,
Didier Sornette,
Riley Crane,
Pak Ming Hui,
Neil F. Johnson
Abstract:
We show that qualitatively different epidemic-like processes from distinct societal domains (finance, social and commercial blockbusters, epidemiology) can be quantitatively understood using the same unifying conceptual framework taking into account the interplay between the timescales of the grouping and fragmentation of social groups together with typical epidemic transmission processes. Diffe…
▽ More
We show that qualitatively different epidemic-like processes from distinct societal domains (finance, social and commercial blockbusters, epidemiology) can be quantitatively understood using the same unifying conceptual framework taking into account the interplay between the timescales of the grouping and fragmentation of social groups together with typical epidemic transmission processes. Different domain-specific empirical infection profiles, featuring multiple resurgences and abnormal decay times, are reproduced simply by varying the timescales for group formation and individual transmission. Our model emphasizes the need to account for the dynamic evolution of multi-connected networks. Our results reveal a new minimally-invasive dynamical method for controlling such outbreaks, help fill a gap in existing epidemiological theory, and offer a new understanding of complex system response functions.
△ Less
Submitted 21 July, 2009;
originally announced July 2009.
-
New Power Law Signature of Media Exposure in Human Response Waiting Time Distributions
Authors:
Riley Crane,
Frank Schweitzer,
Didier Sornette
Abstract:
We study the humanitarian response to the destruction brought by the tsunami generated by the Sumatra earthquake of December 26, 2004, as measured by donations, and find that it decays in time as a power law ~ 1/t^(alpha) with alpha=2.5 +/- 0.1. This behavior is suggested to be the rare outcome of a priority queuing process in which individuals execute tasks at a rate slightly faster than the rate…
▽ More
We study the humanitarian response to the destruction brought by the tsunami generated by the Sumatra earthquake of December 26, 2004, as measured by donations, and find that it decays in time as a power law ~ 1/t^(alpha) with alpha=2.5 +/- 0.1. This behavior is suggested to be the rare outcome of a priority queuing process in which individuals execute tasks at a rate slightly faster than the rate at which new tasks arise. We believe this to be the first empirical evidence documenting this recently predicted regime, and provide additional independent evidence that suggests it arises as a result of the intense focus placed on this donation "task" by the media.
△ Less
Submitted 25 May, 2010; v1 submitted 8 March, 2009;
originally announced March 2009.
-
Robust dynamic classes revealed by measuring the response function of a social system
Authors:
R. Crane,
D. Sornette
Abstract:
We study the relaxation response of a social system after endogenous and exogenous bursts of activity using the time-series of daily views for nearly 5 million videos on YouTube. We find that most activity can be described accurately as a Poisson process. However, we also find hundreds of thousands of examples in which a burst of activity is followed by an ubiquitous power-law relaxation governi…
▽ More
We study the relaxation response of a social system after endogenous and exogenous bursts of activity using the time-series of daily views for nearly 5 million videos on YouTube. We find that most activity can be described accurately as a Poisson process. However, we also find hundreds of thousands of examples in which a burst of activity is followed by an ubiquitous power-law relaxation governing the timing of views. We find that these relaxation exponents cluster into three distinct classes, and allow for the classification of collective human dynamics. This is consistent with an epidemic model on a social network containing two ingredients: A power law distribution of waiting times between cause and action and an epidemic cascade of actions becoming the cause of future actions. This model is a conceptual extension of the fluctuation-dissipation theorem to social systems, and provides a unique framework for the investigation of timing in complex systems.
△ Less
Submitted 14 March, 2008;
originally announced March 2008.
-
Direct observation of quantum superconducting fluctuations in an insulating groundstate
Authors:
N. P. Armitage,
R. Crane,
G. Sambandamurthy,
A. Johansson,
D. Shahar,
G. Gruner
Abstract:
We review our recent measurements of the complex AC conductivity of thin InO_x films studied as a function of magnetic field through the nominal 2D superconductor-insulator transition. These measurements - the first of their type to probe nonzero frequency - reveals a significant finite frequency superfluid stiffness well into the insulating regime. Unlike conventional fluctuation superconductiv…
▽ More
We review our recent measurements of the complex AC conductivity of thin InO_x films studied as a function of magnetic field through the nominal 2D superconductor-insulator transition. These measurements - the first of their type to probe nonzero frequency - reveals a significant finite frequency superfluid stiffness well into the insulating regime. Unlike conventional fluctuation superconductivity in which thermal fluctuations give a superconducting response in regions of parameter space that don't exhibit long range order, these fluctuations are temperature independent as T --> 0 and are exhibited in samples where the resistance is large (greater than 10^6 Ohms/Square) and strongly diverging. We interpret this as the direct observation of quantum superconducting fluctuations around an insulating ground state. This system serves as a prototype for other insulating states of matter that derive from superconductors.
△ Less
Submitted 1 June, 2007;
originally announced June 2007.
-
Fluctuations, dissipation, and nonuniversal superfluid jumps in two-dimensional superconductors
Authors:
R. W. Crane,
N. P. Armitage,
A. Johansson,
G. Sambandamurthy,
D. Shahar,
G. Gruner
Abstract:
We report a comprehensive study of the complex AC conductivity of thin effectively 2D amorphous superconducting InO_x films at zero applied field. Below a temperature scale T_c0 where the superconducting order parameter amplitude becomes well defined, there is a temperature where both the generalized superfluid stiffness acquires a frequency dependence and the DC mangetoresistance becomes linear i…
▽ More
We report a comprehensive study of the complex AC conductivity of thin effectively 2D amorphous superconducting InO_x films at zero applied field. Below a temperature scale T_c0 where the superconducting order parameter amplitude becomes well defined, there is a temperature where both the generalized superfluid stiffness acquires a frequency dependence and the DC mangetoresistance becomes linear in field. We associate this with a transition of the Kosterlitz-Thouless-Berezinskii (KTB) type. At our measurement frequencies the superfluid stiffness at T_KTB is found to be larger than the universal value. Although this may be understood with a vortex dielectric constant of epsilon_v ~ 1.9 within the usual KTB theory, this is a relatively large value and indicates that such a system may be out of the domain of applicability of the low-fugacity (low vortex density) KTB treatment. This opens up the possibility that at least some of the discrepancy from a non-universal magnitude is intrinsic. Our finite frequency measurements allow us access to a number of other phenomena concerning the charge dynamics in superconducting thin films, including an enhanced conductivity near the amplitude fluctuation temperature T_c0 and a finite dissipation at low temperature which appears to be a universal aspect of highly disordered superconducting films.
△ Less
Submitted 15 September, 2010; v1 submitted 4 December, 2006;
originally announced December 2006.
-
Survival of superconducting correlations across the 2D superconductor-insulator transition: A finite frequency study
Authors:
R. W. Crane,
N. P. Armitage,
A. Johansson,
G. Sambandamurthy,
D. Shahar,
G. Gruner
Abstract:
The complex ac conductivity of thin highly disordered InOx films was studied as a function of magnetic field through the nominal two-dimensional superconductor-insulator transition. We have resolved a significant finite-frequency superfluid stiffness well into the insulating regime, giving direct evidence for quantum superconducting fluctuations around an insulating ground state and a state of mat…
▽ More
The complex ac conductivity of thin highly disordered InOx films was studied as a function of magnetic field through the nominal two-dimensional superconductor-insulator transition. We have resolved a significant finite-frequency superfluid stiffness well into the insulating regime, giving direct evidence for quantum superconducting fluctuations around an insulating ground state and a state of matter with localized Cooper pairs. A phase diagram is established that includes the superconducting state, a transition to a "Bose" insulator, and an eventual crossover to a "Fermi" insulating state at high fields. We speculate on the consequences of these observations, their impact on our understanding of the insulating state, and its relevance as a prototype for other insulating states of matter that derive from superconductors.
△ Less
Submitted 15 September, 2010; v1 submitted 4 April, 2006;
originally announced April 2006.
-
The Donation-Payment Gift Card Concept: how to give twice with one card
Authors:
R. Crane,
J. V. Escobar-Sotomayor,
D. Sornette
Abstract:
Standard economic theory, starting with Adam Smith's invisible hand, holds that those who trade for their own selfish motives of maximizing their private preferences may contribute more to the public wealth than those who claim altruistic motives. Under restrictive conditions, this has been shown to result from a self-organizing mechanism acting at the global system level, which ensures that opt…
▽ More
Standard economic theory, starting with Adam Smith's invisible hand, holds that those who trade for their own selfish motives of maximizing their private preferences may contribute more to the public wealth than those who claim altruistic motives. Under restrictive conditions, this has been shown to result from a self-organizing mechanism acting at the global system level, which ensures that optimal allocation of resources derives from competition within the rule of law. In a nutshell, according to this view, being competitively selfish adds value for all. But to what degree can doing good add competitive value to products and services? We propose the creation of the Donation-Payment card as a solution to the legal and moral issues plaguing the emerging anonymous, direct-to-consumer, stored-value prepaid (SVP) card market. Our proposal to redirect millions of dollars whose status is in conflict not only improves society and empowers people, but also represents the best free-market solution to the SVP-Cards industry. The Donation-Payment card kills two birds with one stone by marrying business interests with societal benefits. In addition, think of the state of mind of a grand-parent giving a SVP-card to a grand-child, who also feels like "killing two birds with one stone" or should we say more aptly feels like "giving twice with one card".
△ Less
Submitted 8 October, 2005;
originally announced October 2005.