Yang Liu
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Fault Attacks Made Easy: Differential Fault Analysis Automation on Assembly Code
Jakub Breier and others (2018) · Universitatsbibliothek der Ruhr-Universitat Bochum
Proof Tactics for Assertions in Separation Logic
Zhe Hóu and others (2017) · Springer International Publishing