Impeccable Circuits

By injecting faults, active physical attacks pose serious threats to cryptographic hardware where Concurrent Error Detection (CED) schemes are promising countermeasures. They are usually based on an Error-Detecting Code (EDC) which enables detecting certain injected faults depending on the specification of the underlying code. Here, we propose a methodology to enable correct, practical, and robust implementation of code-based CEDs. We show that straightforward hardware implementations of given code-based CEDs can suffer from severe vulnerabilities, not providing the desired protection level. In particular, propagation of faults into combinatorial logic is often ignored in security evaluation of these schemes. First, we formally define this detrimental effect and demonstrate its destructive impact. Second, we introduce an implementation strategy to limit the fault propagation effect. Third, in contrast to many other works where the fault coverage is the main focus, we present a detailed implementation strategy which can guarantee the detection of any fault covered by the underlying EDC. This holds for any time of the computation and any location in the circuit, both in data processing and control unit. In short, we provide practical guidelines how to construct efficient CED schemes with arbitrary EDCs to achieve the desired protection level. We practically evaluate the efficiency of our methodology by case studies covering different symmetric block ciphers and various linear EDCs

Impeccable Circuits II

Protection against active physical attacks is of serious concerns of cryptographic hardware designers. Introduction of SIFA invalidating several previously-thought-effective countermeasures, made this challenge even harder. Here in this work we deal with error correction, and introduce a methodology which shows, depending on the selected adversary model, how to correctly embed error-correcting codes in a cryptographic implementation. Our construction guarantees the correction of faults, in any location of the circuit and at any clock cycle, as long as they fit into the underlying adversary model. Based on case studies evaluated by open-source fault diagnostic tools, we claim protection against SIFA

Formal logic: Classical problems and proofs

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational

A STRATEGIC APPROACH OF MANAGEMENT ACCOUNTING

For a long time, management accounting has been used based on a predominantly technical approach which strictly aimed at computing the costs. Gradually, to the management accounting it has been added a decisional approach aimed at influencing the behavioumanagement accounting, strategy, decision making process, long-term

Some Considerations Regarding the Problem of Multidimensional Utility

The concept of 'utility' is often used in ambiguous ways in economics, from having substantive psychological connotations to being a formal placeholder representing a person's preferences. In the accounts of the early utilitarians, it was a multidimensional measure that has been condensed during the marginalist revolution into the unidimensional measure we know today. But can we compare different pleasures? This paper assesses the evidence from psychology and neurosciences on how to best conceive of utility. It turns out that empirical evidence does not favor a view of multidimensional utility. This does not eliminate the possibility to make a normative argument supporting a multidimensional notion of utility.utility, pleasures, neuroeconomics, multidimensionality of utility

Tailorable and Broadband On-Chip Optical Power Splitter

Featured Application Silicon photonics, Quantum integrated photonic circuits, Photonic integrated circuits. Abstract An on-chip optical power splitter is a key component of photonic signal processing and quantum integrated circuits and requires compactness, wideband, low insertion loss, and variable splitting ratio. However, designing an on-chip splitter with both customizable splitting ratio and wavelength independence is a big challenge. Here, we propose a tailorable and broadband optical power splitter over 100 nm with low insertion loss less than 0.3%, as well as a compact footprint, based on 1x2 interleaved tapered waveguides. The proposed scheme can design the output power ratio of transverse electric modes, lithographically, and a selection equation of a power splitting ratio is extracted to obtain the desired power ratio. Our splitter scheme is close to an impeccable on-chip optical power splitter for classical and quantum integrated photonic circuits.11Ysciescopu

Design of an Efficient Memristor-based Dynamic Exclusive-OR gate.

In this paper, an efficient memristor-based dynamic logic design for an Exclusive-OR gate is proposed. The proposed realization reduces the number of cascaded stages and component count thereby providing an overall performance improvement. The performance of the proposed design is compared with the most recent existing design through LTspice software simulations at 32 nm technology node in terms of total power consumption, average propagation delay, and number of components used in the implementation. The outcomes depict that the proposed design consumes 57 % reduced power and provides faster operation with 5.09 % improvement in propagation delay in comparison to its existing counterpart. Further, the robustness of the proposed design is verified by performing technology and capacitance variation. The results show the impeccable performance of proposed design across different load capacitance and technology nodes

Parallel modernities. Notes on artistic modernity in the Southern Cone of Latin America: The case of Paraguay

The author of this article is one of the most important intellectuals in the Latin American artistic scene. Focusing on the particular case of Paraguay, which was governed by the dictatorship of Alfred Stroessner from 1954 until 1989, Escobar traces the modernist impulse in Paraguay and traces its complicated and disturbed relationship with European and North American models and antecedents: Neo-Impressionism, Cubism, Expressionism, Abstraction, and similar. While they reflect the particular political conditions under which the artists worked, the diverse and many-voiced Paraguayan responses also offer an exemplary set of responses that shed light on the development of twentieth-century modernist art and visual culture across the broader South American continent

The True Lies of the Impeccable Incident: What Really Happened, Who Disregarded International Law, and Why Every Nation (Outside of China) Should be Concerned

Article published in the Michigan State International Law Review