feat(readme): reflect changes from hascpec.github.io

This is following PRs
hacspec/hacspec.github.io#1 and
hacspec/hacspec.github.io#2.

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