News and Coverage

David Molnar
Graduate Student Researcher, University of California, Berkeley

Website | @dmolnar

David Molnar is a PhD candidate at University of California, Berkeley, interested in cryptography, privacy, and computer security. Previously worked on privacy issues in Radio Frequency Identification (RFID) , including testimony on RFID issues to the California Legislature and as a volunteer expert for Berkeley and San Francisco public libraries. Now works on applying new techniques in constraint solving to the problem of finding software bugs.

David is a previous National Science Foundation Graduate Fellow and Intel Open Collaboration Research Fellow.

Sessions

Location: Crystal Room
David Molnar (University of California, Berkeley)
Average rating: ****.
(4.00, 1 rating)
Software bugs can let people take over your computer, but finding them is time-consuming. Learn how new advances in solving systems of constraints make it easier to find bugs by leveraging exactly how software works. Learn about Metafuzz, which uses Amazon's EC2 infrastructure to test Linux binary programs on a large scale. Finally, learn about other applications of solver technology. Read more.
  • Sun Microsystems
  • Yahoo! Inc.
  • IEEE
  • Make magazine
  • Orange Labs