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

Filter your results

30 results
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

Bridging User Context and Design Models to Build Adaptive User Interfaces

Mladjan Jovanovic , Dusan Starcevic , Zoran Jovanovic
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.36-56, ⟨10.1007/978-3-662-44811-3_3⟩
Conference papers hal-01405064v1
Image document

Securing Data Provenance in the Cloud

Muhammad Rizwan Asghar , Mihaela Ion , Giovanni Russello , Bruno Crispo
International Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.145-160, ⟨10.1007/978-3-642-27585-2_12⟩
Conference papers hal-01481501v1
Image document

Event Handoff Unobservability in WSN

Stefano Ortolani , Mauro Conti , Bruno Crispo , Roberto Di Pietro
1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.20-28, ⟨10.1007/978-3-642-19228-9_3⟩
Conference papers hal-01581330v1
Image document

Renegotiation and Recursion in Bitcoin Contracts

Massimo Bartoletti , Maurizio Murgia , Roberto Zunino
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩
Conference papers hal-03273996v1
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

Combining Goal-Oriented and Problem-Oriented Requirements Engineering Methods

Kristian Beckers , Stephan Fassbender , Maritta Heisel , Federica Paci
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.178-194
Conference papers hal-01506766v1
Image document

Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?

Nicola Dragoni , Olga Gadyatskaya , Fabio Massacci
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.221-228, ⟨10.1007/978-3-642-12368-9_16⟩
Conference papers hal-01059143v1
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

On the Uplink Performance of TCP in Multi-rate 802.11 WLANs

Naeem Khademi , Michael Welzl , Renato Lo Cigno
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.368-378, ⟨10.1007/978-3-642-20798-3_28⟩
Conference papers hal-01597975v1
Image document

Entity-Centric Visualization of Open Data

Sajan Raj Ojha , Mladjan Jovanovic , Fausto Giunchiglia
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.149-166, ⟨10.1007/978-3-319-22698-9_11⟩
Conference papers hal-01609414v1
Image document

FSquaDRA: Fast Detection of Repackaged Applications

Yury Zhauniarovich , Olga Gadyatskaya , Bruno Crispo , Francesco La Spina , Ermanno Moser
28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.130-145, ⟨10.1007/978-3-662-43936-4_9⟩
Conference papers hal-01285035v1
Image document

On the Realizability of Contracts in Dishonest Systems

Massimo Bartoletti , Emilio Tuosto , Roberto Zunino
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers hal-01529594v1
Image document

Viability of Magazines for Stimulating Social Interactions in Nursing Homes

Valentina Caforio , Marcos Baez , Fabio Casati
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.72-81, ⟨10.1007/978-3-319-67687-6_6⟩
Conference papers hal-01717198v1
Image document

Flexible and Dynamic Consent-Capturing

Muhammad Rizwan Asghar , Giovanni Russello
International Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.119-131, ⟨10.1007/978-3-642-27585-2_10⟩
Conference papers hal-01481499v1
Image document

GCI 2012 Harnessing Collective Intelligence with Games

Markus Krause , Roberta Cuel , Maja Vukovic
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.496-499, ⟨10.1007/978-3-642-33542-6_63⟩
Conference papers hal-01556170v1
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

Honesty by Typing

Massimo Bartoletti , Alceste Scalas , Emilio Tuosto , Roberto Zunino
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.305-320, ⟨10.1007/978-3-642-38592-6_21⟩
Conference papers hal-01515248v1
Image document

Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement

Gabriela Gheorghe , Bruno Crispo , Roberto Carbone , Lieven Desmet , Wouter Joosen
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.350-369, ⟨10.1007/978-3-642-25821-3_18⟩
Conference papers hal-01597755v1
Image document

A True Concurrent Model of Smart Contracts Executions

Massimo Bartoletti , Letterio Galletta , Maurizio Murgia
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers hal-03273986v1
Image document

An Approach to Select Cost-Effective Risk Countermeasures

Le Sang Tran , Bjørnar Solhaug , Ketil Stølen
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.266-273, ⟨10.1007/978-3-642-39256-6_18⟩
Conference papers hal-01490710v1
Image document

The Effect of Religious Identity on User Judgment of Website Quality

Ons Al-Shamaileh , Alistair Sutcliffe , Antonella De Angeli
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.620-623, ⟨10.1007/978-3-642-23768-3_97⟩
Conference papers hal-01597043v1
Image document

Investigating Italian Citizens’ Attitudes Towards Immuni, the Italian Contact Tracing App

Cristina Bosco , Martina Cvajner
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.34-42, ⟨10.1007/978-3-030-85616-8_3⟩
Conference papers hal-04196886v1
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

Stimulating Conversations in Residential Care Through Technology-Mediated Reminiscence

Francisco Ibarra , Marcos Baez , Francesca Fiore , Fabio Casati
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.62-71, ⟨10.1007/978-3-319-67687-6_5⟩
Conference papers hal-01717204v1
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

P2P and Cloud: A Marriage of Convenience for Replica Management

Hanna Kavalionak , Alberto Montresor
6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.60-71, ⟨10.1007/978-3-642-28583-7_6⟩
Conference papers hal-01527531v1