Revisiting the Security of the ALRED Design and Two of Its Variants: Marvin and LetterSoup

The ALRED construction is a lightweight strategy for constructing message authentication algorithms from an underlying iterated block cipher. Even though this construction's original analyses show that it is secure against some attacks, the absence of formal security proofs in a strong security model still brings uncertainty on its robustness. In this paper, aiming to give a better understanding of the security level provided by different authentication algorithms based on this design strategy, we formally analyze two ALRED variants-the MARVIN message authentication code and the LETTERSOUP authenticated-encryption scheme,-bounding their security as a function of the attacker's resources and of the underlying cipher's characteristics.

Experimental analysis of reinforced concrete block masonry spandrels using pre-fabricated planar trussed bars

Masonry spandrels together with shear walls are structural components of a masonry building subjected to lateral loads. Shear walls are the main components of this structural system, even if masonry spandrels are the elements that ensure the connection of shear wall panels and the distribution of stresses through the masonry piers. The use of prefabricated truss type bars in the transversal and longitudinal directions is usually considered a challenge, even if the simplicity of the applications suggested here alleviate some of the possible difficulties. This paper focus on the experimental behavior of masonry spandrels reinforced with prefabricated trusses, considering different possibilities for the arrangement of reinforcement and blocks. Reinforced spandrels with three and two hollow cell concrete blocks and with different reinforcement ratios have been built and tested using a four and three point loading test configuration. Horizontal bed joint reinforcement increased the capacity of deformation as well as the ultimate load, leading to ductile responses. Vertical reinforcement increased the shear strength of the masonry spandrels and its distribution play a central role on the shear behavior. (C) 2011 Elsevier Ltd. All rights reserved.

Electrocardiographic manifestation of the middle fibers/septal fascicle block: a consensus report

There are fibers in the left ventricle (LV) (LV middle network) that in around one third of cases may be considered a true septal fascicle that arises from the common left bundle. Its presence and the evidence that there are 3 points of activation onset in the LV favor the quadrifascicular theory of the intravantricular activation of both ventricles. Since the 70s, different authors have suggested that the block of the left middle fibers (MS)/left septal fascicle may explain different electrocardiographic (ECG) patterns. The 2 hypothetically based criteria that are in some sense contradictory include: a) the lack of septal "q" wave due to first left and later posteriorly shifting of the horizontal plane loop and b) the presence of RS in lead V-2 (V-1-V-2) due to some anterior shifting of the horizontal plane vectorcardiogram loop. However, there are many evidence that the lack of septal q waves can be also explained by predivisional first-degree left bundle-branch block and that the RS pattern in the right precordial leads may be also explained by first-degree right bundle-branch block. The transient nature of these patterns favor the concept that some type of intraventricular conduction disturbance exists but a doubt remains about its location. Furthermore, the RS pattern could be explained by many different normal variants. To improve our understanding whether these patterns are due to MF/left septal fascicle block or other ventricular conduction disturbances (or both), it would be advisable: 1) To perform more histologic studies (heart transplant and necropsy) of the ventricular conduction system; 2) To repeat prior experimental studies using new methodology/technology to isolate the MF; and 3) To change the paradigm: do not try to demonstrate if the block of the fibers produces an ECG change but to study with new electroanatomical imaging techniques, if these ECG criteria previously described correlate or not with a delay of activation in the zone of the LV that receives the activation through these fibers or in other zones. (C) 2012 Elsevier Inc. All rights reserved.

Medial prefrontal cortex endocannabinoid system modulates baroreflex activity through CB1 receptors

