Introduction: Leakage of cerebrospinal fluid in the skull base may be accompanied with recurrent meningitis. The site of leakage may either be anterior (in the nose and paranasal sinuses) or posterior (in the temporal bone). Various imaging techniques can be used to precisely locate the point of leakage but despite all the advances in imaging techniques there are still some rare cases in which ...

Side-channel attacks (SCAs) have been a realistic serious threat to crypto devices. Therefore, evaluating the SCAs resilience of a crypto device is important and necessary. The SCAs-secure evaluation criteria includes the information theoretic metric and the security metric. The former metric, i.e. mutual information (MI), measures the leakage amount of a crypto device. However, because the rea...

Leakage-resilient cryptography aims to extend the rigorous guarantees achieved through the provable security paradigm to physical implementations. The constructions and mechanisms designed on basis of this new approach inevitably suffer from an Achilles heel: a bounded leakage assumption is needed. Currently, a huge gap exists between the theory of such designs and their implementation to confi...

Most cryptographic schemes are designed in a model where perfect secrecy of the secret key is assumed. In most physical implementations, however, some form of information leakage is inherent and unavoidable. To deal with this, a flurry of works showed how to construct basic cryptographic primitives that are resilient to various forms of leakage. Dodis et al. (FOCS ’10) formalized and constructe...

The effects of building leakage on heat and mass transfer in buildings are difficult to model due to the difficulty in knowing crack size, shape, position, and number. Nevertheless, interest remains high in the estimation of crack areas in buildings because of the important effects cracks have on infiltration, indoor air quality, building energy performance, and because of interest in exploring...

We examine the use of model-checking in the analysis of information leakage in social networks. We take previous work on the formal analysis of digital crowds and show how a variation on the formalism can naturally model the interaction of people and groups of followers in intersecting social networks. We then show how probabilistic models of the forwarding and reposting behaviour of individual...

ten solanum tuberosum cultivars and accessions from 11 wild solanum species were evaluated for their tolerance to salt (200 mm nacl or 100 mm na2so4), drought (35% peg), cold (-4ºc) and heat (37ºc). evaluation was based on electrolyte leakage from de-tached leaves of in vitro plantlets. testing involved a rinsing treatment with three changes of distilled water to remove electrolytes from leaf a...

The quantification of information leakage provides a quantitative evaluation of the security of a system. We propose the usage of Markovian processes to model deterministic and probabilistic systems. By using a methodology generalizing the lattice of information approach we model refined attackers capable to observe the internal behavior of the system, and quantify the information leakage of su...