ZEUS: Analyzing Safety of Smart Contracts. | 26 | 1.19 | 2018 |
Blockchain-based real-time cheat prevention and robustness for multi-player online games | 0 | 0.34 | 2018 |
Towards a More Reliable and Available Docker-based Container Cloud. | 0 | 0.34 | 2017 |
GRETEL: Lightweight Fault Localization for OpenStack. | 2 | 0.40 | 2016 |
POLLUX: safely upgrading dependent application libraries. | 1 | 0.35 | 2016 |
CLOTHO: saving programs from malformed strings and incorrect string-handling | 4 | 0.36 | 2015 |
Efficient runtime-enforcement techniques for policy weaving | 3 | 0.39 | 2014 |
Retargetting Legacy Browser Extensions to Modern Extension Frameworks. | 1 | 0.36 | 2014 |
An analysis of the mozilla jetpack extension framework | 24 | 0.95 | 2012 |
Enhancing javascript with transactions | 4 | 0.40 | 2012 |
Fathom: a browser-based network measurement platform | 18 | 0.89 | 2012 |
Atlantis: robust, extensible execution environments for web applications | 12 | 0.77 | 2011 |
The case for JavaScript transactions: position paper | 3 | 0.43 | 2010 |
Analyzing Information Flow in JavaScript-Based Browser Extensions | 74 | 3.12 | 2009 |
Enforcing authorization policies using transactional memory introspection | 20 | 0.86 | 2008 |