On the leakage resilience of secure channel establishment

Secure communication channels are typically constructed from an authenticated key exchange (AKE) protocol, which authenticates the communicating parties and establishes shared secret keys, and a secure data transmission layer, which uses the secret keys to encrypt data. We address the partial leakage of communicating parties' long-term secret keys due to various side-channel attacks, and the partial leakage of plaintext due to data compression. Both issues can negatively affect the security of channel establishment and data transmission. In this work, we advance the modelling of security for AKE protocols by considering more granular partial leakage of parties' long-term secrets. We present generic and concrete constructions of two-pass leakage-resilient key exchange protocols that are secure in the proposed security models. We also examine two techniques--heuristic separation of secrets and fixed-dictionary compression--for enabling compression while protecting high-value secrets.

Alamethicin and related membrane channel forming polypeptides

Alamethicin and several related microbial polypeptides, which contain a high proportion of agr-aminoisobutyric acid (Aib) residues, possess the ability to modify the permeability properties of phospholipid bilayer membranes. Alamethicin induces excitability phenomena in model membranes and has served as an excellent model for the study of voltage sensitive transmembrane channels. This review summarizes various aspects of the structural chemistry and membrane modifying properties of alamethicin and related Alb containing peptides. The presence of Aib residues in these sequences, constrains the polypeptides to 310 or agr-helical conformations. Functional membrane channels are formed by aggregation of cylindrical peptide helices, which span the lipid bilayer, forming a scaffolding for an aqueous column across the membrane. After consideration of the available data on the conductance characteristics of alamethicin channels, a working, hypothesis for a channel model is outlined. Channel aggregates in the lipid phase may be stabilized by intermolecular hydrogen bonding, involving a central glutamine residue and also by interactions between the macro-dipoles of proximate peptide helices. Fluctuations between different conductance states are rationalized by transitions between states of different aggregation and hence altered dimensions of the aqueous core or by changes in net dipole moment of the aggregate. Ion fluxes through the channel may also be affected by the electric field within the aqueous core.

The helical conformations of 14- and 16-residue fragments of suzukacillin, a membrane channel-forming polypeptide

The suzukacillin fragments, Boc-Ala-Aib-Aib-Gln-Aib-Leu-Aib-Gly-Leu-Aib-Pro-Val-Aib-Aib-OMe (14), Boc-Ala-Aib-Ala-Aib-Aib-Gln-Aib-Leu-Aib-Gly-Leu-Aib-Pro-Val-Aib-Aib-OMe (16G) and the completely apolar 16-residue peptide in which the glutamine residue has been replaced by alanine (16A) have been studied by 270 MHz 1H-HMR, in C2HCl3 and (C2H3)2SO solution. Intramolecularly hydrogen-bonded NH groups have been identified by temperature and solvent dependence of chemical shifts. Peptides 14 and 16A adopt folded 310 helical conformations stabilized by 11 and 13 hydrogen bonds, respectively. In peptide 16G there are 12 intramolecular hydrogen bonds, with the glycine NH being solvent-exposed, in contrast to 14 and 16A.

Helical conformations of three crystalline pentapeptide fragments of suzukacillin, a membrane channel forming polypeptide

The crystal structures of three pentapeptide fragments of suzukacillin-A have been determined. Boc-Aib-Pro-Val-Aib-Val-OMe (peptide 1–5) adopts a distorted helical conformation, stabilized by three intramolecular hydrogen bonds (two 5→1, one 4→1). Boc-Ala-Aib-Ala-Aib-Aib-OMe (peptide 6–10) and Boc-Leu-Aib-Pro-Val-Aib-OMe (peptide 16–20) adopt 310 helical structures stabilized by three and two 4→1 intramolecular hydrogen bonds, respectively. These structures provide substantial support for a largely helical conformation for the suzukacillin membrane channel.

Space-Time Codes Achieving the DMD Tradeoff of the MIMO-ARQ Channel

