αρχείο Email: Framework to perform taint analysis and security assessment of IoT devices in smart cities