more notes, studying key-exchange protocols