Building indifferentiable compression functions from the PGV compression functions

Preneel, Govaerts and Vandewalle (PGV) analysed the security of single-block-length block cipher based compression functions assuming that the underlying block cipher has no weaknesses. They showed that 12 out of 64 possible compression functions are collision and (second) preimage resistant. Black, Rogaway and Shrimpton formally proved this result in the ideal cipher model. However, in the indifferentiability security framework introduced by Maurer, Renner and Holenstein, all these 12 schemes are easily differentiable from a fixed input-length random oracle (FIL-RO) even when their underlying block cipher is ideal. We address the problem of building indifferentiable compression functions from the PGV compression functions. We consider a general form of 64 PGV compression functions and replace the linear feed-forward operation in this generic PGV compression function with an ideal block cipher independent of the one used in the generic PGV construction. This modified construction is called a generic modified PGV (MPGV). We analyse indifferentiability of the generic MPGV construction in the ideal cipher model and show that 12 out of 64 MPGV compression functions in this framework are indifferentiable from a FIL-RO. To our knowledge, this is the first result showing that two independent block ciphers are sufficient to design indifferentiable single-block-length compression functions.

A biomechanical investigation of dual growing rods used for fusionless scoliosis correction

Background The use of dual growing rods is a fusionless surgical approach to the treatment of early onset scoliosis (EOS), which aims of harness potential growth in order to correct spinal deformity. The purpose of this study was to compare the in-vitro biomechanical response of two different dual rod designs under axial rotation loading. Methods Six porcine spines were dissected into seven level thoracolumbar multi-segmental units. Each specimen was mounted and tested in a biaxial Instron machine, undergoing nondestructive left/right axial rotation to peak moments of 4Nm at a constant rotation rate of 8deg.s-1. A motion tracking system (Optotrak) measured 3D displacements of individual vertebrae. Each spine was tested in an un-instrumented state first and then with appropriately sized semi-constrained growing rods and ‘rigid’ rods in alternating sequence. Range of motion, neutral zone size and stiffness were calculated from the moment-rotation curves and intervertebral ranges of motion were calculated from Optotrak data. Findings Irrespective of test sequence, rigid rods showed significantly reduction of total rotation across all instrumented levels (with increased stiffness) whilst semi-constrained rods exhibited similar rotation behavior to the un-instrumented (P<0.05). An 11% and 8% increase in stiffness for left and right axial rotation respectively and 15% reduction in total range of motion was recorded with dual rigid rods compared with semi-constrained rods. Interpretation Based on these findings, the semi-constrained growing rods do not increase axial rotation stiffness compared with un-instrumented spines. This is thought to provide a more physiological environment for the growing spine compared to dual rigid rod constructs.

Axial capacity of barrette piles embedded in gravel layer

In this paper, the axial performance of two heavily instrumented barrette piles, with and without grouting, socket into gravel layer in Taipei are evaluated based on the results of pile load tests. Both piles are 44 m long with the same dimension of 0.8 by 2.7 m, installed by hydraulic long bucket. One of the piles with toe grouting was socket 6 m into gravel layer and the other pile without toe grouting was socket 3 m into gravel layer. The load versus displacement relationships at pile head, the t-z curves of upper soil layers and of bottom gravel layer, and the tip resistance versus displacement relationships are important concerns and are presented in the paper. The t-z curves interpreted from the measured data along depth are also simulated by the hyperbolic model.

Finite element modeling of carbon fibre reinforced polymer (CFRP) strengthened steel tubes under axial impact

Steel hollow sections used in structures such as bridges, buildings and space structures involve different strengthening techniques according to their structural purpose and shape of the structural member. One such technique is external bonding of CFRP sheets to steel tubes. The performance of CFRP strengthening for steel structures has been proven under static loading while limited studies have been conducted on their behaviour under impact loading. In this study, a comprehensive numerical investigation is carried out to evaluate the response of CFRP strengthened steel tubes under dynamic axial impact loading. Impact force, axial deformation impact velocities are studied. The results of the numerical investigations are validated by experimental results. Based on the developed finite element (FE) model several output parameters are discussed. The results show that CFRP wrapping is an effective strengthening technique to increase the axial dynamic load bearing capacity by increasing the stiffness of the steel tube.

Protecting encrypted cookies from compression side-channel attacks

Compression is desirable for network applications as it saves bandwidth; however, when data is compressed before being encrypted, the amount of compression leaks information about the amount of redundancy in the plaintext. This side channel has led to successful CRIME and BREACH attacks on web traffic protected by the Transport Layer Security (TLS) protocol. The general guidance in light of these attacks has been to disable compression, preserving confidentiality but sacrificing bandwidth. In this paper, we examine two techniques - heuristic separation of secrets and fixed-dictionary compression|for enabling compression while protecting high-value secrets, such as cookies, from attack. We model the security offered by these techniques and report on the amount of compressibility that they can achieve.

