Demo: A Symbolic N-Variant System.

Jun Xu, Pinyao Guo, Bo Chen, Robert F. Erbacher, Ping Chen, Peng Liu

Browse the full CCS paper archive.