Ganyu (Bruce) Xu
Formal verificationHome labAbout me

Formal verification

  • HQC verification proposal
  • HOL Light notes

Ganyu (Bruce) Xu

  • Ganyu (Bruce) Xu
  • xuganyu96@gmail.com
  • xuganyu96
  • ganyu-bruce-xu
  • xuganyu96

Research associate at University of Waterloo. Amateur cryptographer and software engineer