Vitaly Shmatikov

PhD (Stanford)

Research interests: computer security and privacy, formal methods for analysis of secure systems and protocols

Teaching   -   Students   -   Papers   -   3,786 snapshots   -   Contact


Teaching


PhD graduates

Postdocs


Research papers


Contact information

Department of Computer Science
The University of Texas at Austin
1 University Station D9500
Austin, TX   78712   U.S.A.

email: first five letters of last name AT cs.utexas.edu
phone: +1-512-471-9530 (voicemail not checked)
office: GDC 6.812


The face was drawn, the eyes haggard, the general appearance that of one who has searched for the leak in life's gaspipe with a lighted candle.
      -- P.G.Wodehouse, "The Old Reliable"