Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis

Conventional dual-rail precharge logic suffers from difficult implementations of dual-rail structure for obtaining strict compensation between the counterpart rails. As a light-weight and high-speed dual-rail style, balanced cell-based dual-rail logic (BCDL) uses synchronised compound gates with global precharge signal to provide high resistance against differential power or electromagnetic analyses. BCDL can be realised from generic field programmable gate array (FPGA) design flows with constraints. However, routings still exist as concerns because of the deficient flexibility on routing control, which unfavourably results in bias between complementary nets in security-sensitive parts. In this article, based on a routing repair technique, novel verifications towards routing effect are presented. An 8 bit simplified advanced encryption processing (AES)-co-processor is executed that is constructed on block random access memory (RAM)-based BCDL in Xilinx Virtex-5 FPGAs. Since imbalanced routing are major defects in BCDL, the authors can rule out other influences and fairly quantify the security variants. A series of asymptotic correlation electromagnetic (EM) analyses are launched towards a group of circuits with consecutive routing schemes to be able to verify routing impact on side channel analyses. After repairing the non-identical routings, Mutual information analyses are executed to further validate the concrete security increase obtained from identical routing pairs in BCDL.

Calmodulin/KCa3.1 channel interactions as determinant to the KCa3.1 Ca2+ dependent gating : theoretical and experimental analyses

Differentes études ont montré que la sensibilité au Ca2+ du canal KCa3.1, un canal potassique indépendant du voltage, était conférée par la protéine calmoduline (CaM) liée de façon constitutive au canal. Cette liaison impliquerait la région C-lobe de la CaM et un domaine de $\ikca$ directement relié au segment transmembranaire S6 du canal. La CaM pourrait égalment se lier au canal de façon Ca2+ dépendante via une interaction entre un domaine de KCa3.1 du C-terminal (CaMBD2) et la région N-lobe de la CaM. Une étude fut entreprise afin de déterminer la nature des résidus responsables de la liaison entre le domaine CaMBD2 de KCa3.1 et la région N-lobe de la CaM et leur rôle dans le processus d'ouverture du canal par le Ca2+. Une structure 3D du complexe KCa3.1/CaM a d'abord été générée par modélisation par homologie avec le logiciel MODELLER en utilisant comme référence la structure cristalline du complexe SK2.2/CaM (PDB: 1G4Y). Le modèle ainsi obtenu de KCa3.1 plus CaM prévoit que le segment L361-S372 dans KCa3.1 devrait être responsable de la liaison dépendante du Ca2+ du canal avec la région N-lobe de la CaM via les résidus L361 et Q364 de KCa3.1 et E45, E47 et D50 de la CaM. Pour tester ce modèle, les résidus dans le segment L361-S372 ont été mutés en Cys et l'action du MTSET+ (chargé positivement) et MTSACE (neutre) a été mesurée sur l'activité du canal. Des enregistrements en patch clamp en configuration ``inside-out`` ont montré que la liaison du réactif chargé MTSET+ au le mutant Q364C entraîne une forte augmentation du courant, un effet non observé avec le MTSACE. De plus les mutations E45A et E47A dans la CaM, ont empêché l'augmentation du courant initié par MTSET+ sur le mutant Q364C. Une analyse en canal unitaire a confirmé que la liaison MTSET+ à Q364C cause une augmentation de la probabilité d'ouverture de KCa3.1 par une déstabilisation de l'état fermé du canal. Nous concluons que nos résultats sont compatibles avec la formation de liaisons ioniques entre les complexes chargés positivement Cys-MTSET+ à la position 364 de KCa3.1 et les résidus chargés négativement E45 et E47 dans la CaM. Ces données confirment qu'une stabilisation électrostatique des interactions CaM/KCa3.1 peut conduire à une augmentation de la probabilité d'ouverture du canal en conditions de concentrations saturantes de Ca2+.

Initial analysis from a Lidar observation campaign of sugar cane fires in the central and western portion of the S̃ao Paulo State - Brazil

