285 citations · 1.8k across the 21 of their papers we have counts for
Showing 2016 · cs.CRShow all
2 papers · 2 filters
cs.CR2016★ 4 cited
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Marco Rocchetto, Nils Ole Tippenhauer
We propose extensions to the Dolev-Yao attacker model to make it suitable for arguments about security of Cyber-Physical Systems. The Dolev-Yao attacker model uses a set of rules t…
cs.CR2016★ 1 cited
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)
Federico De Meo, Marco Rocchetto, Luca Viganò
We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applica…