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