Filter your results
- 13
- 13
- 13
- 1
- 12
- 1
- 13
- 10
- 1
- 1
- 1
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
HyperForce: Hypervisor-enForced Execution of Security-Critical Code27th 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
|
||
|
|
Subobject Transactional Memory14th 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
|
||
|
|
Secure Multi-Execution through Static Program Transformation14th 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
|
||
|
|
Partial Connector Colouring14th 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
|
||
|
|
Privacy-Preserving Mechanisms for Organizing Tasks in a Pervasive eHealth System27th 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
|
||
|
|
Noninterference via Symbolic Execution14th 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
|
||
|
|
RAM: Rapid Alignment Method10th 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
|
||
|
|
Recent Developments in Low-Level Software Security6th 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
|
||
|
|
HINT-KB: The Human Interactome Knowledge Base8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.612-621, ⟨10.1007/978-3-642-33412-2_63⟩
Conference papers
hal-01523049v1
|
||
|
|
FAMoS: A Flexible Active Monitoring Service for Wireless Sensor Networks12th 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
|
||
|
|
Analyzing Value Conflicts for a Work-Friendly ISS Policy Implementation27th 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
|
||
|
|
Serene: Self-Reliant Client-Side Protection against Session Fixation12th 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
|
||
|
|
Ontology-Driven Dynamic Discovery and Distributed Coordination of a Robot Swarm6th 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
|