TRIEL: a specification language where compliance rules compile into cryptographic artifacts

Software specifications and their implementations tend to drift apart over time. A specification is...

Raccontata dadev.to