Return to home.
- Edward Z. Yang, Giovanni Campagna, Ömer Ağacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan Newton. Efficient communication and Collection with Compact Normal Forms. Under submission.
[ preprint ] - Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. In Proceedings of 4th International Conference on Principles of Security and Trust. To appear.
[ paper (ext) ] - Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave Herman, Brad Karp, and David Mazières. Protecting Users by Confining JavaScript with COWL. In Proceedings of 11th Symposium on Operating Systems Design and Implementation. October 2014.
[ paper | bibtex ] - Edward Z. Yang, David Mazières. Dynamic Space Limits for Haskell. In Proceedings of the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation. June 2014.
[ paper | bibtex | reviews/rebuttal (aec, icfp13/rebuttal) | slides ] - Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo and David Mazières. Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. In Proceedings of the 18th European Symposium on Research in Computer Security (ESORICS 2013). September 2013.
[ paper (ext) | bibtex ] - Erik D. Demaine, Pavel Panchekha, David Wilson, Edward Z. Yang. Blame Trees. In Proceedings of the 12th International Symposium on Algorithms and Data Structures (WADS 2013). August 2013.
[ paper | bibtex | reviews | slides | video ] - Edward Z. Yang, Deian Stefan, John Mitchell, David Mazières, Petr Marchenko, Brad Karp. Toward Principled Browser Security. In Proceedings of The 14th Workshop on Hot Topics in Operating Systems (HotOS XIV), USENIX 2013. May 2013.
[ paper | bibtex ] - Edward Z. Yang. Academic software reuse, an experience report. 6.UAP report advised by Adam Chlipala. May 2012.
[ paper | bibtex ]