Aaron Bembenek (@aaronbembenek)
github

aaronbembenek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 11
  • Registered almost 11 years ago
  • Most used languages
    Coq     33.3 %
    OCaml
         33.3 %
    C++
         33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 239,173
  • Country Ranking
    Coq     156
    OCaml
         1,044

Top repositories

1

verified-auto-enclave

Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.
Coq
2
star
2

cs252r

OCaml
1
star
3

prov-compress

Provenance graph compression.
C++
1
star