Qin, M.;                     Li, J.;                     Yan, J.;                     Hao, Z.;                     Hu, W.;                     Liu, B.    
        HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme. Electronics 2024, 13, 4286.
    https://doi.org/10.3390/electronics13214286
    AMA Style
    
                                Qin M,                                 Li J,                                 Yan J,                                 Hao Z,                                 Hu W,                                 Liu B.        
                HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme. Electronics. 2024; 13(21):4286.
        https://doi.org/10.3390/electronics13214286
    
    Chicago/Turabian Style
    
                                Qin, Maoyuan,                                 Jiale Li,                                 Jiaqi Yan,                                 Zishuai Hao,                                 Wei Hu,                                 and Baolong Liu.        
                2024. "HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme" Electronics 13, no. 21: 4286.
        https://doi.org/10.3390/electronics13214286
    
    APA Style
    
                                Qin, M.,                                 Li, J.,                                 Yan, J.,                                 Hao, Z.,                                 Hu, W.,                                 & Liu, B.        
        
        (2024). HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme. Electronics, 13(21), 4286.
        https://doi.org/10.3390/electronics13214286