3 ms·Prudent Engineering Practice for Cryptographic Protocols (1994) [pdf]11 points by kushti 11y ago