Viewing profile — andsanmar
andsanmar
HN member- Joined
- Thu, Jul 25, 2019, 6:15 PM UTC
- HN karma
- 10
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About andsanmar
I'm a PhD student at EPFL working in pushing the boundaries of software and systems security
Recent public activity
-
comment
Comment #35523534
It may be true that this holds for issues related with out-of-bounds accesses or temporal safety errors, but nothing eludes your application to contain logic bugs. In fact, wheneve…
-
comment
Comment #30009584
Simple, testing won't prevent you from all the bugs bun only the ones you run over when testing (either fuzzing or unit testing). While enforcing some safety semantics like they do…
-
comment
Comment #20822094
Birdtray extension ( https://github.com/gyunaev/birdtray ) does that work quite well, I'm so happy with it. It also lets you keep Thunderbird as a background process.