Small Scale AES Toolbox: Algebraic and Propositional Formulas, Circuit-Implementations and Fault Equations

Cryptography is one of the key technologies ensuring security in the digital domain. As such, its primitives and implementations have been extensively analyzed both from a theoretical, cryptoanalytical perspective, as well as regarding their capabilities to remain secure in the face of various attacks. One of the most common ciphers, the Advanced Encryption Standard (AES) (thus far) appears to be secure in the absence of an active attacker. To allow for the testing and development of new attacks or countermeasures a small scale version of the AES with a variable number of rounds, number of rows, number of columns and data word size, and a complexity ranging from trivial up to the original AES was developed. In this paper we present a collection of various implementations of the relevant small scale AES versions based on hardware (VHDL and gate-level), algebraic representations (Sage and CoCoA) and their translations into propositional formulas (in CNF). Additionally, we present fault attack equations for each version. Having all these resources available in a single and well structured package allows researchers to combine these different sources of information which might reveal new patterns or solving strategies. Additionally, the fine granularity of difficulty between the different small scale AES versions allows for the assessment of new attacks or the comparison of different attacks

Noninvasive Estimation of Epicardial Dominant High-Frequency Regions During Atrial Fibrillation

[EN] Introduction Ablation of high dominant frequency (DF) sources in patients with atrial fibrillation (AF) is an effective treatment option for paroxysmal AF. The aim of this study was to evaluate the accuracy of noninvasive estimation of DF and electrical patterns determination by solving the inverse problem of the electrocardiography. Methods Four representative AF patients with left-to-right and right-to-left atrial DF patterns were included in the study. For each patient, intracardiac electrograms from both atria were recorded simultaneously together with 67-lead body surface recordings. In addition to clinical recordings, realistic mathematical models of atria and torso anatomy with different DF patterns of AF were used. For both mathematical models and clinical recordings, inverse-computed electrograms were compared to intracardiac electrograms in terms of voltage, phase, and frequency spectrum relative errors. Results Comparison between intracardiac and inverse computed electrograms for AF patients showed 8.8 ± 4.4% errors for DF, 32 ± 4% for voltage, and 65 ± 4% for phase determination. These results were corroborated by mathematical simulations showing that the inverse problem solution was able to reconstruct the frequency spectrum and the DF maps with relative errors of 5.5 ± 4.1%, whereas the reconstruction of the electrograms or the instantaneous phase presented larger relative errors (i.e., 38 ± 15% and 48 ± 14 % respectively, P < 0.01). Conclusions Noninvasive reconstruction of atrial frequency maps can be achieved by solving the inverse problem of electrocardiography with a higher accuracy than temporal distribution patterns.Pedrón-Torrecilla, J.; Rodrigo Bort, M.; M. Climent, A.; Liberos, A.; Pérez-David E; Bermejo, J.; Arenal, A.... (2016). Noninvasive Estimation of Epicardial Dominant High-Frequency Regions During Atrial Fibrillation. Journal of Cardiovascular Electrophysiology. 27(4):435-442. doi:https://doi.org/10.1111/jce.12931S43544227

Body surface localization of left and right atrial high-frequency rotors in atrial fibrillation patients: A clinical-computational study

Background: Ablation is an effective therapy in atrial fibrillation (AF) patients in which an electrical driver can be identified. Objective: The aim of this study is to present and discuss a novel and strictly non-invasive approach to map and identify atrial regions responsible for AF perpetuation. Methods: Surface potential recordings of 14 patients with AF were recorded using a 67-lead recording system. Singularity points (SPs) were identified in surface phase maps after band-pass filtering at the highest dominant frequency (HDF). Mathematical models of combined atria and torso were constructed and used to investigate the ability of surface phase maps to estimate rotor activity in the atrial wall. Results: The simulations show that surface SPs originate at atrial SPs, but not all atrial SPs are reflected at the surface. Stable SPs were found in AF signals during 8.3±5.7% vs. 73.1±16.8% of the time in unfiltered vs. HDF-filtered patient data respectively (p<0.01). The average duration of each rotational pattern was also lower in unfiltered than in HDF-filtered AF signals (160±43 vs. 342±138 ms, p<0.01) resulting in 2.8±0.7 rotations per rotor. Band-pass filtering reduced the apparent meandering of surface HDF rotors by reducing the effect of the atrial electrical activity taking place at different frequencies. Torso surface SPs representing HDF rotors during AF were reflected at specific areas corresponding to the fastest atrial location. Conclusion: Phase analysis of surface potential signals after HDF-filtering during AF shows reentrant drivers localized to either the LA or RA, helping in localizing ablation targetsThis work was supported in part by the Spanish Society of Cardiology (Becas Investigacion Clinica 2009); the Universitat Politecnica de Valencia through its research initiative program; the Generalitat Valenciana grant (ACIF/2013/021); the Ministerio de Economia y Competitividad, Rod RIC; the Centro Nacional de Investigaciones Cardiovasculares (proyecto CNIC-13); the Coulter Foundation from the Biomedical Engineering Department, University of Michigan; the Gelman Award from the Cardiovascular Division, University of Michigan; the National Heart, Lung, and Blood Institute grants (P01411.039707, P01-1111187226, and R01-11L118304); and the Leducq Foundation. Dr Femandez-Aviles served on the advisory board of Medtronic and has received research funding from St Jude Medical Spain. Dr Berenfeld has received research support from Medtronic and St Jude Medical; he is a colbunder and scientific officer of Rhythm Solutions. None of the companies disclosed financed the research described in this article.Rodrigo Bort, M.; Guillem Sánchez, MS.; Climent, AM.; Pedrón Torrecilla, J.; Liberos Mascarell, A.; Millet Roig, J.; Fernandez-Aviles, F.... (2014). Body surface localization of left and right atrial high-frequency rotors in atrial fibrillation patients: A clinical-computational study. Heart Rhythm. 11(9):1584-1591. https://doi.org/10.1016/j.hrthm.2014.05.013S1584159111

