@astevan

license.txt
414F613F8F0F994A.pub.asc
resume.pdf
index.html.sig.asc

Identity

(!) GnuPG master-key fingerprint: 5C8738250B13A3ACE563D3AE414F613F8F0F994A

My GnuPG public key can be found in various places, listed in the table below.

. 72f2c900 f0438e41 ./414F613F8F0F994A.pub.asc
codeberg.org:astevan f0438e41 https://codeberg.org/astevan.gpg
gitlab.isae-supaero.fr:a.stevan c23c6aa1 f0438e41 https://gitlab.isae-supaero.fr/a.stevan.gpg
github.com:a-stevan e13c498b 96465eb9 https://github.com/a-stevan.gpg
keys.openpgp.org fb3c7fe9 96465eb9 https://keys.openpgp.org/vks/v1/by-fingerprint/5C8738250B13A3ACE563D3AE414F613F8F0F994A
keyserver.ubuntu.com f0438e41 https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x5c8738250b13a3ace563d3ae414f613f8f0f994a

(!) import into GnuPG keyring with

curl -o - ... | gpg --import -

(!) note

A missing first hash means that the service does not return a stable key, e.g. codeberg.org.
But if the second hash matches some target, then the payload is indeed the same, e.g. github.com:a-stevan and keys.openpgp.org with hash 96465eb9.

(!) all pages in this website are signed and can be verified with

(tmp=$(mktemp -d) && trap 'rm -rf "$tmp"' EXIT HUP INT TERM && curl -fsSL url/to/page.html -o "$tmp/file" && curl -fsSL url/to/page.html.sig.asc -o "$tmp/file.sig.asc" && gpg --verify "$tmp/file.sig.asc" "$tmp/file") or locally with gpg --verify ./path/to/page.html.sig.asc ./path/to/page.html

Contact

Software

Research

(!) verify index.html.sig.asc

(tmp=$(mktemp -d) && trap 'echo "rm $tmp" && rm -rf "$tmp"' EXIT HUP INT TERM && echo "index.html" && curl -fsSL https://astevan.codeberg.page/index.html -o "$tmp/file" && echo "index.html.sig.asc" && curl -fsSL https://astevan.codeberg.page/index.html.sig.asc -o "$tmp/file.sig.asc" && gpg --verify "$tmp/file.sig.asc" "$tmp/file")