… Cryptography (ECC) in particular. Our constructive results show that a suitable language allows description of ECC based software in a manner close …Although cryptographic software implementation is often performed by expert …
joc, 22(2):259-281, 2009. [doi]