Dos Santos, Daniel Ricardo
Dos Santos, Daniel Ricardo
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.013 secondi).
Automatic Techniques for the Synthesis and Assisted Deployment of Security Policies in Workflow-based Applications
2017-01-01 dos Santos, Daniel Ricardo
MULTI-CONTEXT EXPLOIT TEST MANAGEMENT
2017-01-01 Sabetta, Antonino; Compagna, Luca; Ponta, Serena; Dashevskyi, Stanislav; Dos Santos, Daniel Ricardo; Massacci, Fabio
Solving multi-objectiveworkflow satisfiability problems with optimization modulo theories techniques
2018-01-01 Bertolissi, C.; Dos Santos, D. R.; Ranise, S.
TestREx: a framework for repeatable exploits
2019-01-01 Dashevskyi, Stanislav; Dos Santos, Daniel Ricardo; Massacci, Fabio; Sabetta, Antonino