Zilong Wang

According to our database, Zilong Wang authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2023

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.

Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning.

Alfonso Ortega, Julian Fiérrez, Aythami Morales, Zilong Wang, Marina de la Cruz, César Luis Alonso, Tony Ribeiro

Comput., 2021

Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment.

Alfonso Ortega, Julian Fiérrez, Aythami Morales, Zilong Wang, Tony Ribeiro

Proceedings of the IEEE Winter Conference on Applications of Computer Vision Workshops, 2021