Energy-efficient redox-based non-volatile memory devices and logic circuits | IEEE Conference Publication | IEEE Xplore