Alina Abraham

Cryptography · Hardware Security · Formal Methods

I am a computer science student and have been working part-time as a full stack developer at startups since 2023.

Selected work

Entropy Sources in Confidential Cloud Environments with Ben Lubowski, on whether RDRAND and RDSEED can be trusted inside Intel TDX and AMD SEV-SNP guests.

Unbiased shoutouts

  • Is Humanity Cooked? by my friend Jan, CS student at HPI, on his trip down the AGI rabbit hole.
  • Ben was part of almost every project here.