int main(void)
{
ALIGN(16) vmac_ctx_t ctx, ctx_aio, ctx_inc1, ctx_inc2;
uint64_t res, tagl;
void *p;
unsigned char *m;
ALIGN(4) unsigned char key[] = "abcdefghijklmnop";
ALIGN(4) unsigned char nonce[] = "\0\0\0\0\0\0\0\0bcdefghi";
unsigned int vector_lengths[] = {0,3,48,300,3000000};
#if (VMAC_TAG_LEN == 64)
ALIGN(4) char *should_be[] = {"2576BE1C56D8B81B","2D376CF5B1813CE5",
"E8421F61D573D298","4492DF6C5CAC1BBE",
"09BA597DD7601113"};
int main(void)
{
ALIGN(16) vmac_ctx_t ctx, ctx_aio, ctx_inc1, ctx_inc2;
uint64_t res, tagl;
void *p;
unsigned char *m;
ALIGN(4) unsigned char key[] = "abcdefghijklmnop";
ALIGN(4) unsigned char nonce[] = "\0\0\0\0\0\0\0\0bcdefghi";
unsigned int vector_lengths[] = {0,3,48,300,3000000};
#if (VMAC_TAG_LEN == 64)
ALIGN(4) char *should_be[] = {"2576BE1C56D8B81B","2D376CF5B1813CE5",
"E8421F61D573D298","4492DF6C5CAC1BBE",
"09BA597DD7601113"};
To copy to clipboard, switch view to plain text mode
Bookmarks