3 papers
cs.SE2018
Engaging Millennials into Learning Formal Methods
Néstor Cataño
This paper summarizes our experience in teaching courses on formal methods (FM) to Computer Science (CS) and Software Engineering (SE) students at various universities around the w…
cs.SE2018
A Logical Framework for Verifying Privacy Breaches of Social Networks
Néstor Cataño
We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby b…
cs.SE2018
Improving the Reliability of Mobility Applications
Néstor Cataño
The Android platform was introduced by Google in 2008 as an operating system for mobile devices. Android's SDK provides a wide support for programming and extensive examples and do…