Cryptanalysis of block ciphers with overdefined systems of equations

Several recently proposed ciphers, for example Rijndael and Serpent, are built with layers of small S-boxes interconnected by linear key-dependent layers. Their security relies on the fact, that the classical methods of cryptanalysis (e.g. linear or differential attacks) are based on probabilistic characteristics, which makes their security grow exponentially with the number of rounds N r r. In this paper we study the security of such ciphers under an additional hypothesis: the S-box can be described by an overdefined system of algebraic equations (true with probability 1). We show that this is true for both Serpent (due to a small size of S-boxes) and Rijndael (due to unexpected algebraic properties). We study general methods known for solving overdefined systems of equations, such as XL from Eurocrypt’00, and show their inefficiency. Then we introduce a new method called XSL that uses the sparsity of the equations and their specific structure. The XSL attack uses only relations true with probability 1, and thus the security does not have to grow exponentially in the number of rounds. XSL has a parameter P, and from our estimations is seems that P should be a constant or grow very slowly with the number of rounds. The XSL attack would then be polynomial (or subexponential) in N r> , with a huge constant that is double-exponential in the size of the S-box. The exact complexity of such attacks is not known due to the redundant equations. Though the presented version of the XSL attack always gives always more than the exhaustive search for Rijndael, it seems to (marginally) break 256-bit Serpent. We suggest a new criterion for design of S-boxes in block ciphers: they should not be describable by a system of polynomial equations that is too small or too overdefined.

Swelling induced finite strain flexure in a rectangular block of an isotropic elastic material

The deformation of a rectangular block into an annular wedge is studied with respect to the state of swelling interior to the block. Nonuniform swelling fields are shown to generate these flexure deformations in the absence of resultant forces and bending moments. Analytical expressions for the deformation fields demonstrate these effects for both incompressible and compressible generalizations of conventional hyperelastic materials. Existing results in the absence of a swelling agent are recovered as special cases.

Comparison of block and event-related experimental designs in diffusion-weighted functional MRI

PURPOSE To compare diffusion-weighted functional magnetic resonance imaging (DfMRI), a novel alternative to the blood oxygenation level-dependent (BOLD) contrast, in a functional MRI experiment. MATERIALS AND METHODS Nine participants viewed contrast reversing (7.5 Hz) black-and-white checkerboard stimuli using block and event-related paradigms. DfMRI (b = 1800 mm/s2 ) and BOLD sequences were acquired. Four parameters describing the observed signal were assessed: percent signal change, spatial extent of the activation, the Euclidean distance between peak voxel locations, and the time-to-peak of the best fitting impulse response for different paradigms and sequences. RESULTS The BOLD conditions showed a higher percent signal change relative to DfMRI; however, event-related DfMRI showed the strongest group activation (t = 21.23, P < 0.0005). Activation was more diffuse and spatially closer to the BOLD response for DfMRI when the block design was used. DfMRIevent showed the shortest TTP (4.4 +/- 0.88 sec). CONCLUSION The hemodynamic contribution to DfMRI may increase with the use of block designs.

Plasma-aided nanofabrication: "plasma-building block" approach

Unique features and benefits of the plasma-aided nanofabrication are considered by using the "plasma-building block" approach, which is based on plasma diagnostics and nanofilm characterization, cross-referenced by numerical simulation of generation and dynamics of building blocks in the gas phase, their interaction with nanostructured surfaces, and ab initio simulation of chemical structure of relevant nanoassemblies. The examples include carbon nanotip microemitter structures, semiconductor quantum dots and nanowires synthesized in the integrated plasma-aided nanofabrication facility.

Non-invasive techniques for imaging in-vivo human corneal sub basal nerve mapping and migration rate in diabetic neuropathy

