List of works - Ronghui Gu - Paulina

List of works by Ronghui Gu

Gleipnir: toward practical error analysis for Quantum programs

scientific article published on 18 June 2021

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions

scientific article published on 05 January 2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

scientific article published on 22 April 2024

Paulina is supported by:

About Paulina

Help