C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification | IEEE Conference Publication | IEEE Xplore