EPC: a provably secure permutation based compression function

The security of permutation-based hash functions in the ideal permutation model has been studied when the input-length of compression function is larger than the input-length of the permutation function. In this paper, we consider permutation based compression functions that have input lengths shorter than that of the permutation. Under this assumption, we propose a permutation based compression function and prove its security with respect to collision and (second) preimage attacks in the ideal permutation model. The proposed compression function can be seen as a generalization of the compression function of MD6 hash function.

Cryptanalysis of the 10-Round Hash and Full Compression Function of SHAvite-3-512

In this paper, we analyze the SHAvite-3-512 hash function, as proposed and tweaked for round 2 of the SHA-3 competition. We present cryptanalytic results on 10 out of 14 rounds of the hash function SHAvite-3-512, and on the full 14 round compression function of SHAvite-3-512. We show a second preimage attack on the hash function reduced to 10 rounds with a complexity of 2497 compression function evaluations and 216 memory. For the full 14-round compression function, we give a chosen counter, chosen salt preimage attack with 2384 compression function evaluations and 2128 memory (or complexity 2448 without memory), and a collision attack with 2192 compression function evaluations and 2128 memory.

Compressive and shear force generated in the lumbar spine of female rowers

Rowers have and accrue greater lumbar spine bone mineral density (BMD) associated with mechanical loading produced during rowing. The aim of this study was to estimate the mechanical loading generated at the lumbar spine (LS) that is apparently providing an osteogenic benefit. The cohort comprised 14 female rowers (average age: 19.7yrs; height: 170.9 cm, weight: 59.5 kg) and 14 female matched controls (average age: 20.9 m yrs; height: 167.5 cm; weight: 58.1 kg). BMD was assessed using the Hologic QDR 2000+ bone densitometer, indicating higher lumbar spine BMD in the rowers compared to the control subjects (1,069 +/- 0.1 vs. 1,027 +/- 0.1 g/cm2). No significant difference existed for BMD at any other site. All rowers performed a six-minute simulated race on a Concept II rowing ergometer. Mechanical loading generated at the lumbar spine during this task was assessed using a two-dimensional model of the spine, enabling the calculation of the compressive and shear forces at L4/L5. The shear force was the joint reaction force perpendicular to the spine at the L4/L5 joint. Peak compressive and shear force at the lumbar spine of the rowers were 2,694 +/- 609 (N) and 660 +/- 117 (N), respectively. Peak compressive force at the LS relative to body weight was 4.6 times body weight. The literature would suggest that forces of this magnitude, generated at the LS during maximal rowing, may be contributing to the site specific higher LS BMD found in the rowers.

Changes in cervical spine bone mineral density in response to flight training

BACKGROUND High magnitude loads and unusual loading regimes are two important determinants for increasing bone mass. Past research demonstrated that positive Gz-induced loading, providing high loads in an unaccustomed manner, had an osteogenic effect on bone. Another determinant of bone mass is that the bone response to loading is site specific. This study sought to further investigate the site specific bone response to loading, examining the cervical spine response, the site suspected of experiencing the greatest loading, to high performance flight. METHODS Bone mineral density (BMD) and bone mineral content (BMC) was monitored in 9 RAAF trainee fighter pilots completing an 8-mo flight training course on a PC-9 and 10 age-height-weight-matched controls. RESULTS At completion of the course, the pilots had a significant increase in cervical spine BMD and total body BMC. No significant changes were found for the control group. CONCLUSIONS This study demonstrated that the physical environment associated with flight training may have contributed to a significant increase in cervical spine bone mass in the trainee PC-9 pilots. The increase in bone mass was possibly a response to the strain generated by the daily wearing of helmet and mask assembly under the influence of positive sustained accelerative forces.

Local buckling studies of cold-formed steel compression members at elevated temperatures

Cold-formed steel members have been widely used in residential and commercial buildings as primary load bearing structural elements. They are often made of thin steel sheets and hence they are more susceptible to local buckling. The buckling behaviour of cold-formed steel compression members under fire conditions is not fully investigated yet and hence there is a lack of knowledge on the fire performance of cold-formed steel compression members. Current cold-formed steel design standards do not provide adequate design guidelines for the fire design of cold-formed steel compression members. Therefore a research project based on extensive experimental and numerical studies was undertaken to investigate the local buckling behaviour of light gauge cold-formed steel compression members under simulated fire conditions. First a series of 91 local buckling tests was conducted at ambient and uniform elevated temperatures up to 700oC on cold-formed lipped and unlipped channels. Suitable finite element models were then developed to simulate the behaviour of tested columns and were validated using test results. All the ultimate load capacity results for local buckling were compared with the predictions from the available design rules based on AS/NZS 4600, BS 5950 Part 5, Eurocode 3 Parts 1.2 and 1.3 and the direct strength method (DSM), based on which suitable recommendations have been made for the fire design of cold-formed steel compression members subject to local buckling at uniform elevated temperatures.

