▁is ▁a ▁member ▁of ▁the ▁E lection ▁Ass istance ▁Commission ' s ▁Techn ical ▁Gu idel ines ▁Development ▁Committee , ▁task ed ▁with ▁assist ing ▁the ▁E AC ▁in ▁draft ing ▁the ▁Vol unt ary ▁V oting ▁System ▁Gu idel ines . ▁He ▁is ▁also ▁a ▁member ▁of ▁the ▁A CC UR ATE ▁project . ▁ ▁Wagner ▁received ▁an ▁A . B . ▁in ▁Mathemat ics ▁from ▁Pr inc eton ▁University ▁in ▁ 1 9 9 5 , ▁an ▁M . S . ▁in ▁Computer ▁Science ▁from ▁Ber keley ▁in ▁ 1 9 9 9 , ▁and ▁a ▁Ph . D . ▁in ▁Computer ▁Science ▁from ▁Ber keley ▁in ▁ 2 0 0 0 . ▁ ▁He ▁has ▁published ▁two ▁books ▁and ▁over ▁ 9 0 ▁peer - review ed ▁scientific ▁papers . ▁His ▁notable ▁achiev ements ▁include : ▁▁ 2 0 0 7 ▁Ser ved ▁as ▁Princi pal ▁Investig ator ▁for ▁the ▁source ▁code ▁review ▁and ▁also ▁the ▁documentation ▁review ▁of ▁the ▁historic ▁California ▁state ▁Top - to - Bottom ▁review ▁of ▁electronic ▁voting ▁systems ▁cert ified ▁for ▁use . ▁F la ws ▁found ▁with ▁vendor - supp lied ▁voting ▁machines ▁resulted ▁in ▁dec ert ification ▁and ▁prov is ional ▁rec ert ification ▁by ▁the ▁Secretary ▁of ▁State . ▁▁ 2 0 0 1 ▁C rypt analysis ▁of ▁W EP , ▁the ▁security ▁protocol ▁used ▁in ▁ 8 0 2 . 1 1 ▁" W i Fi " ▁networks ▁( with ▁Nik ita ▁Bor is ov ▁and ▁Ian ▁Gold berg ). ▁▁