Ensuring correct cryptographic algorithm and provider usage at compile time.

Weitian Xing, Yuanhui Cheng, Werner Dietl

Browse the full ECOOP paper archive.