Automatic Challenge Generation for Hands-on Cybersecurity Training. - Matteo Benzi; Giovanni Lagorio; Marina Ribaudo (EuroS&P Workshops, 2022)