Design, Analysis, and Optimization of Isogeny-Based Key Establishment Protocols