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

Filter your results

90 results
Page :
sorted by

When Clocks Fail: On Critical Paths and Clock Faults

 Michel Agoyan , Jean-Max Dutertre , David Naccache , Bruno Robisson , Assia Tria
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
Conference papers emse-00505344v1
Image document

Using testing techniques for vulnerability detection in C programs

 Amel Mammar , Ana Rosa Cavalli , Willy Ronald Jimenez Freitez , Wissam Mallouli , Edgardo Montes de Oca
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers hal-01303013v1
Image document

U-Note: Capture the Class and Access it Everywhere

 Sylvain Malacria , Thomas Pietrzak , Aurélien Tabard , Éric Lecolinet
Proceedings of the IFIP Conference on Human-Computer Interaction (Interact 2011), Sep 2011, Lisbonne, Portugal. pp.643-660, ⟨10.1007/978-3-642-23774-4_50⟩
Conference papers hal-00671380v1
Image document

Towards QoC-aware location-based services

 Sophie Chabridon , Cao Cuong Ngo , Zied Abid , Denis Conan , Chantal Taconet , et al.
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.71 - 76, ⟨10.1007/978-3-642-21387-8_6⟩
Conference papers hal-01303054v1
Image document

Towards a Context-Aware Security and Privacy as a Service in the Internet of Things

 Tidiane Sylla , Mohamed Aymen Chalouf , Francine Krief , Karim Samaké
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.240-252, ⟨10.1007/978-3-030-41702-4_15⟩
Conference papers hal-02496273v1
Image document

Towards a communication system for people with athetoid cerebral palsy

 Yohan Guerrier , Christophe Kolski , Franck Poirier
International Conference on Human-Computer Interaction - Interact 2013, Sep 2013, Cap Town, South Africa. 8 p
Conference papers hal-00826041v1
Image document

Toward a Source Detection of Botclouds: A PCA-Based Approach

 Hammi Badis , Guillaume Doyen , Rida Khatoun
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.105-117, ⟨10.1007/978-3-662-43862-6_13⟩
Conference papers hal-01401295v1
Image document

The Generation of a Situation Model, in Real-Time, as a Support to Crisis Management

 Audrey Fertier , Anne-Marie Barthe-Delanoë , Aurelie Montarnal , Sébastien Truptil , Frederick Benaben
ITDRR 2016 - 1st International Conference on Information Technology in Disaster Risk Reduction, IFIP, Nov 2016, Sofia, Bulgaria. pp.198-213, ⟨10.1007/978-3-319-68486-4_16⟩
Conference papers hal-03213133v1

Testing Software and Systems

 Nina Yevtushenko , Ana Rosa Cavalli , Husnu Yenigun
Springer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books hal-01678967v1

Testing Software and Systems

 Franz Wotawa , Mihai Nica , Natalia Kushik
Springer International Publishing, LNCS-9976, pp.257, 2016, Lecture Notes in Computer Science, Lecture notes in computer science, 978-3-319-47442-7. ⟨10.1007/978-3-319-47443-4⟩
Books hal-01643721v1
Image document

Techno-economic comparison of next-generation access networks for the French market

 Konrad Walczyk , Annie Gravey
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.136-147, ⟨10.1007/978-3-642-32808-4_13⟩
Conference papers hal-00737172v1
Image document

Synchronized Attacks on Multithreaded Systems - Application to Java Card 3.0

 Guillaume Barbu , Hugues Thiebeauld
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.18-33, ⟨10.1007/978-3-642-27257-8_2⟩
Conference papers hal-00692172v1
Image document

Specification and Deployment of Integrated Security Policies for Outsourced Data

 Anis Bkakria , Frédéric Cuppens , Nora Cuppens-Bouhlahia , David Gross-Amblard
28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '14), Jul 2014, Vienne, Austria. pp.17 - 32, ⟨10.1007/978-3-662-43936-4_2⟩
Conference papers hal-01087467v1
Image document

Space-time pattern extraction in alarm logs for network diagnosis

 Achille Salaün , Anne Bouillard , Marc-Olivier Buob
