Generalized Security-Preserving Refinement for Concurrent Systems.

Huan Sun, David Sann, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang

Browse the full CCS paper archive.