On the Internal Structure of ALPHA-MAC

ALPHA-MAC is a MAC function which uses the building blocks of AES. This paper studies the internal structure of this new design. First, we provide a method to find second preimages based on the assumption that a key or an intermediate value is known. The proposed searching algorithm exploits the algebraic properties of the underlying block cipher and needs to solve eight groups of linear functions to find a second preimage. Second, we show that our idea can also be used to find internal collisions under the same assumption. We do not make any claims that those findings in any way endanger the security of this MAC function. Our contribution is showing how algebraic properties of AES can be used for analysis of this MAC function

Modeling of electron emission processes accompanying Radon-α\alpha-decays within electrostatic spectrometers

Electrostatic spectrometers utilized in high-resolution beta-spectroscopy studies such as in the Karlsruhe Tritium Neutrino (KATRIN) experiment have to operate with a background level of less than 10^(-2) counts per second. This limit can be exceeded by even a small number of Rn-219 or Rn-220 atoms being emanated into the volume and undergoing alpha-decay there. In this paper we present a detailed model of the underlying background-generating processes via electron emission by internal conversion, shake-off and relaxation processes in the atomic shells of the Po-215 and Po-216 daughters. The model yields electron energy spectra up to 400 keV and electron multiplicities of up to 20 which are compared to experimental data.Comment: 7 figure

Does the financial performance matter in accessing to finance for Libya's SMEs?

This study investigates the impact of financial performance of small and medium-sized enterprises (SMEs) on access to finance in Libya. The study is based on the primary data of 557 survey questionnaires on SMEs in various sectors of different regions of Libya. The data analysis contains the computation of descriptive statistics, correlation statistics and multivariate regression analysis. Our results confirm that financial performance expressed by liability to assets ratios, profit, return of assets have no significant effects on access to finance in Libya

Self-efficacy for coping. Utility of the Cancer behavior inventory (Italian) for use in palliative care

Background: Newer models of palliative and supportive cancer care view the person as an active agent in managing physical and psychosocial challenges. Therefore, personal efficacy is an integral part of this model. Due to the lack of instruments in Italian to assess coping self-efficacy, the present study included the translation and validation of the Italian version of the Cancer Behavior Inventory-Brief (CBI-B/I) and an initial analysis of the utility of self-efficacy for coping in an Italian sample of palliative care patients. Methods: 216 advanced cancer patients who attended palliative care clinics were enrolled. The CBI-B/I was administered along with the European Organization for Research and Treatment of Cancer Quality of Life Questionnaire-Core 30 (EORTC QLQ-C30), the Mini Mental Adjustment to Cancer Scale (Mini-MAC), the Cancer Concerns Checklist (CCL), and the Hospital Anxiety and Depression Scale (HADS). The Eastern Cooperative Oncology Group Performance Status (ECOG-PS) ratings of functional capacity were completed by physicians. Results: Factor analysis confirmed that the structure of the CBI-B/I was consistent with the English version. Internal consistency reliability and significant correlations with the EORTC QLQ-C30, Mini-MAC, and HADS supported the concurrent validity of the CBI-B/I. Differences in CBI-B/I scores for high versus low levels of the CCL and ECOG-PS supported the clinical utility of the CBI-B/I. Conclusions: The CBI-B/I has strong psychometric properties and represents an important addition to newer model of palliative and supportive care. In order to improve clinical practice, the CBI-B/I could be useful in identifying specific self-efficacy goals for coping in structured psychosocial intervention

LoopW Technical Reference v0.3

This document describes the implementation in SML of the LoopW language, an imperative language with higher-order procedural variables and non-local jumps equiped with a program logic. It includes the user manual along with some implementation notes and many examples of certified imperative programs. As a concluding example, we show the certification of an imperative program encoding shift/reset using callcc/throw and a global meta-continuation