An Efficient Point-to-Point Deterministic Record-Replay Enhanced with Signatures | IEEE Conference Publication | IEEE Xplore