A hybrid encryption scheme based on the satisfiability problem | IEEE Conference Publication | IEEE Xplore