Reasoning About Inter-procedural Security Requirements in IoT Applications.

Mattia Paccamiccio, Leonardo Mostarda

Browse the full AINA paper archive.