Implementation, Characterization and Application of Path Changing Switch based Arbiter PUF on FPGA as a lightweight Security Primitive for IoT

Secure authentication of any Internet-of-Things (IoT) device becomes the utmost necessity due to the lack of specifically designed IoT standards and intrinsic vulnerabilities with limited resources and heterogeneous technologies. Despite the suitability of arbiter physically unclonable function (APUF) among other PUF variants for the IoT applications, implementing it on field-programmable gate arrays (FPGAs) is challenging. This work presents the complete characterization of the path changing switch (PCS) 1 based APUF on two different families of FPGA, like Spartan-3E (90 nm CMOS) and Artix-7 (28 nm CMOS). A comprehensive study of the existing tuning concept for programmable delay logic (PDL) based APUF implemented on FPGA is presented, leading to establishment of its practical infeasibility. We investigate the entropy, randomness properties of the PCS based APUF suitable for practical applications, and the effect of temperature variation signifying the adequate tolerance against environmental variation. The XOR composition of PCS based APUF is introduced to boost performance and security. The robustness of the PCS based APUF against machine learning based modeling attack is evaluated, showing similar characteristics as the conventional APUF. Experimental results validate the efficacy of PCS based APUF with a little hardware footprint removing the paucity of lightweight security primitive for IoT.

Almost positive links are strongly quasipositive

We prove that any link admitting a diagram with a single negative crossing is strongly quasipositive. This answers a question of Stoimenow’s in the (strong) positive. As a second main result, we give a simple and complete characterization of link diagrams with quasipositive canonical surface (the surface produced by Seifert’s algorithm). As applications, we determine which prime knots up to 13 crossings are strongly quasipositive, and we confirm the following conjecture for knots that have a canonical surface realizing their genus: a knot is strongly quasipositive if and only if the Bennequin inequality is an equality.

Design, Calibration, and Application of a Robust, Cost-Effective, and High-Resolution Lensless Holographic Microscope

Lensless holographic microscope (LHM) is an emerging very promising technology that provides high-quality imaging and analysis of biological samples without utilizing any lens for imaging. Due to its small size and reduced price, LHM can be a very useful tool for the point-of-care diagnosis of diseases, sperm assessment, or microfluidics, among others, not only employed in advanced laboratories but also in poor and/or remote areas. Recently, several LHMs have been reported in the literature. However, complete characterization of their optical parameters remains not much presented yet. Hence, we present a complete analysis of the performance of a compact, reduced cost, and high-resolution LHM. In particular, optical parameters such as lateral and axial resolutions, lateral magnification, and field of view are discussed into detail, comparing the experimental results with the expected theoretical values for different layout configurations. We use high-resolution amplitude and phase test targets and several microbeads to characterize the proposed microscope. This characterization is used to define a balanced and matched setup showing a good compromise between the involved parameters. Finally, such a microscope is utilized for visualization of static, as well as dynamic biosamples.

Plunging Circular Jets: Experimental Characterization of Dynamic Pressures Near the Stagnation Zone

Spillways are a requirement for dams’ safety, mainly preventing overtopping during floods. A common spillway solution involves plunging jets, which dissipate a considerable flow energy in the plunge pool. Energy dissipation has to occur in a controlled manner to avoid endangering the dam foundation and river slopes. Indeed, a scouring process in the downstream riverbed will inevitably develop until equilibrium is reached, otherwise a suitable pre-excavated or concrete lined plunge pool has to be provided. This paper focuses on experimental studies in which particular attention was paid to the dynamic pressures in the plunge pool floor at the vicinity of the jet stagnation zone sampled at 2.4 kHz. A rectangular experimental facility, 4.00 m long and 2.65 m wide, was used as plunge pool. Tests involved a vertical circular plunging jet with velocity ranging from 5 to 18 m/s and plunge pool depth ranging from 4.2 to 12.5 jet diameters. Differences in dynamic pressure measurements are highlighted between transducers located in the inner and outer regions of the jet diameter footprint. Several parameters characterizing the dynamic pressures evidence trends tied with the jet velocity that, to the authors’ knowledge, were not dealt in previous research. These can derive from the coupling effects of consequent recirculating motions and air entrainment in the limited-size plunge pool. Both effects, increasing with velocity, cause an reduction in the efficiency of the diffusing jet shear layer. This aspect deserves further investigation to achieve a better understanding and more complete characterization.

Reconstruction of Differential Operators with Frozen Argument

We study spectral properties of a wide class of differential operators with frozen arguments by putting them into a general framework of rank-one perturbation theory. In particular, we give a complete characterization of possible eigenvalues for these operators and solve the inverse spectral problem of reconstructing the perturbation from the resulting spectrum. This approach provides a unified treatment of several recent studies and gives a clear explanation and interpretation of the obtained results.

