49 citations · 60 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Probabilistic Inference for Datalog with Correlated Inputs
Jingbo Wang, Shashin Halalingaiah, Weiyi Chen +2
Probabilistic extensions of logic programming languages, such as ProbLog, integrate logical reasoning with probabilistic inference to evaluate probabilities of output relations; ho…
cs.SE2025
Efficient Symbolic Execution of Software under Fault Attacks
Yuzhou Fang, Chenyu Zhou, Jingbo Wang +1
We propose a symbolic execution method for analyzing the safety of software under fault attacks both accurately and efficiently. Fault attacks leverage physically injected hardware…