‪Andrea Di Pasquale‬ -巨人学术搜索‬‬

创建我的个人资料

引用次数

	总计	2020 年至今
引用	18	14
h 指数	2	2
i10 指数	1	0

0

8

4

201820192020202120222023202420251 3 1 1 2 1 7 2

合著作者

Andrea LanziAssociate Professor at Department Computer Science at University of Milan在 unimi.it 的电子邮件经过验证
Elena PaganiAssociate Professor, University of Milano在 unimi.it 的电子邮件经过验证
Danilo BruschiProfessore di Informatica, Università degli Studi di Milano在 unimi.it 的电子邮件经过验证
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证

Andrea Di Pasquale

Andrea Di Pasquale

Security Delivery Manager, Accenture

在 accenture.com 的电子邮件经过验证

Endpoint security Network security High-performance systems High-performance networks


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Formal verification of ARP (address resolution protocol) through SMT-based model checking-A case study D Bruschi, A Di Pasquale, S Ghilardi, A Lanzi, E Pagani Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017	10	2017
A formal verification of ARPON–a tool for avoiding Man-in-the-Middle attacks in ethernet networks D Bruschi, A Di Pasquale, S Ghilardi, A Lanzi, E Pagani IEEE Transactions on Dependable and Secure Computing 19 (6), 4082-4098, 2021	7	2021
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks D Bruschi, A Di Pasquale, A Lanzi, E Pagani Journal of Computer Security 32 (5), 447-475, 2024	1	2024

系统目前无法执行此操作，请稍后再试。

文章 1–3