KALwEN: a new practical and interoperable key management scheme for body sensor networks

Key management is the pillar of a security architecture. Body sensor networks (BSNs) pose several challenges–some inherited from wireless sensor networks (WSNs), some unique to themselves–that require a new key management scheme to be tailor-made. The challenge is taken on, and the result is KALwEN, a new parameterized key management scheme that combines the best-suited cryptographic techniques in a seamless framework. KALwEN is user-friendly in the sense that it requires no expert knowledge of a user, and instead only requires a user to follow a simple set of instructions when bootstrapping or extending a network. One of KALwEN's key features is that it allows sensor devices from different manufacturers, which expectedly do not have any pre-shared secret, to establish secure communications with each other. KALwEN is decentralized, such that it does not rely on the availability of a local processing unit (LPU). KALwEN supports secure global broadcast, local broadcast, and local (neighbor-to-neighbor) unicast, while preserving past key secrecy and future key secrecy (FKS). The fact that the cryptographic protocols of KALwEN have been formally verified also makes a convincing case. With both formal verification and experimental evaluation, our results should appeal to theorists and practitioners alike

Abnormal arterial-venous fusions and fate specification in mouse embryos lacking blood flow.

The functions of blood flow in the morphogenesis of mammalian arteries and veins are not well understood. We examined the development of the dorsal aorta (DA) and the cardinal vein (CV) in Ncx1 -/- mutants, which lack blood flow due to a deficiency in a sodium calcium ion exchanger expressed specifically in the heart. The mutant DA and CV were abnormally connected. The endothelium of the Ncx1 -/- mutant DA lacked normal expression of the arterial markers ephrin-B2 and Connexin-40. Notch1 activation, known to promote arterial specification, was decreased in mutant DA endothelial cells (ECs), which ectopically expressed the venous marker Coup-TFII. These findings suggest that flow has essential functions in the DA by promoting arterial and suppressing venous marker expression. In contrast, flow plays a lesser role in the CV, because expression of arterial-venous markers in CV ECs was not as dramatically affected in Ncx1 -/- mutants. We propose a molecular mechanism by which blood flow mediates DA and CV morphogenesis, by regulating arterial-venous specification of DA ECs to ensure proper separation of the developing DA and CV

Mitochondrial Ca(2+) uptake by the voltage-dependent anion channel 2 regulates cardiac rhythmicity.

Tightly regulated Ca(2+) homeostasis is a prerequisite for proper cardiac function. To dissect the regulatory network of cardiac Ca(2+) handling, we performed a chemical suppressor screen on zebrafish tremblor embryos, which suffer from Ca(2+) extrusion defects. Efsevin was identified based on its potent activity to restore coordinated contractions in tremblor. We show that efsevin binds to VDAC2, potentiates mitochondrial Ca(2+) uptake and accelerates the transfer of Ca(2+) from intracellular stores into mitochondria. In cardiomyocytes, efsevin restricts the temporal and spatial boundaries of Ca(2+) sparks and thereby inhibits Ca(2+) overload-induced erratic Ca(2+) waves and irregular contractions. We further show that overexpression of VDAC2 recapitulates the suppressive effect of efsevin on tremblor embryos whereas VDAC2 deficiency attenuates efsevin\u27s rescue effect and that VDAC2 functions synergistically with MCU to suppress cardiac fibrillation in tremblor. Together, these findings demonstrate a critical modulatory role for VDAC2-dependent mitochondrial Ca(2+) uptake in the regulation of cardiac rhythmicity

Autocalibrated cardiac tissue phase mapping with multiband imaging and k-t acceleration

PURPOSE: To develop an autocalibrated multiband (MB) CAIPIRINHA acquisition scheme with in-plane k-t acceleration enabling multislice three-directional tissue phase mapping in one breath-hold. METHODS: A k-t undersampling scheme was integrated into a time-resolved electrocardiographic-triggered autocalibrated MB gradient-echo sequence. The sequence was used to acquire data on 4 healthy volunteers with MB factors of two (MB2) and three (MB3), which were reconstructed using a joint reconstruction algorithm that tackles both k-t and MB acceleration. Forward simulations of the imaging process were used to tune the reconstruction model hyperparameters. Direct comparisons between MB and single-band tissue phase-mapping measurements were performed. RESULTS: Simulations showed that the velocities could be accurately reproduced with MB2 k-t (average ± twice the SD of the RMS error of 0.08 ± 0.22 cm/s and velocity peak reduction of 1.03% ± 6.47% compared with fully sampled velocities), whereas acceptable results were obtained with MB3 k-t (RMS error of 0.13 ± 0.58 cm/s and peak reduction of 2.21% ± 13.45%). When applied to tissue phase-mapping data, the proposed technique allowed three-directional velocity encoding to be simultaneously acquired at two/three slices in a single breath-hold of 18 heartbeats. No statistically significant differences were detected between MB2/MB3 k-t and single-band k-t motion traces averaged over the myocardium. Regional differences were found, however, when using the American Heart Association model for segmentation. CONCLUSION: An autocalibrated MB k-t acquisition / reconstruction framework is presented that allows three-directional velocity encoding of the myocardial velocities at multiple slices in one breath-hold

A Modular, Real-Time Fieldbus Architecture for Mobile Robotic Platforms

Cataloged from PDF version of article.The design and construction of complex and reconfigurable embedded systems such as small autonomous mobile robots is a challenging task that involves the selection, interfacing, and programming of a large number of sensors and actuators. Facilitating this tedious process requires modularity and extensibility both in hardware and software components. In this paper, we introduce the universal robot bus (URB), a real-time fieldbus architecture that facilitates rapid integration of heterogeneous sensor and actuator nodes to a central processing unit (CPU) while providing a software abstraction that eliminates complications arising from the lack of hardware homogeneity. Motivated by our primary application area of mobile robotics, URB is designed to be very lightweight and efficient, with real-time support for Recommended Standard (RS) 232 or universal serial bus connections to a central computer and inter-integrated circuit (I(2)C), controller area network, or RS485 bus connections to embedded nodes. It supports automatic synchronization of data acquisition across multiple nodes, provides high data bandwidth at low deterministic latencies, and includes flexible libraries for modular software development both for local nodes and the CPU. This paper describes the design of the URB architecture, provides a careful experimental characterization of its performance, and demonstrates its utility in the context of its deployment in a legged robot platform