Michael Franz, Dr.
   Information on Franz at Computer Science Department, University of California, Irvine; with publications list.
   http://www.ics.uci.edu/~franz/