Safe to the Last Instruction: Automated Verification of a Type-Safe OSmicrosoft.com·2 pts·wkornewald·0
Pi-Forall: How to use and implement a dependently-typed language [video]youtube.com·1 pts·wkornewald·0
I/O Stack Optimization for Smartphones (2013) [pdf]0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com·33 pts·wkornewald·1
How Browsers Store Your Passwords (and Why You Shouldn't Let Them)raidersec.blogspot.com·1 pts·wkornewald·0
Automated Debugging for Arbitrarily Long Executions0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com·1 pts·wkornewald·0