1. Haowu Ge
  3. Haowu Ge

NAME

Haowu Ge (葛豪武) – Systems Architect & Accountant

SYNOPSIS

Haowu Ge [--cv] ... [--phd] [--gh] [--mail] [-l]

DESCRIPTION

Haowu Ge is a Cryptographer at ABN AMRO in Amsterdam, The Netherlands.

Before that he was a PhD student at the Digital Security group and the Department of Software Science of the Radboud University in Nijmegen, working on tools for formally verifying cryptographic software under the supervision of Peter Schwabe, Freek Wiedijk, Joan Daemen and Herman Geuvers.

In 2014-2015, he was an engineering student at the INSA Rennes (National Institute of Applied Science, France) and master student in Research in Computer Science (MRI).

OPTIONS

--cv

Curriculum Vitae

--phd

Thesis

--web

gehaowu.com

--ham

BG5FRG

--pgp

0xDF09D8A8

--gh

GitHub repository.

--mail

λ x y. x @ y .com
Haowu Ge @BitMOE Inc.

-l | --location

Wenzhou,Zhejiang,China

SEE ALSO

TLK-2024-0506 - Real World Cryptography in Practive

Benoît Viguier
Guest speaker - Applied Cryptography Lecture - Radboud Universiteit
We provide an overview of how cryptography is used in enterprises and its challenges. We then describe the solutions developed at ABN AMRO BANK to tackle those.
[slides]

PUB-2020-0707 - Assembly or Optimized C for Lightweight Cryptography on RISC-V?

Fabio Campos and Lars Jellema and Mauk Lemmen and Lars Müller and Daan Sprenkels and Benoit Viguier
CONFERENCE ON CRYPTOLOGY AND NETWORK SECURITY - CANS 2020
we analyzed different strategies for the optimization of several candidates of NIST's lightweight cryptography standardization project on a RISC-V architecture. In particular, we studied the general impact of optimizing symmetric-key algorithms in assembly and in plain C.
[pdf]

TLK-2019-1129 - A Coq proof of the correctness of X25519 in TweetNaCl

Presentation of the complete proof of the correctness of X25519 in TweetNaCl at the Crypto Working Group in Utrecht.

TLK-2016-1209 - Curve25519: Proving datatypes with a rooster

Formalization of the Big Num arithmetic of TweetNaCl at ICIS DS Lunch

EXAMPLES

Lychee

Lychee is a free and open-source photo-management tool.

Dotfiles

Configuration of my usual work environment.
screenshot screenshot2

CHANGELOG

2021 - Dec. - PhD defense

Officially a Doctor in Computer Science

2021 - Apr. - ABN AMRO Bank

Started working at CISO.

2019 - Jun. - Summer School on real-world crypto and privacy - Šibenik

Summer School organised by Radboud University, ETH Zurich & FER Zagreb about recent advances in symmetric and assymetric cryptography, privacy and software and hardware security.

2018 - Dec. – 2019 - Jan. - Internship at INRIA - Sophia-Antipolis

factorizing x86 and adding A64 in Jasmin-lang.

2017 - Jan. - Visit of Princeton University- Princeton

A detailed introduction to VST usage.

2017 - Jan. - High Assurance Cryptographic Software Workshop - New-York

Workshop following Real World Crypto 2017.
How formal Methods and Fuzzing can improve the trust in cryptographic softare.

2016 - Internship at STMicroelectronics

Formal methods in differential and linear trail search : [report] [slides]
With respect to the original version, typos have been corrected and some parts from the Apendix have been placed after the Preface.
Presentation: A brief introduction to Logic [slides]

Copyright © 2011-2025 Haowu Ge. All rights reserved.

  1. 浙ICP备15014697号|浙公网安备33010602000649号
  2. Updated: 2025-12-28 19:56:51 +08