1 document found, page 1 of 1

Sort by Issue Date
go first page go previous page
go to page: 1
go next page go last page
rss feed search results

The last mile: High-Assurance and High-Speed cryptographic implementations

Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Laporte, Vincent; Oliveira, Tiago; Strub, Pierre-Yves

We develop a new approach for building cryptographic implementations. Our approach goes the last mile and delivers assembly code that is provably functionally correct, protected against side-channels, and as efficient as handwritten assembly. We illustrate our approach using ChaCha20Poly1305, one of the two ciphersuites recommended in TLS 1.3, and deliver formally verified vectorized implementations which outpe...

Date: 2020   |   Origin: RepositóriUM - Universidade do Minho
More info.
go first page go previous page
go to page: 1
go next page go last page
rss feed search results

1 Results

Queried text

Refine Results

Author









Date


Document Type


Access rights


Resource