On Abstract Machines Security and Performance.

Flavio Lombardi, Alessandro Recchia

Browse the full EUSPN paper archive.