Search - IFIP Open Digital Library Access content directly

Filter your results

23 results
Structure: Internal structure identifier : 302889
Image document

Tool-Assisted Risk Analysis for Data Protection Impact Assessment

Salimeh Dashti , Silvio Ranise
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.308-324, ⟨10.1007/978-3-030-42504-3_20⟩
Conference papers hal-03378957v1
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

RiskInDroid: Machine Learning-Based Risk Analysis on Android

Alessio Merlo , Gabriel Claudiu Georgiu
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.538-552, ⟨10.1007/978-3-319-58469-0_36⟩
Conference papers hal-01648990v1
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
Image document

Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures)

Alessandro Armando , Alessio Merlo , Mauro Migliardi , Luca Verderame
27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.13-24, ⟨10.1007/978-3-642-30436-1_2⟩
Conference papers hal-01518240v1
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

An Empirical Evaluation of the Android Security Framework

Alessandro Armando , Alessio Merlo , Luca Verderame
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.176-189, ⟨10.1007/978-3-642-39218-4_14⟩
Conference papers hal-01463826v1
Image document

Closed-Loop Manufacturing for Aerospace Industry: An Integrated PLM-MOM Solution to Support the Wing Box Assembly Process

Melissa Demartini , Federico Galluccio , Paolo Mattis , Islam Abusohyon , Raffaello Lepratti , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.423-430, ⟨10.1007/978-3-030-29996-5_49⟩
Conference papers hal-02460457v1
Image document

From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?

Alessandro Armando , Roberto Carbone , Luca Compagna , Jorge Cuellar , Giancarlo Pellegrino , et al.
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.68-79, ⟨10.1007/978-3-642-21424-0_6⟩
Conference papers hal-01567599v1
Image document

Coupling MPC and DP Methods for an Efficient Solution of Optimal Control Problems

A. Alla , G. Fabrini , M. Falcone
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.68-77, ⟨10.1007/978-3-319-55795-3_5⟩
Conference papers hal-01626904v1
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

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

Laugh When You’re Winning

Maurizio Mancini , Laurent Ach , Emeline Bantegnie , Tobias Baur , Nadia Berthouze , et al.
9th International Summer Workshop on Multimodal Interfaces (eNTERFACE), Jul 2013, Lisbon, Portugal. pp.50-79, ⟨10.1007/978-3-642-55143-7_3⟩
Conference papers hal-01350739v1