Zihan Xu

Automatically Answering Questions With Nature Languages

2018

With the development of information technology, it becomes more and more difficult to retrieve information from the internet for users. Question Answering (QA) is one of the methods to solve this problem. The users type …

Model Checking for Microarchitectural Data Sampling Security

2022

A new class of transient execution-based attacks, as known as Microarchitectural Data Sampling (MDS), were discovered in recent studies, such as RIDL, Fallout, and ZombieLoad, which have imposed severe threats to general-purpose processors. In MDS …