Filter your results
- 71
- 2
- 67
- 4
- 2
- 73
- 12
- 1
- 2
- 7
- 9
- 8
- 4
- 7
- 4
- 7
- 8
- 3
- 8
- 6
- 73
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
|
|
Compositional Random Testing Using Extended Symbolic Transition Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.179-194, ⟨10.1007/978-3-642-24580-0_13⟩
Conference papers
hal-01583918v1
|
||
|
|
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.35-51, ⟨10.1007/978-3-030-64881-7_3⟩
Conference papers
hal-03239819v1
|
||
|
|
Signatures for Privacy, Trust and Accountability in the Cloud: Applications and RequirementsDavid Aspinall; Jan Camenisch; Marit Hansen; Simone Fischer-Hübner; Charles Raab. Privacy and Identity Management. Time for a Revolution? : 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers, AICT-476, Springer International Publishing, pp.79-96, 2016, IFIP Advances in Information and Communication Technology, 978-3-319-41762-2. ⟨10.1007/978-3-319-41763-9_6⟩
Book sections
hal-01619744v1
|
||
|
|
Improving the Efficiency of Elliptic Curve Scalar Multiplication Using Binary Huff Curves1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.155-167
Conference papers
hal-01506564v1
|
||
|
|
Side-Channel Leakage across Borders9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.36-48, ⟨10.1007/978-3-642-12510-2_4⟩
Conference papers
hal-01056100v1
|
||
|
|
Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.45-58, ⟨10.1007/978-3-642-24712-5_4⟩
Conference papers
hal-01596194v1
|
||
|
|
Fine-Grained Access Control in Industrial Internet of Things34th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2019, Lisbon, Portugal. pp.91-104, ⟨10.1007/978-3-030-22312-0_7⟩
Conference papers
hal-03744312v1
|
||
|
|
Evaluating Experiences in Different Virtual Reality Setups15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.115-125, ⟨10.1007/978-3-319-46100-7_10⟩
Conference papers
hal-01640299v1
|
||
|
|
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers
hal-01678972v1
|
||
|
|
Towards More Practical Time-Driven Cache Attacks8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.24-39, ⟨10.1007/978-3-662-43826-8_3⟩
Conference papers
hal-01400918v1
|
||
|
|
The Shortest Path Game: Complexity and Algorithms8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.39-53, ⟨10.1007/978-3-662-44602-7_4⟩
Conference papers
hal-01402026v1
|
||
|
|
Mobile Device Encryption Systems28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.203-216, ⟨10.1007/978-3-642-39218-4_16⟩
Conference papers
hal-01463828v1
|
||
|
|
Implementation and Evaluation of an SCA-Resistant Embedded Processor10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.151-165, ⟨10.1007/978-3-642-27257-8_10⟩
Conference papers
hal-01596304v1
|