Khadija Tariq

According to our database, Khadija Tariq authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Portus: Linking Alloy with SMT-based Finite Model Finding.

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

IEEE Trans. Software Eng., February, 2026

2024

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