Jasmin
A language and compiler for writing high-assurance, high-speed cryptographic implementations.
What is Jasmin?
Jasmin is a specialized programming language and compiler designed for writing high-assurance and high-speed cryptographic implementations. It provides tools to create cryptographic code that is efficient, safe, correct, and secure, addressing the need for reliable cryptography in security-critical systems. The project focuses on generating verifiably secure and performant cryptographic software.
Cryptographers, security engineers, and developers working on cryptographic implementations who require both formal security guarantees and high performance. It is also suitable for researchers and practitioners in high-assurance cryptography.
Jasmin offers a unique combination of formal verification capabilities and optimization for speed, allowing developers to produce cryptographic code that is both provably secure and efficient. Its dedicated language and compiler streamline the creation of high-assurance cryptography, reducing the risk of vulnerabilities while maintaining performance.
Overview
Language for high-assurance and high-speed cryptography
Use Cases
Best For
- Implementing verified cryptographic algorithms for security protocols
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