Diverse responses of common vole (Microtus arvalis) populations to Late Glacial and Early Holocene climate changes – Evidence from ancient DNA

The harsh climatic conditions during the Last Glacial Maximum (LGM) period have been considered the cause of local extinctions and major faunal reorganizations that took place at the end of the Pleistocene. Recent studies have shown, however, that in addition many of these ecological events were associated with abrupt climate changes during the so-called Late Glacial and the Pleistocene/Holocene transition. Here we used ancient DNA to investigate the impact of those changes on European populations of temperate vole species (Microtus arvalis). The genetic diversity of modern populations and the fossil record suggests that the species may have survived cold episodes, like LGM, not only in the traditional Mediterranean glacial refugia but also at higher latitudes in cryptic northern refugia located in Central France, the northern Alps as well as the Carpathians. However, the details of the post-glacial recolonization and the impact of the Late Glacial and Early Holocene climate changes on the evolutionary history of the common vole remains unclear. To address this issue, we analysed mtDNA cytochrome b sequences from more than one hundred common vole specimens from 36 paleontological and archaeological sites scattered across Europe. Our data suggest that populations from the European mid- and high latitudes suffered a local population extinction and contraction as a result of Late Glacial and Early Holocene climate and environmental changes. The recolonization of earlier abandoned areas took place in the Mid- to Late Holocene. In contrast, at low latitudes, in Northern Spain there was a continuity of common vole populations. This indicates different responses of common vole populations to climate and environmental changes across Europe and corroborates the hypothesis that abrupt changes, like those associated with Younger Dryas and the Pleistocene/Holocene transition, had a significant impact on populations at the mid- and high latitudes of Europe

XML-BSPM: an XML format for storing Body Surface Potential Map recordings

<p>Abstract</p> <p>Background</p> <p>The Body Surface Potential Map (BSPM) is an electrocardiographic method, for recording and displaying the electrical activity of the heart, from a spatial perspective. The BSPM has been deemed more accurate for assessing certain cardiac pathologies when compared to the 12-lead ECG. Nevertheless, the 12-lead ECG remains the most popular ECG acquisition method for non-invasively assessing the electrical activity of the heart. Although data from the 12-lead ECG can be stored and shared using open formats such as SCP-ECG, no open formats currently exist for storing and sharing the BSPM. As a result, an innovative format for storing BSPM datasets has been developed within this study.</p> <p>Methods</p> <p>The XML vocabulary was chosen for implementation, as opposed to binary for the purpose of human readability. There are currently no standards to dictate the number of electrodes and electrode positions for recording a BSPM. In fact, there are at least 11 different BSPM electrode configurations in use today. Therefore, in order to support these BSPM variants, the XML-BSPM format was made versatile. Hence, the format supports the storage of custom torso diagrams using SVG graphics. This diagram can then be used in a 2D coordinate system for retaining electrode positions.</p> <p>Results</p> <p>This XML-BSPM format has been successfully used to store the Kornreich-117 BSPM dataset and the Lux-192 BSPM dataset. The resulting file sizes were in the region of 277 kilobytes for each BSPM recording and can be deemed suitable for example, for use with any telemonitoring application. Moreover, there is potential for file sizes to be further reduced using basic compression algorithms, i.e. the deflate algorithm. Finally, these BSPM files have been parsed and visualised within a convenient time period using a web based BSPM viewer.</p> <p>Conclusions</p> <p>This format, if widely adopted could promote BSPM interoperability, knowledge sharing and data mining. This work could also be used to provide conceptual solutions and inspire existing formats such as DICOM, SCP-ECG and aECG to support the storage of BSPMs. In summary, this research provides initial ground work for creating a complete BSPM management system.</p