The central and western portion of the S̃ao Paulo State has large areas of sugar cane plantations, and due to the growing demand for biofuels, the production is increasing every year. During the harvest period some plantation areas are burnt a few hours before the manual cutting, causing significant quantities of biomass burning aerosol to be injected into the atmosphere. During August 2010, a field campaign has been carried out in Ourinhos, situated in the south-western region of S̃ao Paulo State. A 2-channel Raman Lidar system and two meteorological S-Band Doppler Radars are used to indentify and quantify the biomass burning plumes. In addiction, CALIPSO Satellite observations were used to compare the aerosol optical properties detected in that region with those retrieved by Raman Lidar system. Although the campaign yielded 30 days of measurements, this paper will be focusing only one case study, when aerosols released from nearby sugar cane fires were detected by the Lidar system during a CALIPSO overpass. The meteorological radar, installed in Bauru, approximately 110 km northeast from the experimental site, had recorded echoes (dense smoke comprising aerosols) from several fires occurring close to the Raman Lidar system, which also detected an intense load of aerosol in the atmosphere. HYSPLIT model forward trajectories presented a strong indication that both instruments have measured the same air masss parcels, corroborated with the Lidar Ratio values from the 532 nm elastic and 607 nm Raman N2 channel analyses and data retrieved from CALIPSO have indicated the predominance of aerosol from biomass burning sources. © 2011 SPIE.

An Interleaved EPE-Immune PA-DPL Structure for Resisting Concentrated EM Side Channel Attacks on FPGA Implementation

Early propagation effect (EPE) is a critical problem in conventional dual-rail logic implementations against Side Channel Attacks (SCAs). Among previous EPE-resistant architectures, PA-DPL logic offers EPE-free capability at relatively low cost. However, its separate dual core structure is a weakness when facing concentrated EM attacks where a tiny EM probe can be precisely positioned closer to one of the two cores. In this paper, we present an PA-DPL dual-core interleaved structure to strengthen resistance against sophisticated EM attacks on Xilinx FPGA implementations. The main merit of the proposed structure is that every two routing in each signal pair are kept identical even the dual cores are interleaved together. By minimizing the distance between the complementary routings and instances of both cores, even the concentrated EM measurement cannot easily distinguish the minor EM field unbalance. In PA- DPL, EPE is avoided by compressing the evaluation phase to a small portion of the clock period, therefore, the speed is inevitably limited. Regarding this, we made an improvement to extend the duty cycle of evaluation phase to more than 40 percent, yielding a larger maximum working frequency. The detailed design flow is also presented. We validate the security improvement against EM attack by implementing a simplified AES co-processor in Virtex-5 FPGA.

Online Video as a Tool for Planning Education and Engagement: A Content Analysis of U.S. City Planning Departments’ YouTube Channels

