Integer programming and cryptography