HN Explorer

RolfRolles

↗ HN profile [ 42.1 ms ] full profile
Karma
11
Created
March 8, 2011 (15y ago)
Submissions
0
  1. Semi-automated key generator generation, with video (openrce.org)
    2 points 0
  2. Finding Bugs in VMs with a Theorem Prover (openrce.org)
    2 points 0