https://toc.cryptobook.us/ A comprehensive introduction to provable cryptography that is comparatively modern.