Modeling and Verifying Web Browser Interactions.

Shengbo Chen, Huaikou Miao, Zhong-sheng Qian

Browse the full APSEC paper archive.