research
∙
05/08/2022
Reasoning about inter-procedural security requirements in IoT applications
The importance of information security dramatically increased and will f...
research
∙
05/08/2022