implementation("at.asitplus.awesn1:crypto:0.1.1")
Awesome Syntax Notation One - structural crypto and PKI models