( en | de | ru )

 

Disambiguation of "Santos, José Fragoso"

Author of the publication

copydeleteadd this publication to your clipboard
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

, , , and . TGC, volume 9533 of Lecture Notes in Computer Science, page 63-78. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Santos Herceg

José dos Santos Bento

José Vicente Santos Mendes

José Emilio Santos Conde

Jose Santos Carandang

 

Other publications of authors with the same name

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages., , , , , , and . CoRR, (2023)RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks., , , and . SP, page 2817-2834. IEEE, (2023)Toward Tool-Independent Summaries for Symbolic Execution (Artifact)., , , , and . Dagstuhl Artifacts Ser., 9 (2): 07:1-07:4 (2023)Concolic Execution for WebAssembly (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 20:1-20:3 (2022)TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version., , , and . CoRR, (2022)Toward Tool-Independent Summaries for Symbolic Execution., , , , and . ECOOP, volume 263 of LIPIcs, page 24:1-24:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations., , , , and . ISSTA, page 1499-1502. ACM, (2023)Hybrid Typing of Secure Information Flow in a JavaScript-Like Language., , , and . TGC, volume 9533 of Lecture Notes in Computer Science, page 63-78. Springer, (2015)Typing illegal information flows as program effects., and . PLAS, page 1. ACM, (2012)An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript., and . SEC, volume 428 of IFIP Advances in Information and Communication Technology, page 278-292. Springer, (2014)