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
Publications
Journal Articles
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; IHSAA26 Honorable Mentions, 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; CSAW Europe finalist；IHSAA24 finalist, 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