Thesis (Master's)--University of Washington, 2016-06

Competition between beta-subunits of cardiac L-type calcium channels

Cardiac L-type Ca (CaV1.2) channels are composed of a pore forming CaV1.2-α1 subunit and auxiliary β- and α2δ-subunits. β-subunits are important not only for surface expression of the channel pore but also for modulation of channel gating properties. Different β-subunits differentially modulate channel activity (Hullin et al., PLOSone, 2007) and thus L-type Ca2+ channel gating is altered when β-subunit expression pattern is changed. In human heart failure increased activity of single ventricular L-type Ca2+-channels is associated with an increased expression of β2-subunits. Interestingly, induction of β2-subunit over-expression in hearts of transgenic mice resembled this heart failure phenotype of hyperactive single L-type Ca2+-channel channels (Beetz et al., Cardiovasc Res. 2009). We hypothesised that competition of less stimulating β-subunits (e.g. β1) with β-subunits causing strong channel stimulation (e.g. β2) might be a means to treat dysfunctional L-type Ca2+-channel activity. To test this hypothesis, we performed whole-cell and single-channel measurements employing recombinant CaV1.2 channels expressed in HEK293 cells together with both β- and β1a2b-subunits. Whole-cell analysis revealed no differences of maximum L-type Ca2+-current densities [pA/pF] with coexpression of either β1a-subunits (-52±3.8), β2b-subunits (-61.5±6.6) or the mixtures of β- and β1a2b-subunits with the plasmid transfection ratio of 2:1 (-60.2±1.6) and 1:1 (-56.7±2.6) respectively. However, steady state inactivation kinetics differed between particular β-subunit and the relative amount of β-subunit presence in the mixtures (β1a1a-subunit (-41.1±1.0), β2b-subunits (-35.1±1.1), mixture 2:1 (-40.3±1.5), and mixture 1:1 (-38.4±2.0); [mV]; p<0.05, students t-test). Using a novel single-channel analysis, switching of gating between β1-like and β2-like modes was monitored on a minute time-scale when both β-subunits were co-expressed in the same cells, but the larger amount of β1a-subunits is required for the effective switching of gating. Our results indicate a model of mutually exclusive binding and effective competition between several β-subunits suggesting that hyperactive channel gating mediated e.g. by β2-subunits can be normalized by β1-subunits. Therefore, competitive replacement between different L-type Ca2+-channel β-subunits might serve as a novel therapeutic strategy for e.g. heart failure.

Timing attack di Paul C. Kocher: attacco al sistema di sicurezza RSA mediante strumenti di statistica

In questa tesi ho voluto descrivere il Timing Attack al sistema crittografico RSA, il suo funzionamento, la teoria su cui si basa, i suoi punti di forza e i punti deboli. Questo particolare tipo di attacco informatico fu presentato per la prima volta da Paul C. Kocher nel 1996 all’“RSA Data Security and CRYPTO conferences”. Nel suo articolo “Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems” l’autore svela una nuova possibile falla nel sistema RSA, che non dipende da debolezze del crittosistema puramente matematiche, ma da un aspetto su cui nessuno prima di allora si era mai soffermato: il tempo di esecuzione delle operazioni crittografiche. Il concetto è tanto semplice quanto geniale: ogni operazione in un computer ha una certa durata. Le variazioni dei tempi impiegati per svolgere le operazioni dal computer infatti, necessariamente dipendono dal tipo di algoritmo e quindi dalle chiavi private e dal particolare input che si è fornito. In questo modo, misurando le variazioni di tempo e usando solamente strumenti statistici, Kocher mostra che è possibile ottenere informazioni sull’implementazione del crittosistema e quindi forzare RSA e altri sistemi di sicurezza, senza neppure andare a toccare l’aspetto matematico dell’algoritmo. Di centrale importanza per questa teoria diventa quindi la statistica. Questo perché entrano in gioco molte variabili che possono influire sul tempo di calcolo nella fase di decifrazione: - La progettazione del sistema crittografico - Quanto impiega la CPU ad eseguire il processo - L’algoritmo utilizzato e il tipo di implementazione - La precisione delle misurazioni - Ecc. Per avere più possibilità di successo nell’attaccare il sistema occorre quindi fare prove ripetute utilizzando la stessa chiave e input differenti per effettuare analisi di correlazione statistica delle informazioni di temporizzazione, fino al punto di recuperare completamente la chiave privata. Ecco cosa asserisce Kocher: “Against a vulnerable system, the attack is computationally inexpensive and often requires only known ciphertext.”, cioè, contro sistemi vulnerabili, l’attacco è computazionalmente poco costoso e spesso richiede solo di conoscere testi cifrati e di ottenere i tempi necessari per la loro decifrazione.

Selected papers from OECD-NEA PSBT benchmark

Historically, the prediction of safety margins has been based on system level thermal-hydraulic calculations employing suitable empirical formulations for assembly specific geometries and fuel-element grid spacers. These works have assessed response, margins, and consequences for the system based on one-dimensional two-fluid or drift-flux type thermalhydraulics formulations with fuel-vendor specific hydraulic losses and heat transfer characteristics for various fuel assemblies, including the so-called hot channel. Analysis of the hot channel gives important information on flow rates, fuel element centerline temperature, fuel sheath temperature, and margin to the departure from nucleate boiling. Given the reliance of the above approaches on empirical formulations obtained from complex and often difficult experiments, there is significant interest in obtaining reliable and accurate results from computation tools which employ more fundamental empirical relationships which can be obtained from subsets of the domain or from other scaled experiments.

Measurement of the induced polarization of Λ(1116) in kaon electroproduction with CLAS

The CLAS Collaboration is using the p(e, e&feet; K+ p)π- reaction to perform a measurement of the induced polarization of the electroproduced Λ(1116). The parity-violating weak decay of the Λ into pπ- (64%) allows extraction of the recoil polarization of the Λ. The present study uses the CEBAF Large Acceptance Spectrometer (CLAS) to detect the scattered electron, the kaon, and the decay proton. CLAS allows for a large kinematic acceptance in Q2 (0.8 ≤ Q2 ≤ 3.5 GeV2 ), W (1.6 ≤ W ≤ 3.0 GeV), as well as the kaon scattering angle. In this experiment a 5.499 GeV electron beam was incident upon an unpolarized liquid-hydrogen target. The goal is to map out the kinematic dependencies for this polarization observable to provide new constraints for theoretical models of the electromagnetic production of kaon-hyperon final states. Along with previously published photo- and electroproduction cross sections and polarization observables from CLAS, SAPHIR, and GRAAL, these data are needed in a coupled-channel analysis to identify previously unobserved s-channel resonances.^

Analysis of foraminifera assemblages and sediment geochemical properties to characterise the environment near Araca and Saco da Cape la domestic sewage submarine outfalls of Sao Sebastiao Channel, Sao Paulo State, Brazil

Superficial bottom samples were collected near diffusers of domestic sewage submarine outfalls at Araca and Saco da Capela, Sao Sebastiao Channel, Brazil. The goal of this study was to investigate the distribution and composition of live benthic foraminifera assemblages and integrate the results obtained with geochemical analyses to assess human-induced changes. According to the results obtained no environmental stress was observed near the Saco da Capela submarine outfall diffusers. The foraminifera assemblage is characterised by species typical of highly hydrodynamic environments, with well-oxygenated bottom waters and low nutrient contents. In contrast, near Araca submarine outfall, organic enrichment was denoted by high phosphorus, sulphur and, to a lesser extent, total organic carbon content. Harmful influences on foraminifera could be identified by low richness and specific diversity, as well as the predominance of detritivore feeder species, which are associated with higher organic matter flux and low oxygen in the interstitial pore water. (C) 2009 Elsevier Ltd. All rights reserved.

Low-frequency noise and static analysis of the impact of the TiN metal gate thicknesses on n- and p-channel MuGFETs

The impact of the titanium nitride (TIN) gate electrode thickness has been investigated in n and p channel SOI multiple gate field effect transistors (MuGFETs) through low frequency noise charge pumping and static measurements as well as capacitance-voltage curves The results suggest that a thicker TIN metal gate electrode gives rise to a higher EOT a lower mobility and a higher interface trap density The devices have also been studied for different back gate biases where the GIFBE onset occurs at lower front-gate voltage for thinner TIN metal gate thickness and at higher V(GF) In addition it is demonstrated that post deposition nitridation of the MOCVD HfSiO gate dielectric exhibits an unexpected trend with TIN gate electrode thickness where a continuous variation of EOT and an increase on the degradation of the interface quality are observed (C) 2010 Elsevier Ltd All rights reserved

Analysis of source-follower buffers implemented with graded-channel SOI nMOSFETs operating at cryogenic temperatures

This work studies the operation of source-follower buffers implemented with standard and graded-channel (GC) fully depleted (FD) SCI nMOSFETs at low temperatures. The analysis is performed by comparing the voltage gain of buffers implemented with GC and standard SOI nMOS transistors considering devices with the same mask channel length and same effective channel length. It is shown that the use of GC devices allows for achieving improved gain in all inversion levels in a wide range of temperatures. In addition, this improvement increases as temperature is reduced. It is shown that GC transistors can provide virtually constant gain, while for standard devices, the gain departs from the maximum value depending on the temperature and inversion level imposed by the bias current and input voltage. Two-dimensional numerical simulations were performed in order to study the reasons for the enhanced gain of GC MOSFETs at low temperatures. (C) 2009 Elsevier Ltd. All rights reserved.

Harmonic distortion analysis of double gate graded-channel MOSFETs operating in saturation

In this work we present an analysis of harmonic distortion (HD) in graded-channel (GC) gate-all-a round (GAA) devices operating in saturation region for analog applications. The study has been performed through device characterization and two-dimensional process and device simulations. The overall study has been done on the total and third order HDs. When applied in the saturation regime as an amplifier, the GC outperforms conventional GAA transistors presenting simultaneously higher transconductance, lower drain output conductance and more than 15 dB improved linearity. The influence of channel length reduction on the H D is also analyzed. Although slight linearity degradation is observed in both the conventional and the GC devices when reducing the channel length, the HD presented by the GC transistor is significantly lower than the one showed by conventional device for any Studied channel length. This allows AC input signal amplitude up to 20 times higher than the conventional GAA for a same specified distortion level. (C) 2008 Elsevier Ltd. All rights reserved.

Quantitative analysis of vascular to cardiac selectivity of L- and T-type voltage-operated calcium channel antagonists in human tissues

1. Classical L-type voltage-operated calcium channel (VOCC) antagonists dilate blood vessels, depress myocardial contractility and slow cardiac conduction. 2. We compared four L-type VOCC antagonists and a novel tetralol derivative, mibefradil, reportedly 10-fold more selective for T- (transient) over L-type VOCC in two in vitro assays of human tissue, namely isolated small arteries from the aortic vasa vasorum in a myograph and right atrial trabeculae muscle under isometric force conditions. 3. In arteries contracted with K+ (62 mmol/L), the relaxation pIC(50) values for the VOCC antagonists felodipine, nifedipine, amlodipine, verapamil and mibefradil were 8.30, 7.78, 6.64, 6.26 and 6.22, respectively. In atrial trabeculae, the pIC(50) values to inhibit the inotropic response to a submaximal concentration of isoprenaline (6 nmol/L) for felodipine, nifedipine, verapamil, amlodipine and mibefradil were 7.21, 6.95, 6.91, 5.94 and 4.61, respectively. 4. Taking the anti-log (pIC(50) vessel - pIC(50) atrium) the vascular relaxation to cardiac depression potency ratios for mibefradil, felodipine, nifedipine, amlodipine and verapamil were 41, 12, 7, 5 and 0.22, respectively. 5. We conclude that, in human tissue assays, perhaps T- over L-type VOCC selectivity confers the most favourable vascular selectivity on mibefradil. Alternatively, splice variants of L-type VOCC in the vasculature (CaV1.2b) may be more sensitive to mibefradil than the splice variants in the heart (CaV1.2a).

Acoustic analysis of speech through a hearing aid: perceptual effects of changes with two-channel compression

Compression amplification significantly alters the acoustic speech signal in comparison to linear amplification. The central hypothesis of the present study was that the compression settings of a two-channel aid that best preserved the acoustic properties of speech compared to linear amplification would yield the best perceptual results, and that the compression settings that most altered the acoustic properties of speech compared to linear would yield significantly poorer speech perception. On the basis of initial acoustic analysis of the test stimuli recorded through a hearing aid, two different compression amplification settings were chosen for the perceptual study. Participants were 74 adults with mild to moderate sensorineural hearing impairment. Overall, the speech perception results supported the hypothesis. A further aim of the study was to determine if variation in participants' speech perception with compression amplification (compared to linear amplification) could be explained by the individual characteristics of age, degree of loss, dynamic range, temporal resolution, and frequency selectivity; however, no significant relationships were found.