Lifted Logic Protection