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

Filter your results

55 results
Deposit type : Fulltext
publicationDateY_i : 2019
Page :
sorted by
Image document

Detection of Bitcoin-Based Botnets Using a One-Class Classifier

 Bruno Bogaz Zarpelão , Rodrigo Sanches Miani , Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.174-189, ⟨10.1007/978-3-030-20074-9_13⟩
Conference papers hal-02294596v1
Image document

Usability Evaluation of Model-Driven Cross-Device Web User Interfaces

 Enes Yigitbas , Anthony Anjorin , Ivan Jovanovikj , Thomas Kern , Stefan Sauer , et al.
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.231-247, ⟨10.1007/978-3-030-05909-5_14⟩
Conference papers hal-02270698v1
Image document

Participatory Ideation for Gamification: Bringing the User at the Heart of the Gamification Design Process

 Thomas Vilarinho , Babak Farshchian , Jacqueline Floch , Ole Gunhildsberg Hansen
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.51-61, ⟨10.1007/978-3-030-05909-5_4⟩
Conference papers hal-02270710v1
Image document

Secure Outsourcing in Discrete-Logarithm-Based and Pairing-Based Cryptography (Invited Talk)

 Damien Vergnaud
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.7-11, ⟨10.1007/978-3-030-20074-9_2⟩
Conference papers hal-02294605v1
Image document

Data-Driven Usability Test Scenario Creation

 Maikel L. van Eck , Else Markslag , Natalia Sidorova , Angelique Brosens-Kessels , Wil M.P. van Der Aalst
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.88-108, ⟨10.1007/978-3-030-05909-5_6⟩
Conference papers hal-02270717v1
Image document

Generic Architecture for Lightweight Block Ciphers: A First Step Towards Agile Implementation of Multiple Ciphers

 Etienne Tehrani , Jean-Luc Danger , Tarik Graba
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.28-43, ⟨10.1007/978-3-030-20074-9_4⟩
Conference papers hal-02294599v1
Image document

A Systematic Review on the Use of Groupware Technologies in Emergency Management

 Jacimar F. Tavares , Leandro Da Silva Gonçalves , Patrícia Gonçalves , Marcos Borges
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.22-35, ⟨10.1007/978-3-030-32169-7_3⟩
Conference papers hal-02799293v1
Image document

Preparing a Smart Environment to Decision-Making in Emergency Traffic Control Management

 Jacimar F. Tavares , Marcos Borges , Adriana S. Vivacqua
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.12-21, ⟨10.1007/978-3-030-32169-7_2⟩
Conference papers hal-02799281v1
Image document

Remote Credential Management with Mutual Attestation for Trusted Execution Environments

 Carlton Shepherd , Raja Naeem Akram , Konstantinos Markantonakis
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.157-173, ⟨10.1007/978-3-030-20074-9_12⟩
Conference papers hal-02294612v1
Image document

Software Support for Coherent Prototyping of 3D Gesture Interactions

 Dominik Rupprecht , Rainer Blum , Birgit Bomsdorf
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.207-218, ⟨10.1007/978-3-030-05909-5_12⟩
Conference papers hal-02270720v1
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1
Image document

Generating a Real-Time Constraint Engine for Network Protocols

 Mohamed Sami Rakha , Fahim T. Imam , Thomas R. Dean
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.44-60, ⟨10.1007/978-3-030-20074-9_5⟩
Conference papers hal-02294615v1
Image document

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers hal-02364570v1
Image document

A Generic Lightweight and Scalable Access Control Framework for IoT Gateways

 Juan D. Parra Rodriguez
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.207-222, ⟨10.1007/978-3-030-20074-9_15⟩
Conference papers hal-02294606v1
Image document

Linear Depth Integer-Wise Homomorphic Division

 Hiroki Okada , Carlos Cid , Seira Hidano , Shinsaku Kiyomoto
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.91-106, ⟨10.1007/978-3-030-20074-9_8⟩
Conference papers hal-02294597v1
Image document

