Category Archives: research

Our “shop for free online” paper

Our paper “how to shop for free online” is getting some publicity recently, which I am happy about, although Shaz and I did not directly participate in any of the interviews due to a non-academic reason. I compiled some news articles … Continue reading

Posted in research | Leave a comment

I made tools; you should use; there’s no excuse. If you don’t; I don’t care; it’s still my success to declare.

Some people in the program verification community seem to treat tools as solutions: “Because I invented a verification tool, you should have used it. You didn’t use it? Well, that’s your problem, but I am still successful because the whole ‘research’ … Continue reading

Posted in research | Leave a comment

Why am I obligated to show that I am no smarter than a machine?

I attended an internal talk a few weeks ago (not sure whether I should disclose the presenter’s name). It was about a new technology, but the point in the talk that I appreciate the most is that the goal of … Continue reading

Posted in research | 3 Comments

We discovered a security vulnerability in Facebook’s authentication

Several weeks ago, Rui Wang and Zhou Li, under guidance of Prof. XiaoFeng Wang and me, discovered a security vulnerability in one of Facebook’s authentication mechanisms. We privately notified Facebook soon after. It was fixed last week. Facebook security team considered this a … Continue reading

Posted in research | Leave a comment