Seminar Talk on Higher-Order Crypto