On Abstract Machines Security and Performance. - Flavio Lombardi; Alessandro Recchia (EUSPN/ICTH, 2023)