Formal verification for security and attacks in IoT physical layer
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graïet, Dalton Cézane Gomes Valadares
Topics & Concepts
Computer scienceSpoofing attackComputer securityMathematical proofFormal methodsPhysical layerApplication layerFormal verificationSoftware deploymentSoftware engineeringTheoretical computer scienceWirelessTelecommunicationsGeometryMathematicsIoT and Edge/Fog ComputingAdvanced Malware Detection TechniquesSmart Grid Security and Resilience