Yifan Song

Network computer security and protection measures based on information security risk in cloud computing environment

2021

Cloud computing based on Internet is considered as the development direction of Internet nowadays, which has aroused widespread concern in recent years. How to build a secure cloud computing environment has become one of the …

RepCL: Exploring Effective Representation for Continual Text Classification

2023 · arXiv (Cornell University)

Continual learning (CL) aims to constantly learn new knowledge over time while avoiding catastrophic forgetting on old tasks. In this work, we focus on continual text classification under the class-incremental setting. Recent CL studies find …

GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols

2024

Proving the security of a Multiparty Computation (MPC) protocol is a difficult task. Under the current simulation-based definition of MPC, a security proof consists of a simulator, which is usually specific to the concrete protocol …