Describir: Enforcing Integrity Models Through Hardware-Software Cohesive Systems