Jasmin: high-assurance and high-speed cryptography

Jasmin is a framework for developing high-speed and high-assurance cryptographic software. The framework is structured around the Jasmin programming language and its compiler. The language is designed for enhancing portability of programs and for simplifying verification tasks. The compiler is desig...

Full description

Bibliographic Details
Main Author: Almeida, José Bacelar (author)
Other Authors: Barbosa, Manuel (author)
Format: conferencePaper
Language:eng
Published: 2017
Subjects:
High-speed cryptography
Certified compilation
Cryptographic implementations
Verified compiler
Safety
Constant-time security
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/50513
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/50513

Internet

http://hdl.handle.net/1822/50513

Similar Items