For the quasi-static, Rayleigh-fading multiple-input multiple-output (MIMO) channel with n(t) transmit and n(r) receive antennas, Zheng and Tse showed that there exists a fundamental tradeoff between diversity and spatial-multiplexing gains, referred to as the diversity-multiplexing gain (D-MG) tradeoff. Subsequently, El Gamal, Caire, and Damen considered signaling across the same channel using an L-round automatic retransmission request (ARQ) protocol that assumes the presence of a noiseless feedback channel capable of conveying one bit of information per use of the feedback channel. They showed that given a fixed number L of ARQ rounds and no power control, there is a tradeoff between diversity and multiplexing gains, termed the diversity-multiplexing-delay (DMD) tradeoff. This tradeoff indicates that the diversity gain under the ARQ scheme for a particular information rate is considerably larger than that obtainable in the absence of feedback. In this paper, a set of sufficient conditions under which a space-time (ST) code will achieve the DMD tradeoff is presented. This is followed by two classes of explicit constructions of ST codes which meet these conditions. Constructions belonging to the first class achieve minimum delay and apply to a broad class of fading channels whenever n(r) >= n(t) and either L/n(t) or n(t)kslashL. The second class of constructions do not achieve minimum delay, but do achieve the DMD tradeoff of the fading channel for all statistical descriptions of the channel and for all values of the parameters n(r,) n(t,) L.

Identification of a mutation in the para-sodium channel gene of the cattle tick Rhipicephalus (Boophilus) microplus associated with resistance to synthetic pyrethroid acaricides

Resistance against synthetic pyrethroid (SP) products for the control of cattle ticks in Australia was detected in the field in 1984, within a very short time of commercial introduction. We have identified a mutation in the domain II S4-5 linker of the para-sodium channel that is associated with resistance to SPs in the cattle tick Rhipicephalus (Boophilus) microplus from Australia. The cytosine to adenine mutation at position 190 in the R. microplus sequence AF134216, results in an amino acid substitution from leucine in the susceptible strain to isoleucine in the resistant strain. A similar mutation has been shown to confer SP resistance in the whitefly, Bemisia tabaci, but has not been described previously in ticks. A diagnostic quantitative PCR assay has been developed using allele-specific Taqman® minor groove-binding (MGB) probes. Using the assay to screen field and laboratory populations of ticks showed that homozygote allelic frequencies correlated highly with the survival percentage at the discriminating concentration of cypermethrin.

Sustainable Grazing in the Channel Country Floodplains (phase 2) : A technical report on findings between March 2003 and June 2006

‘Sustainable Grazing in the Channel Country Floodplains’ was initiated by industry to redress the lack of objective information for sustainable management in the floodplains of Cooper Creek and the Diamantina and Georgina Rivers. The project has maintained links with the grazing community and has extensively drawn upon expert local experience and knowledge. The project has provided tools for managers to better anticipate the size of beneficial flooding arising from rains in the upper catchment and to more objectively assess the value of the pasture resulting from flooding. The latest information from the project has enabled customisation of the EDGENetwork™ Grazing Land Management training package for the Channel Country. In combination, these tools will assist in making earlier cattle stocking decisions, including when cattle may need to be mustered out of floodplain paddocks, how many additional cattle will be required to take advantage of the flood–grown pasture, and the timing of cattle turnoff. These will reduce costs by providing a greater lead time to plan cattle movements and purchases, and may enhance the sustainability of the resource base by better matching cattle numbers with the feed on offer.

Transmission of Correlated Sources Over a Fading Multiple Access Channel

In this paper we address the problem of transmission of correlated sources over a fading multiple access channel (MAC). We provide sufficient conditions for transmission with given distortions. Next these conditions are specialized to a Gaussian MAC (GMAC). Transmission schemes for discrete and Gaussian sources over a fading GMAC are considered. Various power allocation strategies are also compared.

2 Algorithms For 3-Layer Channel Routing

A channel router is an important design aid in the design automation of VLSI circuit layout. Many algorithms have been developed based on various wiring models with routing done on two layers. With the recent advances in VLSI process technology, it is possible to have three independent layers for interconnection. In this paper two algorithms are presented for three-layer channel routing. The first assumes a very simple wiring model. This enables the routing problem to be solved optimally in a time of O(n log n). The second algorithm is for a different wiring model and has an upper bound of O(n2) for its execution time. It uses fewer horizontal tracks than the first algorithm. For the second model the channel width is not bounded by the channel density.

Non-Destructive Method to Estimate the Moisture Content in Bread using Multi-Channel Electrical Impedance Spectroscopy

