Venkatesh-Prasad Ranganath

CS Academic|Engineer interested in formal+empirical methods, security, and systems