2 papers
cs.LO2025
Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, Jingyi Wang +3
Ensuring compliance with Information Flow Security (IFS) is known to be challenging, especially for concurrent systems with large codebases such as multicore operating system (OS)…
cs.CR2025
Rounding-Guided Backdoor Injection in Deep Learning Model Quantization
Xiangxiang Chen, Peixin Zhang, Jun Sun +2
Model quantization is a popular technique for deploying deep learning models on resource-constrained environments. However, it may also introduce previously overlooked security ris…