Bread undergoes several physicochemical changes during storage that results in a rapid loss of freshness. These changes depend on moisture content present in bread product. An instrument based on electrical impedance spectroscopy technique is developed to estimate moisture content of bread at different zones using designed multi-channel ring electrodes. A dedicated AT89S52 microcontroller and associated peripherals are employed for hardware. A constant current is applied across bread loaf through central pair of electrodes and developed potential across different zones of bread loaf are measured using remaining four ring electrode pairs. These measured values of voltage and current are used to measure the impedance at each zone. Electrical impedance behavior of the bread loaf at crust and crumb is investigated during storage. A linear relationship is observed between the measured impedance and moisture content present in crust and crumb of bread loaf during storage of 120 hours.

Reverse Channel Training For Reciprocal Mimo Systems With Spatial Multiplexing

This paper investigates the problem of designing reverse channel training sequences for a TDD-MIMO spatial-multiplexing system. Assuming perfect channel state information at the receiver and spatial multiplexing at the transmitter with equal power allocation to them dominant modes of the estimated channel, the pilot is designed to ensure an stimate of the channel which improves the forward link capacity. Using perturbation techniques, a lower bound on the forward link capacity is derived with respect to which the training sequence is optimized. Thus, the reverse channel training sequence makes use of the channel knowledge at the receiver. The performance of orthogonal training sequence with MMSE estimation at the transmitter and the proposed training sequence are compared. Simulation results show a significant improvement in performance.

Evolution of texture during equal channel angular extrusion of commercially pure aluminum: Experiments and simulations

The evolution of crystallographic texture has been comprehensively studied for commercially pure Al as a function of amount of ECAE deformation for the three major routes of ECAE processing. It has been observed that processing through different routes leads to different type of texture, in both qualitative as well as quantitative sense. The results have been analyzed on the basis of existing concepts on ECAE deformation and simulations have been carried out using the simple shear model of ECAE implemented into the Viscoplastic Self Consistent model of polycrystal plasticity. The simulations revealed that non-octahedral slip is needed to reproduce the experimental texture development.

Inhibition of Human Two-Pore Domain K+ Channel TREK1 by Local Anesthetic Lidocaine: Negative Cooperativity and Half-of-Sites Saturation Kinetics

TWIK-related K+ channel TREK1, a background leak K+ channel, has been strongly implicated as the target of several general and local anesthetics. Here, using the whole-cell and single-channel patch-clamp technique, we investigated the effect of lidocaine, a local anesthetic, on the human (h) TREK1 channel heterologously expressed in human embryonic kidney 293 cells by an adenoviral-mediated expression system. Lidocaine, at clinical concentrations, produced reversible, concentration-dependent inhibition of hTREK1 current, with IC50 value of 180 mu M, by reducing the single-channel open probability and stabilizing the closed state. We have identified a strategically placed unique aromatic couplet (Tyr352 and Phe355) in the vicinity of the protein kinase A phosphorylation site, Ser348, in the C-terminal domain (CTD) of hTREK1, that is critical for the action of lidocaine. Furthermore, the phosphorylation state of Ser348 was found to have a regulatory role in lidocaine-mediated inhibition of hTREK1. It is interesting that we observed strong intersubunit negative cooperativity (Hill coefficient = 0.49) and half-of-sites saturation binding stoichiometry (half-reaction order) for the binding of lidocaine to hTREK1. Studies with the heterodimer of wild-type (wt)-hTREK1 and Delta 119 C-terminal deletion mutant (hTREK1(wt)-Delta 119) revealed that single CTD of hTREK1 was capable of mediating partial inhibition by lidocaine, but complete inhibition necessitates the cooperative interaction between both the CTDs upon binding of lidocaine. Based on our observations, we propose a model that explains the unique kinetics and provides a plausible paradigm for the inhibitory action of lidocaine on hTREK1.

Evolution of Grain-Boundary Microstructure and Texture in Interstitial-Free Steel Processed by Equal-Channel Angular Extrusion

The equal-channel angular extrusion (ECAE) of Ti-bearing interstitial-free (IF) steel was performed following two different routes, up to four passes, at a temperature of 300 degrees C. The ECAE led to a grain refinement to submicron size. After the second pass, the grain size attained saturation thereafter. The microstructural analysis indicated the presence of coincident-site lattice (CSL) boundaries in significant fraction, in addition to a high volume fraction of high-angle random boundaries and some low-angle boundaries after the deformation. Among the special boundaries, Sigma 3 and Sigma 13 were the most prominent ones and their fraction depended on the processing route followed. A deviation in the misorientation angle distribution from the Mackenzie distribution was noticed. The crystallographic texture after the first pass resembled that of simple shear, with the {112}, {110}, and {123} aligned to the macroscopic shear plane.