Flexible Tag-based Policies for Compartmentalized C

POPL 2020