Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox | IEEE Conference Publication | IEEE Xplore