Probabilistic model checking is a powerful technique for formally verifying quantitative
properties of systems that exhibit stochastic behaviour. Such systems are found in many …

We evaluate Website authentication measures that are designed to protect users from man-
in-the-middle,'phishing', and other site forgery attacks. We asked 67 bank customers to …

Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of
soft errors on such circuits, we develop a general computational framework based on …

We present PROPhESY, a tool for analyzing parametric Markov chains (MCs). It can
compute a rational function (ie, a fraction of two polynomials in the model parameters) for …

Reliability is fast becoming a major concern due to the nanometric scaling of CMOS
technology. Accurate analytical approaches for the reliability evaluation of logic circuits …

Logic circuits built using nanoscale technologies have significant reliability limitations due to
fundamental physical and manufacturing constraints of their constituent devices. This paper …

While most of the electronics industry is dependent on the ever-decreasing size of
lithographic transistors, this scaling cannot continue indefinitely. Nanoelectronics (circuits …

We propose the probabilistic transfer matrix (PTM) framework to capture nondeterministic
behavior in logic circuits. PTMs provide a concise description of both normal and faulty …

This article provides an overview of several logic redundancy schemes, including von
Neumann's multiplexing logic, N-tuple modular redundancy, and interwoven redundant …

Probabilistic-model checking is a formal verification technique for analyzing the reliability
and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate …