This Whiteboard Session by Bernardo David is really good and precise. He lays the cryptographic foundations on the implemented POS algorithm. So if you ask yourself why the algorithm is secure, you will find your answer here. Itˋs three hours long and suitable if you are on a trip.