In the Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a publicly known deck. Alice and Bob must then communicate their cards to each other without Cath learning who holds a single card. Solutions in the literature provide weak security, where Cath does not know with certainty who holds each card that is not hers, or perfect security, where Cath learns no pr...

Since mid-2012, France and Germany have had to deal with a new form of payment card skimming. This fraud consists of adding a wireless embedded system into a point-of-sale payment terminal with the fraudulent goal of collecting payment card data and personal identification numbers (PIN). This case study details the strategy adopted to conduct the digital forensic examination of these skimmers. ...

This paper presents JFly, a JML-based strategy for incorporating formal specifications into the software development of object oriented programs. The strategy consists in evolving functional requirements into a semi-formal requirements form, and then expressing these requirements as JML formal specifications. What makes our strategy different from existing strategies is the particular use of JM...

APBA baseball is a sophisticated baseball simulation game. Each major league player is represented by a card, which has numbers on it that reflect his performance in a particular season. Two people play a game by rolling dice and looking on their players’ cards to see what is the outcome of the roll of the dice. In this article we use Markov chains to analyze certain aspects of this game. For e...

It is well established that performance on the Wisconsin Card Sorting Test (WCST) tends to decline with advanced age, but the reason for this decline has not been established. The objective of the present study was to clarify this question using a qualitative approach to the task. The WCST was administered to 19 older adults and 25 younger participants. In addition to standard testing procedure...