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

Filter your results

73 results
Page :
sorted by
Image document

Heap-Dependent Expressions in Separation Logic

 Jan Smans , Bart Jacobs , Frank Piessens
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.170-185, ⟨10.1007/978-3-642-13464-7_14⟩
Conference papers hal-01055155v1
Image document

Efficient and Effective Buffer Overflow Protection on ARM Processors

 Raoul Strackx , Yves Younan , Pieter Philippaerts , Frank Piessens
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.1-16, ⟨10.1007/978-3-642-12368-9_1⟩
Conference papers hal-01056081v1
Image document

PriMan : A Privacy-Preserving Identity Framework

 Kristof Verslype , Pieter Verhaeghe , Jorn Lapon , Vincent Naessens , Bart Decker
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.327-334, ⟨10.1007/978-3-642-13739-6_24⟩
Conference papers hal-01056676v1
Image document

Dynamic Composition of Cross-Organizational Features in Distributed Software Systems

 Stefan Walraven , Bert Lagaisse , Eddy Truyen , Wouter Joosen
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.183-197, ⟨10.1007/978-3-642-13645-0_14⟩
Conference papers hal-01061086v1
Image document

PA Meets IS Research: Analysing Failure of Intergovernmental Information Systems via IS Adoption and Success Models

 Lies Van Cauter , Monique Snoeck , Joep Crompvoets
13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.72-83, ⟨10.1007/978-3-662-44426-9_6⟩
Conference papers hal-01401726v1
Image document

Secure Storage on Android with Context-Aware Access Control

 Faysal Boukayoua , Jorn Lapon , Bart De Decker , Vincent Naessens
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.46-59, ⟨10.1007/978-3-662-44885-4_4⟩
Conference papers hal-01404184v1
Image document

A Study on Advanced Persistent Threats

 Ping Chen , Lieven Desmet , Christophe Huygens
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.63-72, ⟨10.1007/978-3-662-44885-4_5⟩
Conference papers hal-01404186v1

Communications and Multimedia Security

 Bart De Decker , André Zúquete
Springer, LNCS-8735, 2014, Lecture Notes in Computer Science, 978-3-662-44884-7. ⟨10.1007/978-3-662-44885-4⟩
Books hal-01404210v1
Image document

Removing the Blinkers: What a Process View Learns About G2G Information Systems in Flanders

 Lies Van Cauter , Monique Snoeck , Joep Crompvoets
14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.209-221, ⟨10.1007/978-3-319-22479-4_16⟩
Conference papers hal-01412272v1
Image document

Learning HCI and InfoVis in the Open

 Erik Duval , Gonzalo Parra , Jose Luis Santos , Sam Agten , Sven Charleer , et al.
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.8-16, ⟨10.1007/978-3-642-54894-9_2⟩
Conference papers hal-01414648v1
Image document

Secure Resource Sharing for Embedded Protected Module Architectures

 Jo Van Bulck , Job Noorman , Jan Tobias Mühlberg , Frank Piessens
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.71-87, ⟨10.1007/978-3-319-24018-3_5⟩
Conference papers hal-01442554v1
Image document

Removing the Blinkers: What a Process View Learns About G2G Information Systems in Flanders (Part 2)

 Lies Van Cauter , Monique Snoeck , Joep Crompvoets
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.386-397, ⟨10.1007/978-3-319-25013-7_31⟩
Conference papers hal-01448056v1
Image document

Commercial Home Assistance (eHealth) Services

 Milica Milutinovic , Koen Decroix , Vincent Naessens , Bart De Decker
International Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.28-42, ⟨10.1007/978-3-642-27585-2_3⟩
Conference papers hal-01481504v1
Image document

Interactive Interaction Constraints

 José Proença , Dave Clarke
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.211-225, ⟨10.1007/978-3-642-38493-6_15⟩
Conference papers hal-01486028v1
Image document

Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice

 Fatih Gey , Stefan Walraven , Dimitri Van Landuyt , Wouter Joosen
12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.113-127, ⟨10.1007/978-3-642-39614-4_8⟩
Conference papers hal-01492780v1
Image document