Purpose Corneal confocal microscopy (CCM) is a rapid non-invasive ophthalmic technique, which has been shown to diagnose and stratify the severity of diabetic neuropathy. Current morphometric techniques assess individual static images of the subbasal nerve plexus; this work explores the potential for non-invasive assessment of the wide-field morphology and dynamic changes of this plexus in vivo. Methods In this pilot study, laser scanning CCM was used to acquire maps (using a dynamic fixation target and semi-automated tiling software) of the central corneal sub-basal nerve plexus in 4 diabetic patients with and 6 without neuropathy and in 2 control subjects. Nerve migration was measured in an additional 7 diabetic patients with neuropathy, 4 without neuropathy and in 2 control subjects by repeating a modified version of the mapping procedure within 2-8 weeks, thus facilitating re-identification of distinctive nerve landmarks in the 2 montages. The rate of nerve movement was determined from these data and normalised to a weekly rate (µm/week), using customised software. Results Wide-field corneal nerve fibre length correlated significantly with the Neuropathy Disability Score (r = -0.58, p < 0.05), vibration perception (r = -0.66, p < 0.05) and peroneal conduction velocity (r = 0.67, p < 0.05). Central corneal nerve fibre length did not correlate with any of these measures of neuropathy (p > 0.05 for all). The rate of corneal nerve migration was 14.3 ± 1.1 µm/week in diabetic patients with neuropathy, 19.7 ± 13.3µm/week in diabetic patients without neuropathy, and 24.4 ± 9.8µm/week in control subjects; however, these differences were not significantly different (p = 0.543). Conclusions Our data demonstrate that it is possible to capture wide-field images of the corneal nerve plexus, and to quantify the rate of corneal nerve migration by repeating this procedure over a number of weeks. Further studies on larger sample sizes are required to determine the utility of this approach for the diagnosis and monitoring of diabetic neuropathy.

Morphometric stability of the corneal subbasal nerve plexus in healthy individuals a 3-year longitudinal study using corneal confocal microscopy

Purpose We examined the age-dependent alterations and longitudinal course of subbasal nerve plexus (SNP) morphology in healthy individuals. Methods Laser-scanning corneal confocal microscopy, ocular screening, and health and metabolic assessment were performed on 64 healthy participants at baseline and at 12-month intervals for 3 years. At each annual visit, eight central corneal images of the SNP were selected and analyzed using a fully-automated analysis system to quantify corneal nerve fiber length (CNFL). Two linear mixed model approaches were fitted to examine the relationship between age and CNFL, and the longitudinal changes of CNFL over three years. Results At baseline, mean age was 51.9 ± 14.7 years. The cohort was sex balanced (χ2 = 0.56, P = 0.45). Age (t = 1.6, P = 0.12) and CNFL (t = -0.50, P = 0.62) did not differ between sexes. A total of 52 participants completed the 36-month visit and 49 participants completed all visits. Age had a significant effect on CNFL (F1,33 = 5.67, P = 0.02) with a linear decrease of 0.05 mm/mm2 in CNFL per one year increase in age. No significant change in CNFL was observed over the 36-month period (F1,55 = 0.69, P = 0.41). Conclusions The CNFL showed a stable course over a 36-month period in healthy individuals, although there was a slight linear reduction in CNFL with age. The findings of this study have implications for understanding the time-course of the effect of pathology and surgical or therapeutic interventions on the morphology of the SNP, and serves to confirm the suitability of CNFL as a screening/monitoring marker for peripheral neuropathies.

Integrated approach to optimize open-pit mine block sequencing

Critical stage in open-pit mining is to determine the optimal extraction sequence of blocks, which has significant impacts on mining profitability. In this paper, a more comprehensive block sequencing optimisation model is developed for the open-pit mines. In the model, material characteristics of blocks, grade control, excavator and block sequencing are investigated and integrated to maximise the short-term benefit of mining. Several case studies are modeled and solved by CPLEX MIP and CP engines. Numerical investigations are presented to illustrate and validate the proposed methodology.

Fully automated, semiautomated, and manual morphometric analysis of corneal subbasal nerve plexus in individuals with and without diabetes

