A Formal Framework for Noisy Runtime Verification
本文通过引入逻辑EDMon来解决噪声运行时验证中的监控问题，定义并解释了其语法和语义，并展示了它能够捕捉噪声运行时验证文献中的许多结果。
0 citationsRead paper
Selected work
Representative Papers
Toward Interpretable Privacy Guarantees in Face-Swapping Anonymization
研究针对面部交换匿名化中的隐私泄露问题，提出一种线性随机模型来解释和预测泄露机制，以实现可解释的隐私保障。
0 citationsRead paper
Amplifying the imaging power of digital sky surveys with space telescopes data and generative AI
研究利用生成式AI提升地面望远镜拍摄的星系图像质量至空间望远镜水平，结合了地面观测的大通量与空间望远镜的高清晰度。
0 citationsRead paper
VQC-ZTI: Variational Quantum Control for Zero Trust Protection of the Tactile Internet
本文提出VQC-ZTI框架，利用变分量子分类器保护触觉互联网服务安全，通过分离异常评分与执行路径来提高安全性并保持控制行为可预测性。
0 citationsRead paper
Picture the Epsilon: Pursuing Identity-Level Privacy Guarantees for Images
研究针对图像生成器的隐私保护问题，通过比较四种审计方法（GaussMech、KDE-LR、MMD-TV、ROC-HT）来评估身份级别的差分隐私参数ε。
0 citationsRead paper
Recent publications
Latest Papers
A Formal Framework for Noisy Runtime Verification
本文通过引入逻辑EDMon来解决噪声运行时验证中的监控问题，定义并解释了其语法和语义，并展示了它能够捕捉噪声运行时验证文献中的许多结果。
0 citationsRead paper
Toward Interpretable Privacy Guarantees in Face-Swapping Anonymization
研究针对面部交换匿名化中的隐私泄露问题，提出一种线性随机模型来解释和预测泄露机制，以实现可解释的隐私保障。
0 citationsRead paper
Amplifying the imaging power of digital sky surveys with space telescopes data and generative AI
研究利用生成式AI提升地面望远镜拍摄的星系图像质量至空间望远镜水平，结合了地面观测的大通量与空间望远镜的高清晰度。
0 citationsRead paper
VQC-ZTI: Variational Quantum Control for Zero Trust Protection of the Tactile Internet
本文提出VQC-ZTI框架，利用变分量子分类器保护触觉互联网服务安全，通过分离异常评分与执行路径来提高安全性并保持控制行为可预测性。
0 citationsRead paper
Picture the Epsilon: Pursuing Identity-Level Privacy Guarantees for Images
研究针对图像生成器的隐私保护问题，通过比较四种审计方法（GaussMech、KDE-LR、MMD-TV、ROC-HT）来评估身份级别的差分隐私参数ε。
0 citationsRead paper