Login / Signup
Enrique Naudon
ORCID
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 2
Top Topics
Real World
Low Level
Visual Features
Information Systems
Top Venues
PADL
CoRR
IEEE Symposium on Security and Privacy Workshops
</>
Publications
</>
Bhargav Shivkumar
,
Enrique Naudon
,
Lukasz Ziarek
Putting gradual types to work.
CoRR
(2021)
Bhargav Shivkumar
,
Enrique Naudon
,
Lukasz Ziarek
Putting Gradual Types to Work.
PADL
(2021)
Jesús Navarro
,
Enrique Naudon
,
Daniela Oliveira
Bridging the Semantic Gap to Mitigate Kernel-Level Keyloggers.
IEEE Symposium on Security and Privacy Workshops
(2012)