Cryptography insights shaped by real systems