10 citations · 14 across the 4 of their papers we have counts for
4 papers
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
Roberto Metere, Mario Lilli, Luca Arnaboldi +1
The latest Wi-Fi security standard, IEEE 802.11, includes a secure authentication protocol called SAE, whose use is mandatory for WPA3-Personal networks. The protocol is specified…
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1
Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such pr…
AsmetaF: A Flattener for the ASMETA Framework
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
Abstract State Machines (ASMs) have shown to be a suitable high-level specification method for complex, even industrial, systems; the ASMETA framework, supporting several validatio…
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community
Elvinia Riccobene
This volume contains the extended abstracts of the contributions presented at EclipseIT 2013, the 8th workshop of the Italian Eclipse Community, hosted by the Computer Science Depa…