Ferreira-Junior NC, Fedoce AG, Alves FHF, Correa FMA, Resstel LBM. Medial prefrontal cortex endocannabinoid system modulates baroreflex activity through CB1 receptors. Am J Physiol Regul Integr Comp Physiol 302: R876-R885, 2012. First published December 28, 2011; doi: 10.1152/ajpregu.00330.2011.-Neural reflex mechanisms, such as the baroreflex, are involved in the regulation of cardiovascular system activity. Previous results from our group (Resstel LB, Correa FM. Medial prefrontal cortex NMDA receptors and nitric oxide modulate the parasympathetic component of the baroreflex. Eur J Neurosci 23: 481-488, 2006) have shown that glutamatergic synapses in the ventral portion of the medial prefrontal cortex (vMPFC) modulate baroreflex activity. Moreover, glutamatergic neurotransmission in the vMPFC can be modulated by the endocannabinoids system (eCBs), particularly the endocannabinoid anandamide, through presynaptic CB1 receptor activation. Therefore, in the present study, we investigated eCBs receptors that are present in the vMPFC, and more specifically whether CB1 receptors modulate baroreflex activity. We found that bilateral microinjection of the CB1 receptor antagonist AM251 (100 or 300 pmol/200 nl) into the vMPFC increased baroreflex activity in unanesthetized rats. Moreover, bilateral microinjection of either the anandamide transporter inhibitor AM404 (100 pmol/200 nl) or the inhibitor of the enzyme fatty acid amide hydrolase that degrades anandamide, URB597 (100 pmol/200 nl), into the MPFC decreased baroreflex activity. Finally, pretreatment of the vMPFC with an ineffective dose of AM251 (10 pmol/200 nl) was able to block baroreflex effects of both AM404 and URB597. Taken together, our results support the view that the eCBs in the vMPFC is involved in the modulation of baroreflex activity through the activation of CB1 receptors, which modulate local glutamate release.

Leucine and HMB differentially modulate proteasome system in skeletal muscle under different sarcopenic conditions

In the present study we have compared the effects of leucine supplementation and its metabolite β-hydroxy-β-methyl butyrate (HMB) on the ubiquitin-proteasome system and the PI3K/Akt pathway during two distinct atrophic conditions, hindlimb immobilization and dexamethasone treatment. Leucine supplementation was able to minimize the reduction in rat soleus mass driven by immobilization. On the other hand, leucine supplementation was unable to provide protection against soleus mass loss in dexamethasone treated rats. Interestingly, HMB supplementation was unable to provide protection against mass loss in all treatments. While solely fiber type I cross sectional area (CSA) was protected in immobilized soleus of leucine-supplemented rats, none of the fiber types were protected by leucine supplementation in rats under dexamethasone treatment. In addition and in line with muscle mass results, HMB treatment did not attenuate CSA decrease in all fiber types against either immobilization or dexamethasone treatment. While leucine supplementation was able to minimize increased expression of both Mafbx/Atrogin and MuRF1 in immobilized rats, leucine was only able to minimize Mafbx/Atrogin in dexamethasone treated rats. In contrast, HMB was unable to restrain the increase in those atrogenes in immobilized rats, but in dexamethasone treated rats, HMB minimized increased expression of Mafbx/Atrogin. The amount of ubiquitinated proteins, as expected, was increased in immobilized and dexamethasone treated rats and only leucine was able to block this increase in immobilized rats but not in dexamethasone treated rats. Leucine supplementation maintained soleus tetanic peak force in immobilized rats at normal level. On the other hand, HMB treatment failed to maintain tetanic peak force regardless of treatment. The present data suggested that the anti-atrophic effects of leucine are not mediated by its metabolite HMB.

A control and automation system for wave basins

This paper presents the new active absorption wave basin, named Hydrodynamic Calibrator (HC), constructed at the University of São Paulo (USP), in the Laboratory facilities of the Numerical Offshore Tank (TPN). The square (14 m 14 m) tank is able to generate and absorb waves from 0.5 Hz to 2.0 Hz, by means of 148 active hinged flap wave makers. An independent mechanical system drives each flap by means of a 1HP servo-motor and a ball-screw based transmission system. A customized ultrasonic wave probe is installed in each flap, and is responsible for measuring wave elevation in the flap. A complex automation architecture was implemented, with three Programmable Logic Computers (PLCs), and a low-level software is responsible for all the interlocks and maintenance functions of the tank. Furthermore, all the control algorithms for the generation and absorption are implemented using higher level software (MATLAB /Simulink block diagrams). These algorithms calculate the motions of the wave makers both to generate and absorb the required wave field by taking into account the layout of the flaps and the limits of wave generation. The experimental transfer function that relates the flap amplitude to the wave elevation amplitude is used for the calculation of the motion of each flap. This paper describes the main features of the tank, followed by a detailed presentation of the whole automation system. It includes the measuring devices, signal conditioning, PLC and network architecture, real-time and synchronizing software and motor control loop. Finally, a validation of the whole automation system is presented, by means of the experimental analysis of the transfer function of the waves generated and the calculation of all the delays introduced by the automation system.