MLN 2019: 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.134-153, ⟨10.1007/978-3-030-45778-5_10⟩
Conference papers hal-02484330v2
Image document

Solving an Integration Process Planning and Scheduling in a Flexible Job Shop Using a Hybrid Approach

 Nassima Keddari , Nasser Mebarki , Atif Shahzad , Zaki Sari
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.387-398, ⟨10.1007/978-3-319-89743-1_34⟩
Conference papers hal-01913923v1
Image document

Runtime Code Polymorphism as a Protection Against Side Channel Attacks

 Damien Couroussé , Thierno Barry , Bruno Robisson , Philippe Jaillon , Olivier Potin , et al.
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩
Conference papers emse-01372223v1
Image document

Remote Collaboration, Decision Support, and On-Demand Medical Image Analysis for Acute Stroke Care

 Renan Sales Barros , Jordi Borst , Steven Kleynenberg , Céline Badr , Rama Rao Ganji , et al.
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.214-225
Conference papers hal-01757577v1
Image document

Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems

 Julien Bringer , Hervé Chabanne , Daniel Le Métayer , Roch Lescuyer
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.313-327
Conference papers hal-01633672v1
Image document

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

 Jorge López , Natalia Kushik , Djamal Zeghlache
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩
Conference papers hal-01678958v1
Image document

Q-routing: from the algorithm to the routing protocol

 Alexis Bitaillou , Benoît Parrein , Guillaume Andrieux
Second IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. ⟨10.1007/978-3-030-45778-5_5⟩
Conference papers hal-02521783v1
Image document

Probabilistic Event Graph to Model Safety and Security for Diagnosis Purposes

 Edwin Bourget , Frédéric Cuppens , Nora Cuppens-Bouhlahia , Samuel Dubus , Simon Foley , et al.
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.38-47, ⟨10.1007/978-3-319-95729-6_3⟩
Conference papers hal-01954422v1
Image document

Privacy-Preserving Multiple Keyword Search on Outsourced Data in the Clouds

 Tarik Moataz , Benjamin Justus , Indrakshi Ray , Nora Cuppens-Bouhlahia , Frédéric Cuppens , et al.
DBSec 2014 : the 28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy, Jul 2014, Vienne, Austria. pp.66-81, ⟨10.1007/978-3-662-43936-4_5⟩
Conference papers hal-01159841v1
Image document

Privacy in digital identity systems: models, assessment and user adoption

 Armen Khatchatourov , Maryline Laurent , Claire Levallois-Barth
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.273-290, ⟨10.1007/978-3-319-22479-4_21⟩
Conference papers hal-01283997v1
Image document

Prediction-Based Intrusion Detection System for In-Vehicle Networks Using Supervised Learning and Outlier-Detection

 Moulay Abdelaziz Elaabid , Khaled Karray , Jean-Luc Danger , Sylvain Guilley
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.109-128, ⟨10.1007/978-3-030-20074-9_9⟩
Conference papers hal-02294610v1
Image document

Parametric updates in parametric timed automata

 Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers hal-02153238v1
Image document

Parametric Statistical Model Checking of UAV Flight Plan

 Ran Bao , Christian Attiogbe , Benoit Delahaye , Paulin Fournier , Didier Lime
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Conference papers hal-02313737v1
Image document

Orthogonal Direct Sum Masking

 Julien Bringer , Claude Carlet , Hervé Chabanne , Sylvain Guilley , Houssem Maghrebi
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.40-56, ⟨10.1007/978-3-662-43826-8_4⟩
Conference papers hal-01400919v1
Image document

One Fitts’ Law, Two Metrics

 Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers hal-01717202v1
Image document

On traffic domination in communication networks

 Walid Ben-Ameur , Pablo Pavón Mariño , Michal Pioro
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienne, Austria. pp.191-202, ⟨10.1007/978-3-642-25575-5_16⟩
Conference papers hal-01301879v1
Image document

On the problem of revenue sharing in multi-domain federations

 Isabel Amigo , Pablo Belzarena , Sandrine Vaton
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.252-264, ⟨10.1007/978-3-642-30054-7_20⟩
Conference papers hal-00725646v1
Page :