Lightweight cryptographic protocol framework used for establishing authenticated encrypted channels between clients and HSM in Signal's secure backup system 1 talk featuring this tool from 1 chapters.