Model checking authorization requirements in business processes von Armando, Alessandro, Ponta, Serena Elisa

Volltext

Detection, assessment and mitigation of vulnerabilities in open source dependencies von Ponta, Serena Elisa, Plate, Henrik, Sabetta, Antonino

Volltext

Automatically finding execution scenarios to deploy security-sensitive workflows von dos Santos, Daniel Ricardo, Ranise, Silvio, Compagna, Luca, Ponta, Serena Elisa

Volltext

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures von Armando, Alessandro, Arsac, Wihem, Avanesov, Tigran, Barletta, Michele, Calvi, Alberto, Cappai, Alessandro, Carbone, Roberto, Chevalier, Yannick, Compagna, Luca, Cuéllar, Jorge, Erzse, Gabriel, Frau, Simone, Minea, Marius, Mödersheim, Sebastian, von Oheimb, David, Pellegrino, Giancarlo, Ponta, Serena Elisa, Rocchetto, Marco, Rusinowitch, Michael, Torabi Dashti, Mohammad, Turuani, Mathieu, Viganò, Luca

Volltext

Vuln4Real: A Methodology for Counting Actually Vulnerable Dependencies von Pashchenko, Ivan, Plate, Henrik, Ponta, Serena Elisa, Sabetta, Antonino, Massacci, Fabio

Volltext

Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite von Dann, Andreas, Plate, Henrik, Hermann, Ben, Ponta, Serena Elisa, Bodden, Eric

Volltext

[Tool demo] Prospector: a Tool to Find Fixes to Known Vulnerabilities of Open-Source Projects von Sabetta, Antonino, Ponta, Serena Elisa, Lozoya, Rocío Cabrera, Bezzi, Michele, Sacchetti, Tommaso, Greco, Matteo, Gergo Balogh, Hegedus, Peter, Ferenc, Rudolf, Massacci, Fabio, Ranindya Paramitha, Pashchenko, Ivan, Papotti, Aurora, Milánkovich, Ákos

Volltext bestellen

Model Checking of Security-Sensitive Business Processes von Armando, Alessandro, Ponta, Serena Elisa

Volltext

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints von Armando, Alessandro, Giunchiglia, Enrico, Maratea, Marco, Ponta, Serena Elisa

Volltext

Security validation of business processes via model-checking von Arsac, Wihem, Compagna, Luca, Pellegrino, Giancarlo, Ponta, Serena Elisa

Volltext

Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes von Compagna, Luca, dos Santos, Daniel Ricardo, Ponta, Serena Elisa, Ranise, Silvio

Volltext

Increasing Trust in the Cloud through Configuration Validation von Casalino, Matteo Maria, Plate, Henrik, Ponta, Serena Elisa

Volltext

Compilation of Commit Changes within Java Source Code Repositories von Schott, Stefan, Fischer, Wolfram, Ponta, Serena Elisa, Klauke, Jonas, Bodden, Eric

Volltext bestellen

Security Validation of Business Processes via Model-Checking von Arsac, Wihem, Compagna, Luca, Pellegrino, Giancarlo, Ponta, Serena Elisa

Volltext

On the Feasibility of Cross-Language Detection of Malicious Packages in npm and PyPI von Ladisa, Piergiorgio, Ponta, Serena Elisa, Ronzoni, Nicola, Martinez, Matias, Barais, Olivier

Volltext

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach von Armando, Alessandro, Giunchiglia, Enrico, Ponta, Serena Elisa

Volltext

The Hitchhiker's Guide to Malicious Third-Party Dependencies von Ladisa, Piergiorgio, Sahin, Merve, Ponta, Serena Elisa, Rosa, Marco, Martinez, Matias, Barais, Olivier

Volltext bestellen

The Used, the Bloated, and the Vulnerable: Reducing the Attack Surface of an Industrial Application von Ponta, Serena Elisa, Fischer, Wolfram, Plate, Henrik, Sabetta, Antonino

Volltext bestellen

Journey to the Center of Software Supply Chain Attacks von Ladisa, Piergiorgio, Ponta, Serena Elisa, Sabetta, Antonino, Martinez, Matias, Barais, Olivier

Volltext bestellen

Towards the Detection of Malicious Java Packages von Ladisa, Piergiorgio, Plate, Henrik, Martinez, Matias, Barais, Olivier, Ponta, Serena Elisa

Volltext bestellen