Paternal behaviour is critical for the survival of offspring in many monogamous species. Common marmoset (Callithrix jacchus) and cotton-top tamarin (Saguinus oedipus) fathers spend as much or more time caring for infants than mothers. Expectant males of both species showed significant increases in weight across the pregnancy whereas control males did not (five consecutive months for marmoset m...

The aim of this work was to see whether tamarin immunisation with recombinant vaccinia virus expressing Epstein Barr Virus latent proteins could prime T cells which were, on activation, able to inhibit the outgrowth of Epstein Barr virus transformed cells in vitro. The vaccination appeared to be successful as all vaccinated tamarins developed vaccinia lesions. However, the vaccination protocol ...

The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applications.

When trying to prove the security of a protocol, one usually analyzes the protocol in isolation, i.e., in a network with no other protocols. But in reality, there will be many protocols operating on the same network, maybe even sharing data including keys, and an intruder may use messages of one protocol to break another. We call that a multiprotocol attack. In this paper, we try to find such a...

Given two MIPS programs, when are they equivalent? At first glance, this is tricky to define, because of the unstructured nature of assembly code. We propose the use of alternating concolic execution to detect whether two programs are disequivalent. We have implemented our approach in a tool called Tamarin, which includes a MIPS emulator instrumented to record symbolic traces, as well as a conc...

Previous work has shown that human adults, children, and infants can rapidly compute sequential statistics from a stream of speech and then use these statistics to determine which syllable sequences form potential words. In the present paper we ask whether this ability re ̄ects a mechanism unique to humans, or might be used by other species as well, to acquire serially organized patterns. In a s...