Client-Side Biometric Verification Based on Trusted Computing

 Jan Vossaert , Jorn Lapon , Bart De Decker , Vincent Naessens
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.34-49, ⟨10.1007/978-3-642-40779-6_3⟩
Conference papers hal-01492832v1
Image document

Dedicated Hardware for Attribute-Based Credential Verification

 Geoffrey Ottoy , Jorn Lapon , Vincent Naessens , Bart Preneel , Lieven De Strycker
14th International Conference on Communications and Multimedia Security (CMS), Sep 2013, Magdeburg,, Germany. pp.50-65, ⟨10.1007/978-3-642-40779-6_4⟩
Conference papers hal-01492833v1
Image document

Designing with Dementia: Guidelines for Participatory Design together with Persons with Dementia

 Niels Hendriks , Frederik Truyen , Erik Duval
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.649-666, ⟨10.1007/978-3-642-40483-2_46⟩
Conference papers hal-01497469v1
Image document

The ‘Relay Ideation’ Technique: Moving from Problem Understanding to Problem Solving in the Design Process

 Karin Slegers , Pieter Duysburgh , An Jacobs
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.651-658, ⟨10.1007/978-3-642-40498-6_57⟩
Conference papers hal-01510503v1

Participatory Design for Persons with Cognitive or Sensory Impairments

 Karin Slegers , Pieter Duysburgh , Niels Hendriks , Helma van Rijn
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.781
Conference papers hal-01513885v1
Image document

FAMoS: A Flexible Active Monitoring Service for Wireless Sensor Networks

 Jef Maerien , Pieter Agten , Christophe Huygens , Wouter Joosen
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.104-117, ⟨10.1007/978-3-642-30823-9_9⟩
Conference papers hal-01527640v1
Image document

Flexub: Dynamic Subscriptions for Publish/Subscribe Systems in MANETs

 Engineer Bainomugisha , Koosha Paridel , Jorge Vallejos , Yolande Berbers , Wolfgang De Meuter
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.132-139, ⟨10.1007/978-3-642-30823-9_11⟩
Conference papers hal-01527643v1
Image document

Serene: Self-Reliant Client-Side Protection against Session Fixation

 Philippe De Ryck , Nick Nikiforakis , Lieven Desmet , Frank Piessens , Wouter Joosen
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.59-72, ⟨10.1007/978-3-642-30823-9_5⟩
Conference papers hal-01527644v1
Image document

Noninterference via Symbolic Execution

 Dimiter Milushev , Wim Beck , Dave Clarke
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.152-168, ⟨10.1007/978-3-642-30793-5_10⟩
Conference papers hal-01528732v1
Image document

Secure Multi-Execution through Static Program Transformation

 Gilles Barthe , Juan Manuel Crespo , Dominique Devriese , Frank Piessens , Exequiel Rivas
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.186-202, ⟨10.1007/978-3-642-30793-5_12⟩
Conference papers hal-01528736v1
Image document

Partial Connector Colouring

 Dave Clarke , José Proença
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.59-73, ⟨10.1007/978-3-642-30829-1_5⟩
Conference papers hal-01529589v1
Image document

Subobject Transactional Memory

 Marko Van Dooren , Dave Clarke
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.44-58, ⟨10.1007/978-3-642-30829-1_4⟩
Conference papers hal-01529600v1
Image document

Ontology-Driven Dynamic Discovery and Distributed Coordination of a Robot Swarm

 Niels Bouten , Anna Hristoskova , Femke Ongenae , Jelle Nelis , Filip De Turck
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.2-13, ⟨10.1007/978-3-642-30633-4_2⟩
Conference papers hal-01529786v1
Image document

Recent Developments in Low-Level Software Security

 Pieter Agten , Nick Nikiforakis , Raoul Strackx , Willem De Groef , Frank Piessens
6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.1-16, ⟨10.1007/978-3-642-30955-7_1⟩
Conference papers hal-01534300v1
Image document

ROAC: A Role-Oriented Access Control Model

 Nezar Nassr , Eric Steegmans
6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.113-127, ⟨10.1007/978-3-642-30955-7_11⟩
Conference papers hal-01534310v1
Page :