89 int tag,
int *msg_len);
static __isl_give isl_map * tag(__isl_take isl_map *Relation, __isl_take isl_id *TagId)
Tag the Relation domain with TagId.
mp_result rsa_pkcs1v15_encode(unsigned char *buf, int msg_len, int buf_len, int tag, random_f filler)
mp_result rsa_os2ip(mp_int z, unsigned char *in, int len)
mp_result rsa_i2osp(mp_int z, unsigned char *out, int len)
mp_result rsa_rsaep(mp_int msg, mp_int exp, mp_int mod, mp_int cipher)
void(* random_f)(unsigned char *, int)
mp_result rsa_rsadp(mp_int cipher, mp_int exp, mp_int mod, mp_int msg)
mp_result rsa_rsasp(mp_int msg, mp_int exp, mp_int mod, mp_int signature)
int rsa_max_message_len(mp_int mod)
mp_result rsa_pkcs1v15_decode(unsigned char *buf, int buf_len, int tag, int *msg_len)
mp_result rsa_rsavp(mp_int signature, mp_int exp, mp_int mod, mp_int msg)