From b24a9d6506a4cb8decd532ff4768ad6972b2be83 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Tue, 14 May 2024 13:06:51 +0200 Subject: [PATCH] feat(readme): reflect changes from hascpec.github.io This is following PRs https://github.com/hacspec/hacspec.github.io/pull/1 and https://github.com/hacspec/hacspec.github.io/pull/2. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index ea5591066..d55f54469 100644 --- a/README.md +++ b/README.md @@ -139,6 +139,10 @@ You can use the [`.utils/rebuild.sh`](./.utils/rebuild.sh) script (which is avai ### Secondary literature, using hacspec: * [📕 Last yard](https://eprint.iacr.org/2023/185) +* [📕 A Verified Pipeline from a Specification Language to Optimized, Safe Rust](https://github.com/hacspec/hacspec.github.io/blob/master/coqpl22-final61.pdf) at [CoqPL'22](https://popl22.sigplan.org/details/CoqPL-2022-papers/5/A-Verified-Pipeline-from-a-Specification-Language-to-Optimized-Safe-Rust) +* [📕 Last yard](https://eprint.iacr.org/2023/185) +* [📕 A formal security analysis of Blockchain voting](https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper8-2.pdf) at [CoqPL'24](https://popl24.sigplan.org/details/CoqPL-2024-papers/8/A-formal-security-analysis-of-Blockchain-voting) +* [📕 Specifying Smart Contract with Hax and ConCert](https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper9-13.pdf) at [CoqPL'24](https://popl24.sigplan.org/details/CoqPL-2024-papers/9/Specifying-Smart-Contract-with-Hax-and-ConCert) ## Contributing