NTK-3D chaotic map and a non-associative LA-field sequences for image encryption. - Nazli Sanam; Tanveer ul Haq; Khadija Tariq (Comput. Electr. Eng., 2024)

Portus: Linking Alloy with SMT-based Finite Model Finding. - Ryan Dancy; Nancy A. Day; Owen Zila; Khadija Tariq; Joseph Poremba (CoRR, 2024)