galois

Two of my favourite examples are Evariste Galois (invented galois theory, died at 20 in a duel), and one Isaac Newton.

The folks at Galois have a language called Cryptol that can be used for similar things with hardware.

In this code, it was at least well sourced (and hopefully battle tested) SSE3 assembler for the Galois field arithmetic.

It's cognitively dissonant not to read GCM not as Galois Counter Mode in a crypto discussion.

That might be true for galois, but not your run of the mill webapp shop.

Pardon my ignorance, but how would a system using a Galois Field work?

It's another amazing piece of work largely developed by Galois Inc: a company that invents and develops great stuff on a regular basis.

Turns out that a Galois Field has all those properties.

In practice you'll definitely want a Galois Field or something.

SSF only supports latest TLS-1.2 and default cipher suite is DHE-RSA-AES256-GCM-SHA384 (RSA based authentication, perfect forward secrecy enabled, AES 256 based symmetric cipher in Galois Counter Mode).

That Galois story is obviously a fairy tale.

If OpenSSL is really the best, then we're in a bad situation and need to fund a clean-slate design by experts like Galois and Altran-Praxis.

> "in this sort of a situation, one must work with the Galois groups involved as abstract topological groups, which are not equipped with the 'labeling apparatus'.

"Long March Through Galois Theory" can either be obtained from Jean Malgoire directly, or from a university library, or from the university of Université de Montpellier (there are reportedly some 20,000 pages of material from Grothendieck stored somewhere in a box).

After digging through tones of Internet material, I have answered my own question: currently, as of August 3, 2015, there is no resource on the Internet that contains all of the work "La longue marche a travers la theorie de galois".

“Its main purpose is to rewrite and secure the mission computer on board the Little Bird,” and Typically, most commercial and military vehicles are powered by general purpose programming languages, such as C or C++, which have a number of security holes, said Lee Pike, Galois research lead for cyber-physical systems.

Galois, another mathematical genius from France (1800s), died at twenty because he fought a duel and got killed.

Might need to learn it anyway given the seL4 and lots of Galois's work (eg Ivory language) is using Haskell.

> Also in the crypto/cipher package, there is now support for nonce lengths other than 96 bytes in AES's Galois/Counter mode (GCM), which some protocols require.