Publications

Journal Articles

Alfonso Ortega, Julian Fiérrez, Aythami Morales, Zilong Wang, Marina de la Cruz, César Luis Alonso, Tony Ribeiro. Symbolic AI for XAI: evaluating LFIT inductive programming for explaining biases in machine learning

Published in Computers, 2021

Mengce Zheng, Honggang Hu, Zilong Wang. Generalized cryptanalysis of RSA with small public exponent.

Published in SCIENCE CHINA Information Sciences. 2016., 2016

Conference Papers

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri. Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors

Published in CCS 2025, 2025

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri. Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Published in CCS 2023 Distinguished Paper Award, 2023

Alfonso Ortega, Julian Fierrez, Aythami Morales, Zilong Wang, Tony Ribeiro. Symbolic AI for XAI: Evaluating LFIT inductive programming for fair and explainable automatic recruitment

Published in WACV 2021, 2021

Jiehui Nan, Mengce Zheng, Zilong Wang and Honggang Hu. A General Construction for Password-Based Authenticated Key Exchange from Witness PRFs

Published in FCS 2019, 2019

Zilong Wang, Honggang Hu, Mengce Zheng, Jiehui Nan. Symmetric Lattice-Based PAKE from Approximate Smooth Projective Hash Function and Reconciliation Mechanism

Published in FCS 2019, 2019

Zilong Wang, Honggang Hu. Efficient KEA-Style Lattice-Based Authenticated Key Exchange

Published in FCS 2018, 2018