A relation calculus for reasoning about t-probing security

Publication
JOURNAL OF CRYPTOGRAPHIC ENGINEERING