Ganyu (Bruce) Xu
NeovimFormal verificationHome labAbout me

Formal verification

  • HQC verification proposal
  • HOL Light notes
    • Install on MacOS
    • Tutorial with outline (annotated)

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