Noninterference and unwinding for LOCK | IEEE Conference Publication | IEEE Xplore