Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

15 results
Page :
sorted by
Image document

Automated Security Analysis of IoT Software Updates

 Nicolas Dejon , Davide Caputo , Luca Verderame , Alessandro Armando , Alessio Merlo
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.223-239, ⟨10.1007/978-3-030-41702-4_14⟩
Conference papers hal-03173903v1
Image document

Push-Down Automata with Gap-Order Constraints

 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Verification of Ad Hoc Networks with Node and Communication Failures

 Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
Conference papers hal-00909367v1
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
Image document

Trustworthy Opportunistic Access to the Internet of Services

 Alessandro Armando , Aniello Castiglione , Gabriele Costa , Ugo Fiore , Alessio Merlo , et al.
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.469-478, ⟨10.1007/978-3-642-36818-9_52⟩
Conference papers hal-01480255v1
Image document

Static Single Information Form for Abstract Compilation

 Davide Ancona , Giovanni Lagorio
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.10-27, ⟨10.1007/978-3-642-33475-7_2⟩
Conference papers hal-01556212v1
Image document

Droids in Disarray: Detecting Frame Confusion in Hybrid Android Apps

 Davide Caputo , Luca Verderame , Simone Aonzo , Alessio Merlo
33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.121-139, ⟨10.1007/978-3-030-22479-0_7⟩
Conference papers hal-02384600v1
Image document

Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments

 Salimeh Dashti , Amir Sharif , Roberto Carbone , Silvio Ranise
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.325-337, ⟨10.1007/978-3-030-81242-3_19⟩
Conference papers hal-03677036v1
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

Supporting Decision Making in Disasters: The DiMas Tool

 Eran Lederman , Luisa Chimenz
2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.25-35, ⟨10.1007/978-3-030-18293-9_4⟩
Conference papers hal-02280322v1

Formal Techniques for Distributed Systems

 John Hatcliff , Elena Zucca
Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩
Books hal-01555338v1
Image document

Automated and Efficient Analysis of Role-Based Access Control with Attributes

 Alessandro Armando , Silvio Ranise
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.25-40, ⟨10.1007/978-3-642-31540-4_3⟩
Conference papers hal-01534765v1
Image document

Tutorial: Service-Oriented Architecture (SOA) Development for Serious Games

 Maira B. Carvalho , Jun Hu , Francesco Bellotti , Alessandro De Gloria , Matthias Rauterberg
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.578-580, ⟨10.1007/978-3-319-24589-8_61⟩
Conference papers hal-01758448v1
Page :