Search - IFIP Open Digital Library Access content directly

Filter your results

119 results
Structure: Internal structure identifier : 300656
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

Coordination Models and Languages

 Dave Clarke , Gul Agha
Springer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books hal-01555333v1
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

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

Performance Analysis of Accumulator-based Revocation Mechanisms

 Jorn Lapon , Markulf Kohlweiss , Bart Decker , Vincent Naessens
25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.289-301, ⟨10.1007/978-3-642-15257-3_26⟩
Conference papers hal-01054508v1
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

Communications and Multimedia Security

 Bart De Decker , Ingrid Schaumüller-Bichl
Springer, LNCS-6109, 2010, Lecture Notes in Computer Science, 978-3-642-13240-7. ⟨10.1007/978-3-642-13241-4⟩
Books hal-01555320v1
Image document

A Generic Solution for Agile Run-Time Inspection Middleware

 Wouter De Borger , Bert Lagaisse , Wouter Joosen
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.451-470, ⟨10.1007/978-3-642-25821-3_23⟩
Conference papers hal-01597758v1
Image document

RAM: Rapid Alignment Method

 Ruben A. Muijrers , Jasper Woudenberg , Lejla Batina
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.266-282, ⟨10.1007/978-3-642-27257-8_17⟩
Conference papers hal-01596293v1

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

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1
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

Comparative Feedback in the Street: Exposing Residential Energy Consumption on House Façades

 Andrew Vande Moere , Martin Tomitsch , Monika Hoinkis , Elmar Trefz , Silje Johansen , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.470-488, ⟨10.1007/978-3-642-23774-4_39⟩
Conference papers hal-01590574v1
Image document

Radon Transform-Based Secure Image Hashing

 Dung Q. Nguyen , Li Weng , Bart Preneel
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.186-193, ⟨10.1007/978-3-642-24712-5_17⟩
Conference papers hal-01596211v1
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

A Middleware Layer for Flexible and Cost-Efficient Multi-tenant Applications

 Stefan Walraven , Eddy Truyen , Wouter Joosen
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.370-389, ⟨10.1007/978-3-642-25821-3_19⟩
Conference papers hal-01597768v1
Image document

A Smart Card Based Solution for User-Centric Identity Management

 Jan Vossaert , Pieter Verhaeghe , Bart De Decker , Vincent Naessens
6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. pp.164-177, ⟨10.1007/978-3-642-20769-3_14⟩
Conference papers hal-01559463v1
Image document

A Modular Test Platform for Evaluation of Security Protocols in NFC Applications

 Geoffrey Ottoy , Jeroen Martens , Nick Saeys , Bart Preneel , Lieven De Strycker , et al.
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.171-177, ⟨10.1007/978-3-642-24712-5_15⟩
Conference papers hal-01596204v1
Image document

A Secure Perceptual Hash Algorithm for Image Content Authentication

 Li Weng , Bart Preneel
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.108-121, ⟨10.1007/978-3-642-24712-5_9⟩
Conference papers hal-01596205v1
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

Annotation Inference for Separation Logic Based Verifiers

 Frédéric Vogels , Bart Jacobs , Frank Piessens , Jan Smans
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.319-333, ⟨10.1007/978-3-642-21461-5_21⟩
Conference papers hal-01583323v1
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

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

Privacy-Preserving Scheduling Mechanism for eHealth Systems

 Milica Milutinovic , Vincent Naessens , Bart De Decker
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.198-200, ⟨10.1007/978-3-642-32805-3_18⟩
Conference papers hal-01540885v1
Image document

Designing Privacy-Enhancing Mobile Applications

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

Using a Smartphone to Access Personalized Web Services on a Workstation

 Faysal Boukayoua , Jan Vossaert , Bart De Decker , Vincent Naessens
7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.144-156, ⟨10.1007/978-3-642-31668-5_11⟩
Conference papers hal-01517605v1
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

Communications and Multimedia Security

 David W. Chadwick , Bart De Decker
Springer, LNCS-7394, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-32805-3⟩
Books hal-01540895v1
Page :