Search - IFIP Open Digital Library Access content directly

Filter your results

38 results
Structure: Internal structure identifier : 105128
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1
Image document

Attack Trees with Sequential Conjunction

Barbara Kordy , Ravi Jhawar , Sjouke Mauw , Sasa Radomirovic , Roland Trujillo-Rasua
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.339-353, ⟨10.1007/978-3-319-18467-8_23⟩
Conference papers hal-01197256v1
Image document

Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space

Héctor Fernández , Marko Obrovac , Cédric Tedeschi
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers hal-01489457v1
Image document

Quantitative Modal Transition Systems

Kim G. Larsen , Axel Legay
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers hal-01485977v1
Image document

Practical and Privacy-Preserving TEE Migration

Ghada Arfaoui , Jean-François Lalande , Saïd Gharout , Jacques Traoré
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers hal-01183508v1
Image document

User and System Cross-Learning of Gesture Commands on Pen-Based Devices

Peiyu Li , Manuel Bouillon , Eric Anquetil , Grégoire Richard
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.337-355, ⟨10.1007/978-3-642-40480-1_21⟩
Conference papers hal-00881020v2
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

Program Transformation for Non-interference Verification on Programs with Pointers

Mounir Assaf , Julien Signoles , Frédéric Tronel , Eric Totel
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
Conference papers hal-00814671v2