A smart approach to high-security contracts