Merge pull request #2 from cmester0/patch-1

Update README.md
hacspec · Feb 12, 2024 · b39ad8c · b39ad8c
2 parents ed3d058 + 2ca5671
commit b39ad8c
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -102,7 +102,10 @@ You can use the [`.utils/rebuild.sh`](https://github.com/hacspec/hax/tree/main/.
 * [📕 Original hacspec paper](https://www.franziskuskiefer.de/publications/hacspec-ssr18-paper.pdf)  
 
 ### Secondary literature, using hacspec:
+* [📕 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
 

diff --git a/coqpl22-final61.pdf b/coqpl22-final61.pdf
diff --git a/coqpl24-paper8-2.pdf b/coqpl24-paper8-2.pdf
diff --git a/coqpl24-paper9-13.pdf b/coqpl24-paper9-13.pdf