Comprehensive Characterization of Agricultural By-Products for Bio-Aggregate Based Concrete

The valorization of available agricultural by-products is important for the development of bio-aggregate based concretes as eco-friendly solutions for building materials. However, their diversity requires to assess their potential of use in vegetal concretes. This study aims to propose simple and relevant multi-physical characterization methods for plant aggregates. Basic and complementary characterizations were carried out on hemp shiv as a reference plant aggregate, and nine by-products available in the South-West part of France, i.e., oleaginous flax shiv, sunflower pith and bark, coriander straw, wheat straw, wheat chaff, corn shuck, miscanthus stem and vine shoot. The basic characterizations performed were those recommended by the TC-RILEM 236 BBM, i.e., particle size distribution, bulk density, water absorption and thermal conductivity. Complementary characterizations have also been proposed, taking into account the possible environment of the binder and the vegetal concrete manufacturing method. The additional tests developed or adapted from previous research assess the following properties: the content of water-soluble compounds at pH 7 and 12, the dry density of plant aggregates compacted in wet state, the real water absorption after compaction and the compression behavior of these compacted aggregates. This complete characterization highlights the distinct behavior of the different agroresources and allows to correlate these characteristics to the use properties of hardened composites.

Path homologies of motifs and temporal network representations

Path homology is a powerful method for attaching algebraic invariants to digraphs. While there have been growing theoretical developments on the algebro-topological framework surrounding path homology, bona fide applications to the study of complex networks have remained stagnant. We address this gap by presenting an algorithm for path homology that combines efficient pruning and indexing techniques and using it to topologically analyze a variety of real-world complex temporal networks. A crucial step in our analysis is the complete characterization of path homologies of certain families of small digraphs that appear as subgraphs in these complex networks. These families include all digraphs, directed acyclic graphs, and undirected graphs up to certain numbers of vertices, as well as some specially constructed cases. Using information from this analysis, we identify small digraphs contributing to path homology in dimension two for three temporal networks in an aggregated representation and relate these digraphs to network behavior. We then investigate alternative temporal network representations and identify complementary subgraphs as well as behavior that is preserved across representations. We conclude that path homology provides insight into temporal network structure, and in turn, emergent structures in temporal networks provide us with new subgraphs having interesting path homology.

High Yielding, One-Pot Synthesis of Bis(1H-indazol-1-yl)methane Catalyzed by 3d-Metal Salts

Synthetic access to poly(indazolyl)methanes has limited their study despite their structural similarity to the highly investigated chelating poly(pyrazolyl)methanes and their potentially important indazole moiety. Herein is presented a high yielding, one-pot synthesis for the 3d-metal catalyzed formation of bis(1H-indazol-1-yl)methane from 1H-indazole utilizing dimethylsulfoxide as the methylene source. Complete characterization of bis(1H-indazol-1-yl)methane is given with 1H and 13C NMR, UV/Vis, FTIR, high resolution mass spectrometry and for the first time, single crystal X-ray diffraction. This simple, inexpensive pathway to yield exclusively bis(1H-indazol-1-yl)methane provides synthetic access to further investigate the coordination and potential applications of the family of bis(indazolyl)methanes.

A data-informed mean-field approach to mapping of cortical parameter landscapes

Constraining the many biological parameters that govern cortical dynamics is computationally and conceptually difficult because of the curse of dimensionality. This paper addresses these challenges by proposing (1) a novel data-informed mean-field (MF) approach to efficiently map the parameter space of network models; and (2) an organizing principle for studying parameter space that enables the extraction biologically meaningful relations from this high-dimensional data. We illustrate these ideas using a large-scale network model of the Macaque primary visual cortex. Of the 10-20 model parameters, we identify 7 that are especially poorly constrained, and use the MF algorithm in (1) to discover the firing rate contours in this 7D parameter cube. Defining a “biologically plausible” region to consist of parameters that exhibit spontaneous Excitatory and Inhibitory firing rates compatible with experimental values, we find that this region is a slightly thickened codimension-1 submanifold. An implication of this finding is that while plausible regimes depend sensitively on parameters, they are also robust and flexible provided one compensates appropriately when parameters are varied. Our organizing principle for conceptualizing parameter dependence is to focus on certain 2D parameter planes that govern lateral inhibition: Intersecting these planes with the biologically plausible region leads to very simple geometric structures which, when suitably scaled, have a universal character independent of where the intersections are taken. In addition to elucidating the geometry of the plausible region, this invariance suggests useful approximate scaling relations. Our study offers, for the first time, a complete characterization of the set of all biologically plausible parameters for a detailed cortical model, which has been out of reach due to the high dimensionality of parameter space.