dexXxed

## katan.c
#include <stdio.h>

/*

 Reference BITSLICED implementations of:
 KATAN32, KATAN48, KATAN64, KTANTAN32, KTANTAN48 and KTANTAN64.
 Each of the 64 slices corresponds to a distinct instance.

 To work with a single instance, use values in {0,1}
 (ie, only consider the least significant slice).
	#include <stdio.h>

	/*

	Reference BITSLICED implementations of:
	KATAN32, KATAN48, KATAN64, KTANTAN32, KTANTAN48 and KTANTAN64.
	Each of the 64 slices corresponds to a distinct instance.

	To work with a single instance, use values in {0,1}
	(ie, only consider the least significant slice).