Automating Efficient RAM-Model Secure Computation | IEEE Conference Publication | IEEE Xplore