Fixed It For You: Protocol Repair Using Lineage Graphs.

Lennart Oldenburg, Xiangfeng Zhu, Kamala Ramasubramanian, Peter Alvaro

Browse the full CIDR paper archive.