Viewing profile — shlomifr
shlomifr
HN member- Joined
- Tue, Jul 09, 2013, 11:13 AM UTC
- HN karma
- 7
- Public activity
- 10 items
- HN profile
- View on Hacker News ↗
About shlomifr
No profile information was provided.
Recent public activity
- story
- story
- comment
- story
-
comment
Comment #7620284
This is very relevant in the light of Heartbleed. Core security code should be verified formally, there is no other way to guarantee correctness of implementation.
- story
- story
- story
- story
- story