SageMath notebook for the paper "Analyzing the Real-World Security of the Algorand Blockchain"
You will need SageMath to view the Jupyter notebook. After installing SageMath, run (from this directory)
sage -n jupyter proba.ipynb
The scripts here are confirmed to work on SageMath 10.0.