Search - IFIP Open Digital Library Access content directly

Filter your results

32 results
Structure: Internal structure identifier : 452129
Image document

Building an Environmental Information System for Personalized Content Delivery

Leo Wanner , Stefanos Vrochidis , Sara Tonelli , Jürgen Mossgraber , Harald Bosch , et al.
9th International Symposium on Environmental Software Systems (ISESS), Jun 2011, Brno, Czech Republic. pp.169-176, ⟨10.1007/978-3-642-22285-6_19⟩
Conference papers hal-01569200v1
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

Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios

Daniel Santos , Silvio Ranise , Luca Compagna , Serena E. Ponta
29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.85-100, ⟨10.1007/978-3-319-20810-7_6⟩
Conference papers hal-01745831v1
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

Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications

Roberto Carbone , Silvio Ranise , Giada Sciarretta
Eleni Kosta; Jo Pierson; Daniel Slamanig; Simone Fischer-Hübner; Stephan Krenn. Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data : 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers, AICT-547, Springer International Publishing, pp.51-66, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-16743-1. ⟨10.1007/978-3-030-16744-8_4⟩
Book sections hal-02271662v1
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

Following Wrong Suggestions: Self-blame in Human and Computer Scenarios

Andrea Beretta , Massimo Zancanaro , Bruno Lepri
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.542-550, ⟨10.1007/978-3-030-29387-1_31⟩
Conference papers hal-02553922v1
Image document

If You Are Happy and You Know It, Say “I’m Here”: Investigating Parents’ Location-Sharing Preferences

Fabio Pianesi , Massimo Zancanaro , Paolo Massa , Chiara Leonardi , Bruno Lepri
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.315-332, ⟨10.1007/978-3-319-22698-9_20⟩
Conference papers hal-01609396v1
Image document

Domain Objects for Dynamic and Incremental Service Composition

Antonio Bucchiarone , Martina De Sanctis , Marco Pistore
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.62-80, ⟨10.1007/978-3-662-44879-3_5⟩
Conference papers hal-01318273v1
Image document

Design as Intercultural Dialogue: Coupling Human-Centered Design with Requirement Engineering Methods

Chiara Leonardi , Luca Sabatucci , Angelo Susi , Massimo Zancanaro
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.485-502, ⟨10.1007/978-3-642-23765-2_34⟩
Conference papers hal-01591805v1
Image document

A Layered Approach to Managing Risks in OSS Projects

Xavier Franch , Ron Kenett , Fabio Mancinelli , Angelo Susi , David Ameller , et al.
10th IFIP International Conference on Open Source Systems (OSS), May 2014, San José, Costa Rica. pp.168-171, ⟨10.1007/978-3-642-55128-4_23⟩
Conference papers hal-01373089v1
Image document

Incremental Analysis of Evolving Administrative Role Based Access Control Policies

Silvio Ranise , Anh Truong
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.260-275, ⟨10.1007/978-3-662-43936-4_17⟩
Conference papers hal-01285032v1
Image document

Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations

Salvatore Manfredi , Silvio Ranise , Giada Sciarretta
33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.201-220, ⟨10.1007/978-3-030-22479-0_11⟩
Conference papers hal-02384588v1
Image document

Bridging the Gap Between Requirements Engineering and Human-Computer Interaction

Achim Ebert , Shah Rukh Humayoun , Norbert Seyff , Anna Perini , Simone Barbosa
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.3-7, ⟨10.1007/978-3-319-45916-5_1⟩
Conference papers hal-01631311v1
Image document

Experience Probes: Immersion and Reflection Between Reality and Virtuality

Max Willis , Antonella De Angeli , Massimo Zancanaro
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.253-262, ⟨10.1007/978-3-319-68059-0_16⟩
Conference papers hal-01679784v1
Image document

Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud

Umberto Morelli , Silvio Ranise
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.296-309, ⟨10.1007/978-3-319-58469-0_20⟩
Conference papers hal-01649021v1

Data and Applications Security and Privacy XXX

Silvio Ranise , Vipin Swarup
Springer International Publishing, LNCS-9766, 2016, Lecture Notes in Computer Science, 978-3-319-41482-9. ⟨10.1007/978-3-319-41483-6⟩
Books hal-01633682v1
Image document

RSSI or Time-of-flight for Bluetooth Low Energy based localization? An experimental evaluation

Davide Giovanelli , Elisabetta Farella
11th IFIP Wireless and Mobile Networking Conference (WMNC 2018), Sep 2018, Prague, Czech Republic. pp.32-39
Conference papers hal-01995171v1
Image document

SENSATION: An Authoring Tool to Support Event–State Paradigm in End-User Development

Giuseppe Desolda , Francesco Greco , Francisco Guarnieri , Nicole Mariz , Massimo Zancanaro
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.373-382, ⟨10.1007/978-3-030-85616-8_22⟩
Conference papers hal-04196890v1
Image document

Real vs Simulated Foveated Rendering to Reduce Visual Discomfort in Virtual Reality

Ariel Caputo , Andrea Giachetti , Salwa Abkal , Chiara Marchesini , Massimo Zancanaro
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.177-185, ⟨10.1007/978-3-030-85607-6_12⟩
Conference papers hal-04291223v1
Image document

Exploring Legal Business Process Paths

Sepideh Ghanavati , Silvia Ingolfo , Alberto Siena
7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.1-10, ⟨10.1007/978-3-662-45501-2_1⟩
Conference papers hal-01282056v1
Image document

Personalized Environmental Service Orchestration for Quality of Life Improvement

Leo Wanner , Stefanos Vrochidis , Marco Rospocher , Jürgen Mossgraber , Harald Bosch , et al.
8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.351-360, ⟨10.1007/978-3-642-33412-2_36⟩
Conference papers hal-01523047v1
Image document

Assessing a Collaborative Application for Comic Strips Composition

Eleonora Mencarini , Gianluca Schiavo , Alessandro Cappelletti , Oliviero Stock , Massimo Zancanaro
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.73-80, ⟨10.1007/978-3-319-22668-2_6⟩
Conference papers hal-01599852v1
Image document

A Reversible Abstract Machine and Its Space Overhead

Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
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.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1
Image document

Three around a Table: The Facilitator Role in a Co-located Interface for Social Competence Training of Children with Autism Spectrum Disorder

Massimo Zancanaro , Leonardo Giusti , Eynat Gal , Patrice T. Weiss
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.123-140, ⟨10.1007/978-3-642-23771-3_11⟩
Conference papers hal-01590868v1
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

The RISCOSS Platform for Risk Management in Open Source Software Adoption

X. Franch , R. Kenett , F. Mancinelli , A. Susi , D. Ameller , et al.
11th International Conference on Open Source Systems (OSS), May 2015, Florence, Italy. pp.124-133, ⟨10.1007/978-3-319-17837-0_12⟩
Conference papers hal-01320166v1
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

Model Checking of Hybrid Systems Using Shallow Synchronization

Lei Bu , Alessandro Cimatti , Xuandong Li , Sergio Mover , Stefano Tonetta
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.155-169, ⟨10.1007/978-3-642-13464-7_13⟩
Conference papers hal-01055156v1