발행물
컨퍼런스
International Conference on Communications, ICC 2013
2013
,
Model checking invariant security properties in OpenFlow
The Network and Distributed System Security Symposium, NDSS
Fix Me Up: Repairing Access-Control Bugs in Web Applications
The Postman Always Rings Twice: Attacking and Defending postMessage in HTML5 Websites
Programming Languages and Analysis for Security, PLAS
2011
SAFERPHP: Finding Semantic Vulnerabilities in PHP Applications
International Conference on Security and Privacy in Communication Networks, SECURECOMM
2010
The Hitckhiker`s Guide to DNS Cache Poisoning