SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq | IEEE Conference Publication | IEEE Xplore