Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Sub-domain level 1 : info.info-ni
labStructName_s : Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
Page :
sorted by
Image document

Deconfined Global Types for Asynchronous Sessions

 Francesco Dagnino , Paola Giannini , Mariangiola Dezani-Ciancaglini
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩
Conference papers hal-03387838v1
Image document

Asynchronous Global Types in Co-logic Programming

 Riccardo Bianchini , Francesco Dagnino
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩
Conference papers hal-03387826v1
Image document

Enabling Next-Generation Cyber Ranges with Mobile Security Components

 Enrico Russo , Luca Verderame , Alessio Merlo
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.150-165, ⟨10.1007/978-3-030-64881-7_10⟩
Conference papers hal-03239813v1
Image document

APPregator: A Large-Scale Platform for Mobile Security Analysis

 Luca Verderame , Davide Caputo , Andrea Romdhana , Alessio Merlo
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.73-88, ⟨10.1007/978-3-030-64881-7_5⟩
Conference papers hal-03239815v1
Page :