Geological – Geomorphological Features of River Catchments in Flood Susceptibility Assessment (on the Example of Middle Struma Valley, Bulgaria)

 Valentina Nikolova , Plamena Zlateva , Ivan Dimitrov
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.76-96, ⟨10.1007/978-3-030-32169-7_7⟩
Conference papers hal-02799288v1
Image document

Real-Time Tornado Forecasting Using SLHGN

 Benny Benyamin Nasution , Rahmat Widia Sembiring , Muhammad Syahruddin , Nursiah Mustari , Abdul Rahman Dalimunthe , et al.
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.97-119, ⟨10.1007/978-3-030-32169-7_8⟩
Conference papers hal-02799277v1
Image document

Adding Measures to Task Models for Usability Inspection of the Cloud Access Control Services

 Bilal Naqvi , Ahmed Seffah , Christina Braz
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.133-145, ⟨10.1007/978-3-030-05909-5_8⟩
Conference papers hal-02270718v1
Image document

Recovery Watcher: A Disaster Communication System for Situation Awareness and Its Use for Barrier-Free Information Provision

 Yuko Murayama , Kayoko Yamamoto , Jun Sasaki
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.1-11, ⟨10.1007/978-3-030-32169-7_1⟩
Conference papers hal-02799294v1
Image document

Deep Learning Application in Security and Privacy – Theory and Practice: A Position Paper

 Julia A. Meister , Raja Naeem Akram , Konstantinos Markantonakis
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.129-144, ⟨10.1007/978-3-030-20074-9_10⟩
Conference papers hal-02294604v1
Image document

Cybersecurity Behaviour: A Conceptual Taxonomy

 Thulani Mashiane , Elmarie Kritzinger
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.147-156, ⟨10.1007/978-3-030-20074-9_11⟩
Conference papers hal-02294613v1
Image document

Organizational Features in Disaster Risk Management Systems

 Yury Manyoma , Nicolas Reyes , Luz Esperanza Bohorquez
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers hal-02799291v1
Image document

Get Realistic! - UCD Course Design and Evaluation

 Marta Larusdottir , Virpi Roto , Jan Stage , Andres Lucero
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.15-30, ⟨10.1007/978-3-030-05909-5_2⟩
Conference papers hal-02270704v1
Image document

User Evaluations of Virtually Experiencing Mount Everest

 Marta Larusdottir , David Thue , Hannes Högni Vilhjálmsson
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.294-307, ⟨10.1007/978-3-030-05909-5_18⟩
Conference papers hal-02270721v1
Image document

From Startup to Scaleup: An Interview Study of the Development of User Experience Work in a Data-Intensive Company

 Kati Kuusinen , Martin Kjølbye Sørensen , Nicklas Mandrup Frederiksen , Niclas Kildahl Laugesen , Søren Holm Juul
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.3-14, ⟨10.1007/978-3-030-05909-5_1⟩
Conference papers hal-02270708v1
Image document

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

 Jens Kosiol , Lars Fritsche , Nebras Nassar , Andy Schürr , Gabriele Taentzer
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers hal-02364576v1
Image document

Term Charters

 Alexander Knapp , María Victoria Cengarle
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩
Conference papers hal-02364571v1
Image document

Helping Teams to Help Themselves: An Industrial Case Study on Interdependencies During Sprints

 Jil Klünder , Fabian Kortum , Thorsten Ziehm , Kurt Schneider
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.31-50, ⟨10.1007/978-3-030-05909-5_3⟩
Conference papers hal-02270699v1
Image document

Finite Limits and Anti-unification in Substitution Categories

 Wolfram Kahl
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩
Conference papers hal-02364568v1
Image document

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

 Wolfram Kahl , Yuhang Zhao
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.103-118, ⟨10.1007/978-3-030-23220-7_6⟩
Conference papers hal-02364572v1
Page :