Elliptic Curve Cryptography (ECC)
What is the problem?
Galois has developed tools that support the development of extremely high assurance Java implementations of elliptic curve cryptography (ECC). This is made possible by using formal methods to create a correspondence between the Java implementation and a mathematical specification of elliptic curve operations.
ECC provides the security of standard public key cryptography with more efficient implementations. This is made possible by smaller key sizes and optimizations relying on deep mathematical concepts. This combination of security and efficiency has contributed to their growth in popularity, as illustrated by this quote taken from "The Case for Elliptic Curve Cryptography" article published on the website of the National Security Agency:
For protecting both classified and unclassified National Security information, the National Security Agency has decided to move to elliptic curve based public key cryptography. ![...] The Cryptographic Modernization Initiative in the US Department of Defense aims at replacing almost 1.3 million existing equipments over the next 10 years. In addition, the Department's Global Information Grid will require a vast expansion of the number of security devices in use throughout the US Military.
Collaborate with Us
Licensing - Obtain a license for one of our advanced technologies.
Research & Development - Solve your toughest problems by exploring new approaches with us.
Training - Learn how to use cutting-edge tools to increase trustworthiness in your critical systems.