HermiCache: Enclave-Aware Cache Replacement for Trusted Execution Environments
为解决TEE中的缓存侧信道攻击问题，本文提出HermiCache，一种针对RISC-V核心设计的缓存替换策略，提供细粒度配置与确定性保护。
0 citationsRead paper
Selected work
Representative Papers
Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
本文通过逻辑依赖跟踪框架解决在不确定性下满足STL规范的问题，使用三值语义传播不确定性并提取约束条件，进而通过线性规划实现控制校正。
0 citationsRead paper
Decentralized Safe Multi-Agent Reinforcement Learning via Predictive Shielding
针对多机器人系统部署时的安全与性能问题，提出了一种结合预测防护和基于模型的有限时间Q学习的去中心化框架。
0 citationsRead paper
Regimes in the Order Flow
研究使用贝叶斯在线变点检测及其两种扩展方法，实现实时识别纳斯达克上市股票订单流中的结构断裂，以应对金融市场稳定与不稳定期的转换。
0 citationsRead paper
Connectivity-Aware Graph Extension for Decentralized Multi-Robot Exploration
针对多无人机在间歇通信下探索未知环境的问题，提出了一种基于前沿连通性的新型探索图扩展策略，以提高探索效率和稳定性。
0 citationsRead paper
Recent publications
Latest Papers
HermiCache: Enclave-Aware Cache Replacement for Trusted Execution Environments
为解决TEE中的缓存侧信道攻击问题，本文提出HermiCache，一种针对RISC-V核心设计的缓存替换策略，提供细粒度配置与确定性保护。
0 citationsRead paper
Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
本文通过逻辑依赖跟踪框架解决在不确定性下满足STL规范的问题，使用三值语义传播不确定性并提取约束条件，进而通过线性规划实现控制校正。
0 citationsRead paper
Decentralized Safe Multi-Agent Reinforcement Learning via Predictive Shielding
针对多机器人系统部署时的安全与性能问题，提出了一种结合预测防护和基于模型的有限时间Q学习的去中心化框架。
0 citationsRead paper
Regimes in the Order Flow
研究使用贝叶斯在线变点检测及其两种扩展方法，实现实时识别纳斯达克上市股票订单流中的结构断裂，以应对金融市场稳定与不稳定期的转换。
0 citationsRead paper
Connectivity-Aware Graph Extension for Decentralized Multi-Robot Exploration
针对多无人机在间歇通信下探索未知环境的问题，提出了一种基于前沿连通性的新型探索图扩展策略，以提高探索效率和稳定性。
0 citationsRead paper