Jose Fragoso is a Research Associate with the group, working on program analysis, verification, and instrumentation, with applications to security.

Group Publications

  1. JaVerT: JavaScript Verification Toolchain

    PACMPL, vol. 2(POPL), pp. 50:1–50:33

  2. Towards Logic-based Verification of JavaScript Programs

    Proceedings of 26th Conference on Automated Deduction (CADE 26)

  3. DOM: Specification and Client Reasoning

    Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422

  4. Mashic Compiler: Mashup Sandboxing based on Inter-frame Communication

    Journal of Computer Security, vol. 1(24), pp. 91–136

  5. Modular Monitor Extensions for Information Flow Security in JavaScript

    Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pp. 47–62

  6. Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

    Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pp. 63–78