Գրեք սա: Verification Across Intellectual Property Boundaries.