Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards. C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. In IEEE Military Communications Conference, MILCOM 2022, Rockville, MD, USA, November 28 - December 2, 2022. pages 285-291, IEEE, 2022. [doi]
Abstract is missing.