Skip to content
View hyperfinitism's full-sized avatar
5 followers · 9 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Organizations

@acompany-develop

Block or report hyperfinitism

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hyperfinitism/README.md

Mi estas hyperfinitism

Ĉiuj matematikaj objektoj estas hiperfiniaj.

Security Research

R&D engineer in cybersecurity, focusing on Confidential Computing / Trusted Execution Environments (TEE).

Scientific Research

Independent researcher in mathematics, theoretical computer science, and philosophy. Research interests include:

  • Mathematics: Mathematical Logic, Nonstandard Mathematics, Topology, Recursion Theory
  • Theoretical Computer Science: Theory of Computation, Type Theory, Domain Theory, Term Rewriting Systems, Formal Methods
  • Philosophy: Philosophy of Mathematics, Philosophy of Law, Mathematical Philosophy

Open Source

Active contributor to open-source software, particularly in the domain of Hardware-assisted Isolated Execution Environments (HIEE), including both TEEs and Trusted Platform Modules (TPM). Maintainer and developer of security-oriented tooling and libraries.

Selected Repositories

rust-tpm2-cli enact-rs ortho ima-parser gh-contrib-stats license-logic

GitHub Stats

Contribution Stats Language Stats

Generated by GitHub Readme Stats via GitHub Readme Stats Action

Pinned Loading

  1. acompany-develop/Humane-RAFW-NE acompany-develop/Humane-RAFW-NE Public

    Remote Attestation Framework for AWS Nitro Enclaves

    Rust 2 1

  2. acompany-develop/py-snp-utils acompany-develop/py-snp-utils Public

    Python libraries for parsing SNP reports, fetching VCEK cert chains, and verifying them

    Python 2 1

  3. acompany-develop/IMA-PCR-Utils acompany-develop/IMA-PCR-Utils Public

    Python libraries for parsing IMA logs and calculating PCR10 and boot_aggregate values

    Python 2 1