From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.

Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel

Browse the full ACSAC paper archive.