Author of the publication

Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing.

, , and . Internet Things, (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing., , and . Internet Things, (October 2023)A formal model for proving hardware timing properties and identifying timing channels., , , , and . Integr., (2020)Symbolic execution based test-patterns generation algorithm for hardware Trojan detection., , , , , and . Comput. Secur., (2018)Property Based Formal Security Verification for Hardware Trojan Detection., , , and . IVSW, page 62-67. IEEE, (2018)Real-Time Auto-Focus System Design Based on Climbing Algorithm and its FPGA Implementation., , , , , , , , and . CIS, page 332-335. IEEE Computer Society, (2012)Theorem proof based gate level information flow tracking for hardware security verification., , , , and . Comput. Secur., (2019)Hardware/software security co-verification and vulnerability detection: An information flow perspective., , , and . Integr., (January 2024)Accelerating hardware security verification and vulnerability detection through state space reduction., , , , , and . Comput. Secur., (2021)A Simplifying Logic Approach for Gate Level Information Flow Tracking., , , , , and . ChinaCom (2), volume 237 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 302-311. Springer, (2017)