Sequential Circuit Design for Embedded Cryptographic Applications Resilient to Adversarial Faults

In the relatively young field of fault-tolerant cryptography, the main research effort has focused exclusively on the protection of the data path of cryptographic circuits. To date, however, we have not found any work that aims at protecting the control logic of these circuits against fault attacks, which thus remains the proverbial Achilles’ heel. Motivated by a hypothetical yet realistic fault analysis attack that, in principle, could be mounted against any modular exponentiation engine, even one with appropriate data path protection, we set out to close this remaining gap. In this paper, we present guidelines for the design of multifault-resilient sequential control logic based on standard Error-Detecting Codes (EDCs) with large minimum distance. We introduce a metric that measures the effectiveness of the error detection technique in terms of the effort the attacker has to make in relation to the area overhead spent in implementing the EDC. Our comparison shows that the proposed EDC-based technique provides superior performance when compared against regular N-modular redundancy techniques. Furthermore, our technique scales well and does not affect the critical path delay

Quantum Dimension Polynomials: A Networked-Numbers Game Approach

The Networked-Numbers Game--a mathematical game\u27\u27 played on a simple graph--is incredibly accessible and yet surprisingly rich in content. The Game is known to contain deep connections to the finite-dimensional simple Lie algebras over the complex numbers. On the other hand, Quantum Dimension Polynomials (QDPs)--enumerative expressions traditionally understood through root systems--corresponding to the above Lie algebras are complicated to derive and often inaccessible to undergraduates. In this thesis, the Networked-Numbers Game is defined and some known properties are presented. Next, the significance of the QDPs as a method to count combinatorially interesting structures is relayed. Ultimately, a novel closed-form expression of the type D_n QDPs and novel derivations of the QDPs of types A_n, B_n, C_n, and D_n are provided using an inductive proof through the Networked-Numbers Game. This provides a combinatorial avenue of approach to a topic traditionally only attainable through Lie theory

Alcohol Bottles at Fort Snelling: A Study of American Military Culture in the 19th Century

The goal of this research was to explore the theme of alcohol as a social status marker within the realm of the American military frontier in the early to mid-1800s. The study was done as a comparison between the drinking habits of the officers and the enlisted men throughout the occupancy of the selected fort during the 1800s. While glass bottles and alcohol are both extensively studied subjects in anthropology and archaeology, there is a gap in the shape of alcohol’s use as a social status marker within the American military. This thesis hopes to start to fill in that gap. The fort studied was Fort Snelling, a 19th century era military installation in St. Paul, Minnesota. The fort had been previously excavated and its collection curated, but very little research has been done on its contents. The chosen artifacts for this study were the remains of alcohol bottles, including bottle styles that had multiple uses so long as alcohol were among them. The study revealed variations in choice of drink between officers and enlisted men

Broadband adiabatic conversion of light polarization

A broadband technique for robust adiabatic rotation and conversion of light polarization is proposed. It uses the analogy between the equation describing the polarization state of light propagating through an optically anisotropic medium and the Schrodinger equation describing coherent laser excitation of a three-state atom. The proposed techniques is analogous to the stimulated Raman adiabatic passage (STIRAP) technique in quantum optics; it is applicable to a wide range of frequencies and it is robust to variations in the ropagation length

EQUINE PROTOZOAL MYELOENCEPHALITIS: INVESTIGATION OF GENETIC SUSCEPTIBILITY AND ASSESSMENT OF AN EQUINE INFECTION METHOD

Equine protozoal myeloencephalitis (EPM) is a progressive neurological disease of horses caused by Sarcocystis neurona. Two projects were conducted to identify factors involved in the development of EPM. The first study explored a possible genetic susceptibility to EPM by attempting a genome-wide association study (GWAS) on formalin-fixed, paraffin-embedded (FFPE) tissue from 24 definitively-positive EPM horses. DNA extracted from tissues older than 14 months was inadequate for SNP analysis on the Illumina Equine SNP50 BeadChip probably due to degradation and formalin cross-linking. Results were inconclusive as analysis was not possible with the small sample set. The second study evaluated an artificial infection method in creating a reliable equine EPM model. Five horses were injected intravenously at 4 time points with autologous blood incubated with 1,000,000S. neurona merozoites. Challenged horses progressively developed mild to moderate clinical signs and had detectable S. neurona serum antibodies on day 42 post challenge. Horses appeared to have produced a Th1 immune response and cleared the infection by the conclusion of the study on day 89. No histopathological evidence of S. neurona infection was found within central nervous system tissue. This artificial infection method was not effective in replicating the severe clinical EPM seen in natural infections

Notes Toward a Truly Modern Wills Act

The formal requirements of our highly structured succession law frequently frustrate both the goals of decedents and the basic purposes of the law itself. In this article, Professor Gaubatz reviews the goals of succession law and the ways the law as currently structured fails to satisfy these goals. He discusses the ability of the Uniform Probate Code to resolve these insufficiencies pointing to the lack of flexibility in the Code to work changes in result where factual deviations indicate change is necessary. Concluding that basic substantive problems remain unresolved .by the Code, the author suggests increasing the flexibility of inheritance laws by providing for investigation into individual cases to ascertain the extent to which underlying succession law policy is fulfilled. In addition, it is argued that many nontraditional forms of expression of testamentary intent be validated where the dispositive act is consistent with succession law policy. Finally, the author outlines how the proposed modifications would work in practice