( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

, , , и . TGC, том 9533 из Lecture Notes in Computer Science, стр. 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.

José Santos Herceg

José dos Santos Bento

José Vicente Santos Mendes

José Emilio Santos Conde

Jose Santos Carandang

 

Другие публикации лиц с тем же именем

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages., , , , , , и . CoRR, (2023)RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks., , , и . SP, стр. 2817-2834. IEEE, (2023)TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version., , , и . CoRR, (2022)Concolic Execution for WebAssembly (Artifact)., , , и . Dagstuhl Artifacts Ser., 8 (2): 20:1-20:3 (2022)Toward Tool-Independent Summaries for Symbolic Execution (Artifact)., , , , и . Dagstuhl Artifacts Ser., 9 (2): 07:1-07:4 (2023)Toward Tool-Independent Summaries for Symbolic Execution., , , , и . ECOOP, том 263 из LIPIcs, стр. 24:1-24:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations., , , , и . ISSTA, стр. 1499-1502. ACM, (2023)Mashic compiler: Mashup sandboxing based on inter-frame communication., , , и . J. Comput. Secur., 24 (1): 91-136 (2016)Gillian, Part II: Real-World Verification for JavaScript and C., , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 827-850. Springer, (2021)Hybrid Information Flow Control for Low-Level Code., , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2021)