Purpose The aim of the study was to determine the association, agreement, and detection capability of manual, semiautomated, and fully automated methods of corneal nerve fiber length (CNFL) quantification of the human corneal subbasal nerve plexus (SNP). Methods Thirty-three participants with diabetes and 17 healthy controls underwent laser scanning corneal confocal microscopy. Eight central images of the SNP were selected for each participant and analyzed using manual (CCMetrics), semiautomated (NeuronJ), and fully automated (ACCMetrics) software to quantify the CNFL. Results For the entire cohort, mean CNFL values quantified by CCMetrics, NeuronJ, and ACCMetrics were 17.4 ± 4.3 mm/mm2, 16.0 ± 3.9 mm/mm2, and 16.5 ± 3.6 mm/mm2, respectively (P < 0.01). CNFL quantified using CCMetrics was significantly higher than those obtained by NeuronJ and ACCMetrics (P < 0.05). The 3 methods were highly correlated (correlation coefficients 0.87–0.98, P < 0.01). The intraclass correlation coefficients were 0.87 for ACCMetrics versus NeuronJ and 0.86 for ACCMetrics versus CCMetrics. Bland–Altman plots showed good agreement between the manual, semiautomated, and fully automated analyses of CNFL. A small underestimation of CNFL was observed using ACCMetrics with increasing the amount of nerve tissue. All 3 methods were able to detect CNFL depletion in diabetic participants (P < 0.05) and in those with peripheral neuropathy as defined by the Toronto criteria, compared with healthy controls (P < 0.05). Conclusions Automated quantification of CNFL provides comparable neuropathy detection ability to manual and semiautomated methods. Because of its speed, objectivity, and consistency, fully automated analysis of CNFL might be advantageous in studies of diabetic neuropathy.

Natural history of corneal nerve morphology in mild neuropathy associated with type 1 diabetes : Development of a potential measure of diabetic peripheral neuropathy

Purpose To investigate longitudinal changes of subbasal nerve plexus (SNP) morphology and its relationship with conventional measures of neuropathy in individuals with diabetes. Methods A cohort of 147 individuals with type 1 diabetes and 60 age-balanced controls underwent detailed assessment of clinical and metabolic factors, neurologic deficits, quantitative sensory testing, nerve conduction studies and corneal confocal microscopy at baseline and four subsequent annual visits. The SNP parameters included corneal nerve fiber density (CNFD), branch density (CNBD) and fiber length (CNFL) and were quantified using a fully-automated algorithm. Linear mixed models were fitted to examine the changes in corneal nerve parameters over time. Results At baseline, 27% of the participants had mild diabetic neuropathy. All SNP parameters were significantly lower in the neuropathy group compared to controls (P<0.05). Overall, 89% of participants examined at baseline also completed the final visit. There was no clinically significant change to health and metabolic parameters and neuropathy measures from baseline to the final visit. Linear mixed model revealed a significant linear decline of CNFD (annual change rate, -0.9 nerve/mm2, P=0.01) in the neuropathy group compared to controls, which was associated with age (β=-0.06, P=0.04) and duration of diabetes (β=-0.08, P=0.03). In the neuropathy group, absolute changes of CNBD and CNFL showed moderate correlations with peroneal conduction velocity and cold sensation threshold, respectively (rs, 0.38 and 0.40, P<0.05). Conclusion This study demonstrates dynamic small fiber damage at the SNP, thus providing justification for our ongoing efforts to establish corneal nerve morphology as an appropriate adjunct to conventional measures of DPN.

Thiophene–tetrafluorophenyl–thiophene : a promising building block for ambipolar organic field effect transistors

A thiophene–tetrafluorophenyl–thiophene donor–acceptor–donor building block was used in combination with a furan-substituted diketopyrrolopyrrole for synthesizing the polymer semiconductor, PDPPF-TFPT. Due to the balance of tetrafluorophenylene/diketopyrrolopyrrole electron-withdrawing and furan/thiophene electron-donating moieties in the backbone, PDPPF-TFPT exhibits ambipolar behaviour in organic thin-film transistors, with hole and electron mobilities as high as 0.40 cm2 V−1 s−1 and 0.12 cm2 V−1 s−1.

