Jasmin: High-Assurance and High-Speed Cryptography

dc.contributor.author José Bacelar Almeida en
dc.contributor.author Manuel Barbosa en
dc.contributor.author Barthe,G en
dc.contributor.author Blot,A en
dc.contributor.author Grégoire,B en
dc.contributor.author Laporte,V en
dc.contributor.author Oliveira,T en
dc.contributor.author Hugo Pereira Pacheco en
dc.contributor.author Schmidt,B en
dc.contributor.author Strub,PY en
dc.date.accessioned 2017-12-22T10:02:28Z
dc.date.available 2017-12-22T10:02:28Z
dc.date.issued 2017 en
dc.description.abstract en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/4739
dc.identifier.uri http://dx.doi.org/10.1145/3133956.3134078 en
dc.language eng en
dc.relation 5598 en
dc.relation 5604 en
dc.relation 5647 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Jasmin: High-Assurance and High-Speed Cryptography en
dc.type conferenceObject en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00N-527.pdf
Size:
769 KB
Format:
Adobe Portable Document Format
Description: