GitHub repository: pietrotedeschi/AIS_CAESAR
Description: PoC for AIS broadcast authentication based on TESLA