Edward Z. Yang

According to our database1, Edward Z. Yang authored at least 11 papers between 2012 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).
CoRR, 2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Efficient communication and collection with compact normal forms.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Dynamic space limits for Haskell.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Protecting Users by Confining JavaScript with COWL.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013
MirrorShard: Proof by Computational Reflection with Verified Hints
CoRR, 2013

Blame Trees.
Proceedings of the Algorithms and Data Structures - 13th International Symposium, 2013

Toward Principled Browser Security.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling.
Proceedings of the Computer Security - ESORICS 2013, 2013

mXSS attacks: attacking well-secured web-applications by using innerHTML mutations.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012
Profile Jeff Dean: Big data at Google.
ACM Crossroads, 2012


  Loading...