Benedikt R Schmidt

Learn More
Although there is growing concern that amphibian populations are declining globally, much of the supporting evidence is either anecdotal or derived from short-term studies at small geographical scales. This raises questions not only about the difficulty of detecting temporal trends in populations which are notoriously variable, but also about the validity(More)
We present a general approach for the symbolic analysis of security protocols that use Diffie-Hellman exponentiation to achieve advanced security properties. We model protocols as multiset rewriting systems and security properties as first-order formulas. We analyze them using a novel constraint-solving algorithm that supports both falsification and(More)
Emerging infectious diseases are reducing biodiversity on a global scale. Recently, the emergence of the chytrid fungus Batrachochytrium salamandrivorans resulted in rapid declines in populations of European fire salamanders. Here, we screened more than 5000 amphibians from across four continents and combined experimental assessment of pathogenicity with(More)
Rescuing amphibian diversity is an achievable conservation challenge. Disease mitigation is one essential component of population management. Here we assess existing disease mitigation strategies, some in early experimental stages, which focus on the globally emerging chytrid fungus Batrachochytrium dendrobatidis. We discuss the precedent for each strategy(More)
Monitoring programs serve to track changes in the distribution and abundance of species. A major problem with most monitoring programs is that species detection is imperfect and some populations are inevitably missed. Therefore, in most monitoring programs the true distribution of a species will be underestimated. Here, we report a field test of the(More)
Traditional security protocols are mainly concerned with authentication and key establishment and rely on predistributed keys and properties of cryptographic operators. In contrast, new application areas are emerging that establish and rely on properties of the physical world. Examples include protocols for secure localization, distance bounding, and secure(More)
Sexual selection has traditionally been investigated assuming that male quality is as skewed as patterns of male reproductive success can sometimes be. Recently, female choice has been investigated under the model of genetic compatibility, which assumes that each individual female has her own 'best' mate and there is no overall optimal choice for all(More)
BACKGROUND Chytridiomycosis is a fungal disease linked to local and global extinctions of amphibians. Susceptibility to chytridiomycosis varies greatly between amphibian species, but little is known about between- and within-population variability. However, this kind of variability is the basis for the evolution of tolerance and resistance evolution to(More)
Disease can be an important driver of host population dynamics and epizootics can cause severe host population declines. Batrachochytrium dendrobatidis (Bd), the pathogen causing amphibian chytridiomycosis, may occur epizootically or enzootically and can harm amphibian populations in many ways. While effects of Bd epizootics are well documented, the effects(More)