Security Programming with High-Level Abstractions: a Tutorial (Extended Abstract)

Paolo Modesti

HEA National Conference on Learning and Teaching in Cybersecurity, Birmingham, UK, 2016

Links