Author of the publication

Securing Frame Communication in Browsers.

, , and . USENIX Security Symposium, page 17-30. USENIX Association, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods., and . WOOT, USENIX Association, (2008)The Development of Type Systems for Object-Oriented Languages., and . Theory Pract. Object Syst., 1 (3): 189-220 (1995)Evaluating the privacy properties of telephone metadata., , and . Proc. Natl. Acad. Sci. USA, 113 (20): 5536-5541 (2016)Representation Independence and Data Abstraction.. POPL, page 263-276. ACM Press, (1986)Toward a Typed Foundation for Method Specialization and Inheritance.. POPL, page 109-124. ACM Press, (1990)Parametricity and Variants of Girard's J Operator., and . Inf. Process. Lett., 70 (1): 1-5 (1999)The analysis of programming structure., and . SIGACT News, 28 (2): 24-31 (1997)Security analysis of network protocols: logical and computational methods.. PPDP, page 151-152. ACM, (2005)Contract Signing, Optimism, and Advantage., , , and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 361-377. Springer, (2003)Notes on Typed Object-Oriented Programming., and . TACS, volume 789 of Lecture Notes in Computer Science, page 844-885. Springer, (1994)