Bridging the Semantic Gap to Mitigate Kernel-Level Keyloggers. - Jesús Navarro; Enrique Naudon; Daniela Oliveira 001 (IEEE Symposium on Security and Privacy Workshops, 2012)

Putting Gradual Types to Work. - Bhargav Shivkumar; Enrique Naudon; Lukasz Ziarek (PADL, 2021)