Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/50513
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Almeida, José Bacelar | por |
dc.contributor.author | Barbosa, Manuel | por |
dc.contributor.other | [et. al] | - |
dc.date.accessioned | 2018-02-15T11:57:48Z | - |
dc.date.available | 2018-02-15T11:57:48Z | - |
dc.date.issued | 2017-10-30 | - |
dc.identifier.isbn | 978-1-4503-4946-8 | - |
dc.identifier.issn | 1543-7221 | por |
dc.identifier.uri | https://hdl.handle.net/1822/50513 | - |
dc.description.abstract | 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 designed to achieve predictability and effciency of the output code (currently limited to x64 platforms), and is formally verified in the Coq proof assistant. Using the supercop framework, we evaluate the Jasmin compiler on representative cryptographic routines and conclude that the code generated by the compiler is as efficient as fast, hand-crafted, implementations. Moreover, the framework includes highly automated tools for proving memory safety and constant-time security (for protecting against cache-based timing attacks). We also demonstrate the effectiveness of the verification tools on a large set of cryptographic routines. | por |
dc.description.sponsorship | TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE- 01-0145-FEDER- 000020 | por |
dc.language.iso | eng | por |
dc.publisher | Association for Computing Machinery (ACM) | por |
dc.rights | openAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | por |
dc.subject | High-speed cryptography | por |
dc.subject | Certified compilation | por |
dc.subject | Cryptographic implementations | por |
dc.subject | Verified compiler | por |
dc.subject | Safety | por |
dc.subject | Constant-time security | por |
dc.title | Jasmin: high-assurance and high-speed cryptography | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | The original publication is available at https://dl.acm.org/citation.cfm?id=3134078 | por |
oaire.citationStartPage | 1807 | por |
oaire.citationEndPage | 1823 | por |
oaire.citationVolume | Part F131467 | por |
dc.identifier.doi | 10.1145/3133956.3134078 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.description.publicationversion | info:eu-repo/semantics/publishedVersion | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Proceedings of the ACM Conference on Computer and Communications Security | por |
sdum.conferencePublication | Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security | por |
sdum.bookTitle | CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
17CCSb.pdf | 778,14 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons