23 citations · 45 across the 8 of their papers we have counts for
Showing 2017 · cs.CRShow all
2 papers · 2 filters
cs.CR2017★ 8 cited
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Deepak Garg, Catalin Hritcu, Marco Patrignani +2
We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty pre…
cs.CR2017
WebPol: Fine-grained Information Flow Policies for Web Browsers
Abhishek Bichhawat, Vineet Rajani, Jinank Jain +2
In the standard web browser programming model, third-party scripts included in an application execute with the same privilege as the application's own code. This leaves the applica…