We provide a framework for constructing leakage-resilient identification (ID) protocols in the bounded retrieval model (BRM) from proofs of storage (PoS) that hide partial information about the file. More precisely, we describe a generic transformation from any zero-knowledge PoS to a leakage-resilient ID protocol in the BRM. We then describe a ZK-PoS based on RSA which, under our transformatio...

The use of stochastic formalisms, such as Stochastic Automata Networks (SAN), can be very useful for statistical prediction and behavior analysis. Once well fitted, such formalisms can generate probabilities about a target reality. These probabilities can be seen as a statistical approach of knowledge discovery. However, the building process of models for real world problems is time consuming e...

Neuroscience has benefited from an explosion of new experimental techniques; many have only become feasible in the wake of improvements in computing speed and data storage. At the same time, these new computation-intensive techniques have led to a growing gulf between the data and the knowledge extracted from those data. That is, in the neurosciences there is a paucity of effective knowledge ma...

Travel and Entertainment (T&E) expenses are under increasing scrutiny as one of the largest controllable indirect expenses in a firm. This involves internal audits and analysis by business controls personnel to identify fraud and misuse and to take appropriate corrective actions. We have developed a set of statistical models to identify suspicious behavior for further investigation. Our Behavio...

In the practice of law the products and applications of information and communication technologies, such as intranet infrastructures; document, content and case management systems; workflow management systems; artificial intelligence technologies; and business intelligence tools are becoming increasingly important means of communication, of information distribution, and of sharing knowledge. Th...