Cracking the functions of morphing forms in nature: from plant shoots to the dandelion fruit
Computational multiscale modelling of traumatic brain injury
15:00
Cryptanalysis of the Algebraic Eraser
Abstract
The Algebraic Eraser is a cryptosystem (more precisely, a class of key
agreement schemes) introduced by Anshel, Anshel, Goldfeld and Lemieux
about 10 years ago. There is a concrete instantiation of the Algebraic
Eraser called the Colored Burau Key Agreement Protocol (CBKAP), which
uses a blend of techniques from permutation groups, matrix groups and
braid groups. SecureRF, the company owning the trademark to the
Algebraic Eraser, is marketing this system for lightweight
environments such as RFID tags and other Internet of Things
applications; they have proposed making this scheme the basis for an
ISO RFID standard.
This talk gives an introduction to the Algebraic Eraser, a brief
history of the attacks on this scheme using ideas from group-theoretic
cryptography, and describes the countermeasures that have been
proposed. I would not recommend the scheme for the proposed
applications: the talk ends with a brief sketch of a recent convincing
cryptanalysis of this scheme due to Ben-Zvi, Blackburn and Tsaban
(which appeared at CRYPTO this summer), and significant attacks
on the protocol in the proposed ISO standard due to Blackburn and
Robshaw (which appeared at ACNS earlier this year).
There is a wide class of problems in mathematics known as inverse problems. Rather than starting with a mathematical model and analysing its properties, mathematicians start with a set of properties and try to obtain mathematical models which display them. For example, in mathematical chemistry researchers try to construct chemical reaction systems that have certain predefined behaviours. From a mathematical point of view, this can be used to create simplified chemical systems that can be used as test problems for different mathematical fields.
Correctly predicting extinction is critical to ecology. Claim extinction too late, and you may be taking resources away from a species that actually could be saved. Claim extinction too early, and you may cause the true extinction due to stopping resources, such as removing protection of its habitat.
Alison Etheridge FRS, Professor of Probability in the University of Oxford, has been named Fellow of the Institute of Mathematical Statistics (IMS). Professor Etheridge received the award for outstanding research on measure-valued stochastic processes and applications to population biology; and for international leadership and impressive service to the profession.