Learn More
A microsatellite-based high-density linkage map for oil palm (Elaeis guinensis Jacq.) was constructed from a cross between two heterozygous parents, a tenera palm from the La Me population (LM2T) and a dura palm from the Deli population (DA10D). A set of 390 simple sequence repeat (SSR) markers was developed in oil palm from microsatellite-enriched(More)
We present StatVerif, which is an extension the ProVerif process calculus with constructs for explicit state, in order to be able to reason about protocols that manipulate global state. Global state is required by protocols used in hardware devices (such as smart cards and the TPM), as well as by protocols involving databases that store persistent(More)
In Wireless Sensor Networks (WSNs), authentication is a crucial security requirement to avoid attacks against secure communication, and to mitigate DoS attacks exploiting the limited resources of sensor nodes. Resource constraints of sensor nodes are hurdles in applying strong public key cryptographic based mechanisms in WSNs. To address the problem of(More)
An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In response to this danger, unlinkable protocols aim to make it impossible for a third party to identify two runs of a protocol as coming from the same device. We present a(More)
A quantitative trait locus (QTL) analysis designed for a multi-parent population was carried out and tested in oil palm (Elaeis guineensis Jacq.), which is a diploid cross-fertilising perennial species. A new extension of the MCQTL package was especially designed for crosses between heterozygous parents. The algorithm, which is now available for any(More)
This thesis contains an investigation of Coquand's Calculus of Constructions, a basic impredicative Type Theory. We review syntactic properties of the calculus, in particular decidability of equality and type-checking, based on the equality-as-judgement presentation. We present a set-theoretic notion of model, CC-structures, and use this to give a new(More)
We consider two systems of constructive modal logic which are com-putationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic(More)
Mobile telephony equipment is daily carried by billions of subscribers everywhere they go. Avoiding linkability of subscribers by third parties, and protecting the privacy of those subscribers is one of the goals of mobile telecommunication protocols. We use formal methods to model and analyse the security properties of 3G protocols. We expose two novel(More)
Based on an F(1) progeny of 73 individuals, two parental maps were constructed according to the double pseudo-test cross strategy. The paternal map contained 16 linkage groups for a total genetic length of 1,792 cM. The maternal map covered 1,920 cM, and consisted of 12 linkage groups. These parental maps were then integrated using 66 intercross markers.(More)