Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages von Brito, Tiago, Ferreira, Mafalda, Monteiro, Miguel, Lopes, Pedro, Barros, Miguel, Santos, Jose Fragoso, Santos, Nuno

Volltext

RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks von Ferreira, Mafalda, Brito, Tiago, Santos, Jose Fragoso, Santos, Nuno

Volltext

JaVerT 2.0: compositional symbolic execution for JavaScript von Fragoso Santos, José, Maksimović, Petar, Sampaio, Gabriela, Gardner, Philippa

Volltext

Wasmati: An efficient static vulnerability scanner for WebAssembly von Brito, Tiago, Lopes, Pedro, Santos, Nuno, Santos, José Fragoso

Volltext

JaVerT: JavaScript verification toolchain von Fragoso Santos, José, Maksimović, Petar, Naudžiūnienė, Daiva, Wood, Thomas, Gardner, Philippa

Volltext

Mashic compiler: Mashup sandboxing based on inter-frame communication von Luo, Zhengqin, Fragoso Santos, José, Almeida Matos, Ana, Rezk, Tamara

Volltext

TestSelector: Automatic Test Suite Selection for Student Projects von Marques, Filipe, Morgado, António, Fragoso Santos, José, Janota, Mikoláš

Volltext

Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs von Ferreira, Mafalda, Monteiro, Miguel, Brito, Tiago, Coimbra, Miguel E., Santos, Nuno, Jia, Limin, Santos, José Fragoso

Volltext

An Information Flow Monitor for a Core of DOM: Introducing References and Live Primitives von Almeida-Matos, Ana, Fragoso Santos, José, Rezk, Tamara

Volltext

Hybrid Information Flow Control for Low-Level Code von Geraldo, Eduardo, Santos, José Fragoso, Seco, João Costa

Volltext

DOM: Specification and Client Reasoning von Raad, Azalea, Santos, José Fragoso, Gardner, Philippa

Volltext

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly von Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, José Fragoso Santos, Jean-Christophe Filliâtre

Volltext

Towards Logic-Based Verification of JavaScript Programs von Santos, José Fragoso, Gardner, Philippa, Maksimović, Petar, Naudžiūnienė, Daiva

Volltext

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language von Fragoso Santos, José, Jensen, Thomas, Rezk, Tamara, Schmitt, Alan

Volltext

Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly von Brito, Tiago, Lopes, Pedro, Santos, Nuno, José Fragoso Santos

Volltext

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages von Brito, Tiago, Ferreira, Mafalda, Monteiro, Miguel, Lopes, Pedro, Barros, Miguel, José Fragoso Santos, Santos, Nuno

Volltext

Modular Monitor Extensions for Information Flow Security in JavaScript von Fragoso Santos, José, Rezk, Tamara, Matos, Ana Almeida

Volltext

TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version von Marques, Filipe, Morgado, António, Santos, José Fragoso, Janota, Mikoláš

Volltext bestellen

Gillian: A Multi-Language Platform for Unified Symbolic Analysis von Maksimović, Petar, Santos, José Fragoso, Ayoun, Sacha-Élie, Gardner, Philippa

Volltext bestellen

Gillian: Compositional Symbolic Execution for All von Santos, José Fragoso, Maksimović, Petar, Ayoun, Sacha-Élie, Gardner, Philippa

Volltext bestellen