Secure Path Verification Cabodi, G.; Camurati, P.; Finocchiaro, S. F. ...
2016 1st IEEE International Verification and Security Workshop (IVSW),
2016-July
Conference Proceeding
Many embedded systems, like medical, sensing, automotive, military, require basic security functions, often referred to as "secure communications". Nowadays, interest has been growing around defining ...new security related properties, expressing relationships with information flow and access control. In particular, novel research works are focused on formalizing generic security requirements as propagation properties. These kinds of properties, we name them Path properties, are used to see whether it is possible to leak secure data via unexpected paths. In this paper we compare Path properties, described above, with formal security properties expressed in CTL Logic, named Taint properties. We also compare two verification techniques used to verify Path and Taint properties considering an abstraction of a Secure Embedded Architecture discussing the advantages and drawbacks of each approach.
Scalable FPGA graph model to detect routing faults Sterpone, L.; Cabodi, G.; Finocchiaro, S. F. ...
2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS),
2016-July
Conference Proceeding
The SRAM cells that form the configuration memory of an SRAM-based FPGA make such FPGAs particularly vulnerable to soft errors. A soft error occurs when ionizing radiation corrupts the data stored in ...a circuit. The error persists until new data is written. Soft errors have long been recognized as a potential problem as radiation can come from a variety of sources. This paper presents an FPGA fault model focusing on routing aspects. A graph model of SRAM nodes behavior in case of fault, starting from netlist description of well known FPGA models, is presented. It is also performed a classification of possible logical effects of a soft error in the configuration bit controlling, providing statistics on the possible numbers of faults. Finally it is reported the definition of fault metrics computed on a set of complex benchmarks proving the effectiveness of our approach.
The paper reports the results of field measurements of gypsum dissolution in various countries (Ukraine, Spain, Italy and others) and in different environments (river waters, precipitation, vadose ...zone, unconfined aquifer, perched cave lakes, ephemeral streams in caves, confined aquifer, cave air).
A preliminary screening of barleys for differences in Beta-glucan-related grain traits Gianinetti, A.; Ferrari, B.; Finocchiaro, F.; Frigeri, P.; Stanca, A.M., Consiglio per la Ricerca e Sperimentazione in Agricoltura, Fiorenzuola d'Arda (Italy). Centre for Genomic Research
Options Méditerranéennes. Série A : Séminaires Méditerranéens (CIHEAM),
2008
81
Journal Article
The presence of a peak of soluble Beta-glucan during malting has been suggested to indicate that Beta-glucan degradation occurs in two stages (Walker et al., 2001). In order to investigate this ...suggestion, we studied a set of 35 barleys with wide variability for grain and malting quality. As a preliminary approach, correlations between parameters were studied over the whole set, and trends of acid-extract viscosity were monitored during malting in 16 genotypes. No peak of acid-extract viscosity was observed in these barleys and no clues revealing a two-stage Beta-glucan degradation were obtained with this approach. Thus, a set of five genotypes having contrasting quality traits was chosen as representative of the variability existing in the whole collection and earmarked for more detailed studies
Cereal components for the development of functional food Finocchiaro, F.; Ferrari, B.; Gianinetti, A.; Stanca, A.M., Consiglio per la Ricerca e Sperimentazione in Agricoltura, Fiorenzuola d'Arda (Italy). Centre for Genomic Research
Options Méditerranéennes. Série A : Séminaires Méditerranéens (CIHEAM),
2008
81
Journal Article