research
∙
06/09/2018
Engaging Millennials into Learning Formal Methods
This paper summarizes our experience in teaching courses on formal metho...
share
research
∙
06/09/2018
A Logical Framework for Verifying Privacy Breaches of Social Networks
We present a novel approach to deal with transitivity permission-delegat...
research
∙
06/09/2018
