%0 Conference Paper %1 conf/csfw/ThomsenS21 %A Thomsen, Søren Eller %A Spitters, Bas %B CSF %D 2021 %I IEEE %K dblp %P 1-15 %T Formalizing Nakamoto-Style Proof of Stake. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#ThomsenS21 %@ 978-1-7281-7607-9

@inproceedings{conf/csfw/ThomsenS21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Thomsen, Søren Eller and Spitters, Bas}, biburl = {https://www.bibsonomy.org/bibtex/2e83f401c00e15c9674a0deee183b143d/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2021}, ee = {https://doi.org/10.1109/CSF51468.2021.00042}, interhash = {1c577ab0c7be2cb71d8b5915c0491072}, intrahash = {e83f401c00e15c9674a0deee183b143d}, isbn = {978-1-7281-7607-9}, keywords = {dblp}, pages = {1-15}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:03.000+0200}, title = {Formalizing Nakamoto-Style Proof of Stake.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#ThomsenS21}, year = 2021 }