Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
Structure: Internal structure identifier : 70936
Page :
sorted by
Image document

HyperForce: Hypervisor-enForced Execution of Security-Critical Code

 Francesco Gadaleta , Nick Nikiforakis , Jan Tobias Mühlberg , Wouter Joosen
27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.126-137, ⟨10.1007/978-3-642-30436-1_11⟩
Conference papers hal-01518236v1
Image document

Analysis of Revocation Strategies for Anonymous Idemix Credentials

 Jorn Lapon , Markulf Kohlweiss , Bart De Decker , Vincent Naessens
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.3-17, ⟨10.1007/978-3-642-24712-5_1⟩
Conference papers hal-01596188v1
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

Secure Negotiation for Manual Authentication Protocols

 Milica Milutinovic , Roel Peeters , Bart De Decker
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.214-221, ⟨10.1007/978-3-642-24712-5_20⟩
Conference papers hal-01596202v1
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

Privacy-Preserving Mechanisms for Organizing Tasks in a Pervasive eHealth System

 Milica Milutinovic , Vincent Naessens , Bart De Decker
27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.555-560, ⟨10.1007/978-3-642-30436-1_48⟩
Conference papers hal-01518223v1
Image document

Privacy Preserving Mechanisms for a Pervasive eHealth System

 Milica Milutinovic , Koen Decroix , Vincent Naessens , Bart De Decker
7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.221-231, ⟨10.1007/978-3-642-31668-5_17⟩
Conference papers hal-01517608v1
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

Communications and Multimedia Security

 Bart De Decker , Jorn Lapon , Vincent Naessens , Andreas Uhl
Springer, LNCS-7025, 2011, Lecture Notes in Computer Science, 978-3-642-24711-8. ⟨10.1007/978-3-642-24712-5⟩
Books hal-01596212v1
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

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

Analyzing Value Conflicts for a Work-Friendly ISS Policy Implementation

 Ella Kolkowska , Bart De Decker
27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.339-351, ⟨10.1007/978-3-642-30436-1_28⟩
Conference papers hal-01518254v1
Image document

A Generic Architecture for Integrating Health Monitoring and Advanced Care Provisioning

 Koen Decroix , Milica Milutinovic , Bart De Decker , Vincent Naessens
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.163-170, ⟨10.1007/978-3-642-24712-5_14⟩
Conference papers hal-01596195v1
Image document

Improving Resilience of Behaviometric Based Continuous Authentication with Multiple Accelerometers

 Tim Van Hamme , Davy Preuveneers , Wouter Joosen
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.473-485, ⟨10.1007/978-3-319-61176-1_26⟩
Conference papers hal-01684348v1
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
Page :