Attacking and repairing the winZip encryption scheme
Analysis of key-exchange protocols and their use for building secure channels