software engineer at Red Hat, Crypto team