An implementation of a SAS-based authenticated key exchange - View it on GitHub