Formal methods

Sort by:
Complete list of publications and software related to Formal methods
About me
Lead Google's anti-abuse research. Develop new ways to protect users and disrupt bad guys. Make Chrome safer and faster. Help keeping G+ and Gmail clean. Wear berets. Do magic tricks.
Performance
side bar: 0.102890014648
getting publication: 0.279969930649
total: 0.386280059814