Muhammad Taufiq

According to our database, Muhammad Taufiq authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Generated and Validated Invariants of EPIC Smart Grid.

Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy

Dataset, August, 2022

A Data-Centric Approach to Generate Invariants for a Smart Grid Using Machine Learning.

Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy

Proceedings of the Sat-CPS@CODASPY 2022: Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, 2022