Utility of assessing nerve morphology in central cornea versus whorl area for diagnosing diabetic peripheral neuropathy

Purpose To compare small nerve fiber damage in the central cornea and whorl area in participants with diabetic peripheral neuropathy (DPN) and to examine the accuracy of evaluating these 2 anatomical sites for the diagnosis of DPN. Methods A cohort of 187 participants (107 with type 1 diabetes and 80 controls) was enrolled. The neuropathy disability score (NDS) was used for the identification of DPN. The corneal nerve fiber length at the central cornea (CNFLcenter) and whorl (CNFLwhorl) was quantified using corneal confocal microscopy and a fully automated morphometric technique and compared according to the DPN status. Receiver operating characteristic analyses were used to compare the accuracy of the 2 corneal locations for the diagnosis of DPN. Results CNFLcenter and CNFLwhorl were able to differentiate all 3 groups (diabetic participants with and without DPN and controls) (P < 0.001). There was a weak but significant linear relationship for CNFLcenter and CNFLwhorl versus NDS (P < 0.001); however, the corneal location x NDS interaction was not statistically significant (P = 0.17). The area under the receiver operating characteristic curve was similar for CNFLcenter and CNFLwhorl (0.76 and 0.77, respectively, P = 0.98). The sensitivity and specificity of the cutoff points were 0.9 and 0.5 for CNFLcenter and 0.8 and 0.6 for CNFLwhorl. Conclusions Small nerve fiber pathology is comparable at the central and whorl anatomical sites of the cornea. Quantification of CNFL from the corneal center is as accurate as CNFL quantification of the whorl area for the diagnosis of DPN.

Longitudinal assessment of corneal subbasal nerve morphology as a potential measure of diabetic peripheral neuropathy

This thesis represents a significant step forward in developing a validated measure for diabetic peripheral neuropathy – a debilitating and prevalent complication of diabetes. The candidate investigated corneal nerve structure in healthy people as well as in type 1 diabetic individuals in a 4-year longitudinal study. The outcomes of stability of the corneal small nerve fibre in healthy people and evidence of significant decline in diabetic individuals with peripheral neuropathy over time provide justification for the ongoing efforts to establish corneal nerve structure as an objective and appropriate adjunct to conventional measures of peripheral neuropathy.

Modeling of the hemodynamic responses in block design fMRI studies

The hemodynamic response function (HRF) describes the local response of brain vasculature to functional activation. Accurate HRF modeling enables the investigation of cerebral blood flow regulation and improves our ability to interpret fMRI results. Block designs have been used extensively as fMRI paradigms because detection power is maximized; however, block designs are not optimal for HRF parameter estimation. Here we assessed the utility of block design fMRI data for HRF modeling. The trueness (relative deviation), precision (relative uncertainty), and identifiability (goodness-of-fit) of different HRF models were examined and test-retest reproducibility of HRF parameter estimates was assessed using computer simulations and fMRI data from 82 healthy young adult twins acquired on two occasions 3 to 4 months apart. The effects of systematically varying attributes of the block design paradigm were also examined. In our comparison of five HRF models, the model comprising the sum of two gamma functions with six free parameters had greatest parameter accuracy and identifiability. Hemodynamic response function height and time to peak were highly reproducible between studies and width was moderately reproducible but the reproducibility of onset time was low. This study established the feasibility and test-retest reliability of estimating HRF parameters using data from block design fMRI studies.

Optimisation of open pit mine block sequencing

This study presents a comprehensive mathematical model for open pit mine block sequencing problem which considers technical aspects of real-life mine operations. As the open pit block sequencing problem is an NP-hard, state-of-the-art heuristics algorithms, including constructive heuristic, local search, simulated annealing, and tabu search are developed and coded using MATLAB programming language. Computational experiments show that the proposed algorithms are satisfactory to solve industrial-scale instances. Numerical investigation and sensitivity analysis based on real-world data are also conducted to provide insightful and quantitative recommendations for mine schedulers and planners.