A Aralex Aachen research explorer

October 27, 2017 conference-paper Open access

HACL*: A Verified Modern Cryptographic Library

ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/3133956.3134043 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 216

On the (In)Security of the BUFF Transform
2024 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

14

citations
Intra-unikernel isolation with Intel memory protection keys
2020 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) conference-paper Computer Science Security and Verification in Computing

56

citations

2 results

References 0