CalcMac derives the EPIC MAC (PHVF/LHVF) given the full 16 bytes of the SCION path type MAC (auth), the EPIC packet ID (pktID), the timestamp in the Info Field (timestamp), and the SCION common/address header (s).

CoreFromPktCounter reads the core ID and the core counter from a counter belonging to a packet identifier.

CreateTimestamp returns the epic timestamp, which encodes the current time (now) relative to the input timestamp.

PktCounterFromCore creates a counter for the packet identifier based on the core ID and the core counter.

VerifyHVF verifies the correctness of the HVF (PHVF or the LHVF) field in the EPIC packet by recalculating and comparing it.

VerifyTimestamp checks whether an EPIC packet is fresh.

AuthLen denotes the size of the authenticator in bytes.

MACBufferSize denotes the buffer size of the CBC input and output.

MaxClockSkew denotes the maximal clock skew.

MaxPacketLifetime denotes the maximal lifetime of a packet.

TimestampResolution denotes the resolution of the epic timestamp.