MRI reveals individual level deformities in the growing scoliotic spine that clinically are masked by the Cobb angle

Clinically, the Cobb angle method measures the overall scoliotic curve in the coronal plane but does not measure individual vertebra and disc wedging. The contributions of the vertebrae and discs in the growing scoliotic spine were measured using sequential MRI scans to investigate coronal plane deformity progression with growth. Sequential MRI data showed complex patterns of deformity progression. Changes to the wedging of individual vertebrae and discs may occur in patients who have no increase in overall Cobb angle measure; the Cobb method alone may be insufficient to capture the complex mechanisms of deformity progression.

Cross-cultural adaptation, reliability and validity of the Turkish version of the spine functional index

Background The Spine Functional Index (SFI) is a patient reported outcome measure with sound clinimetric properties and clinical viability for the determination of whole-spine impairment. To date, no validated Turkish version is available. The purpose of this study is to cross-culturally adapted the SFI for Turkish-speaking patients (SFI-Tk) and determine the psychometric properties of reliability, validity and factor structure in a Turkish population with spine musculoskeletal disorders. Methods The SFI English version was culturally adapted and translated into Turkish using a double forward and backward method according to established guidelines. Patients (n = 285, cervical = l29, lumbar = 151, cervical and lumbar region = 5, 73% female, age 45 ± 1) with spine musculoskeletal disorders completed the SFI-Tk at baseline and after a seven day period for test-retest reliability. For criterion validity the Turkish version of the Functional Rating Index (FRI) was used plus the Neck Disability Index (NDI) for cervical patients and the Oswestry Disability Index (ODI) for back patients. Additional psychometric properties were determined for internal consistency (Chronbach’s α), criterion validity and factor structure. Results There was a high degree of internal consistency (α = 0.85, item range 0.80-0.88) and test-retest reliability (r = 0.93, item range = 0.75-0.95). The factor analysis demonstrated a one-factor solution explaining 24.2% of total variance. Criterion validity with the ODI was high (r = 0.71, p < 0.001) while the FRI and NDI were fair (r = 0.52 and r = 0.58, respectively). The SFI-Tk showed no missing responses with the ‘half-mark’ option used in 11.75% of total responses by 77.9% of participants. Measurement error from SEM and MDC90 were respectively 2.96% and 7.12%. Conclusions The SFI-Tk demonstrated a one-factor solution and is a reliable and valid instrument. The SFI-Tk consists of simple and easily understood wording and may be used to assess spine region musculoskeletal disorders in Turkish speaking patients.

Medical imaging and Biomechanical analysis of scoliosis progression in the growing adolescent spine

Progression of spinal deformity in children was studied with Computed Tomography (CT) and Magnetic Resonance Imaging (MRI) to identify how gravity affects the deformity and to determine the full three-dimensional character of the deformity. The CT study showed that gravity is significant in deformity progression in some patients which has implications for clinical patient management. The world first MRI study showed that the standard clinical measure used to define the extent of the deformity is inadequate and further use of three-dimensional MRI should be considered by spinal surgeons.

Mechanical behavior of circular and square concrete filled steel tube stub columns under local compression

This paper presents a combined experimental and numerical study on the behaviour of both circular and square concrete-filled steel tube (CFT) stub columns under local compression. Twelve circular and eight square CFT stub columns were tested to study their bearing capacity and the key influential parameters. A 3D finite element model was established for simulation and parametric study to investigate the structural behaviour of the stub columns. The numerical results agreed well with the experimental results. In addition, analytical formulas were proposed to calculate the load bearing capacity of CFT stub columns under local compression.

Development of a new ultrasound-based system for tracking motion of the human lumbar spine: Reliability, stability and repeatability during forward bending movement trials

The aim of this study was to develop a new method for quantifying intersegmental motion of the spine in an instrumented motion segment L4–L5 model using ultrasound image post-processing combined with an electromagnetic device. A prospective test–retest design was employed, combined with an evaluation of stability and within- and between-day intra-tester reliability during forward bending by 15 healthy male patients. The accuracy of the measurement system using the model was calculated to be ± 0.9° (standard deviation = 0.43) over a 40° range and ± 0.4 cm (standard deviation = 0.28) over 1.5 cm. The mean composite range of forward bending was 15.5 ± 2.04° during a single trial (standard error of the mean = 0.54, coefficient of variation = 4.18). Reliability (intra-class correlation coefficient = 2.1) was found to be excellent for both within-day measures (0.995–0.999) and between-day measures (0.996–0.999). Further work is necessary to explore the use of this approach in the evaluation of biomechanics, clinical assessments and interventions.