Ensuring correct cryptographic algorithm and provider usage at compile time. - Weitian Xing; Yuanhui Cheng; Werner Dietl (FTfJP@ECOOP, 2021)