Filter your results
- 46
- 1
- 45
- 1
- 1
- 47
- 6
- 6
- 4
- 4
- 4
- 2
- 6
- 4
- 3
- 4
- 5
- 2
- 3
- 47
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
|
|
sorted by
|
|
Logics for Security and Privacy26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.1-7, ⟨10.1007/978-3-642-31540-4_1⟩
Conference papers
hal-01534776v1
|
||
|
Developing Innovative Live Video-to-Video Communications for Smarter European Cities8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.279-289, ⟨10.1007/978-3-642-33412-2_29⟩
Conference papers
hal-01523054v1
|
||
|
The Hubs: Design Insights for Walking Meeting Technology18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.610-629, ⟨10.1007/978-3-030-85610-6_35⟩
Conference papers
hal-04215504v1
|
||
|
ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.513-527, ⟨10.1007/978-3-319-18467-8_34⟩
Conference papers
hal-01345142v1
|
||
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers
inria-00593654v2
|
||
|
The Fréchet/Manhattan Distance and the Trajectory Anonymisation Problem30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.19-34, ⟨10.1007/978-3-319-41483-6_2⟩
Conference papers
hal-01633679v1
|
||
|
Modeling the German Legal Latitude Principles5th International Conference on Electronic Participation (ePart), Sep 2013, Koblenz, Germany. pp.49-56, ⟨10.1007/978-3-642-40346-0_5⟩
Conference papers
hal-01491259v1
|
||
|
Validation and Verification in Domain-Specific Modeling Method Engineering14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.119-133, ⟨10.1007/978-3-030-91279-6_9⟩
Conference papers
hal-04323856v1
|
||
|
On Domain Modelling and Requisite Variety13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.186-196, ⟨10.1007/978-3-030-63479-7_13⟩
Conference papers
hal-03434642v1
|
||
|
On Robustness of Trust Systems8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.44-60, ⟨10.1007/978-3-662-43813-8_4⟩
Conference papers
hal-01381678v1
|
||
|
Capturing Design Rationales in Enterprise Architecture: A Case Study7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.133-147, ⟨10.1007/978-3-662-45501-2_10⟩
Conference papers
hal-01282061v1
|
||
|
A Socio-technical Understanding of TLS Certificate Validation7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.281-288, ⟨10.1007/978-3-642-38323-6_23⟩
Conference papers
hal-01468204v1
|
||
|
Workshop on: Exploring the Challenges of Ethics, Privacy and Trust in Serious Gaming11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.584-585, ⟨10.1007/978-3-642-33542-6_77⟩
Conference papers
hal-01556150v1
|
||
|
Raya: A Tangible Exercise Buddy Reminding Oneself of the Commitment to Exercise18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.471-475, ⟨10.1007/978-3-030-85607-6_60⟩
Conference papers
hal-04291185v1
|
||
|
CPMap: Design of Click-Points Map-Based Graphical Password Authentication33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.18-32, ⟨10.1007/978-3-319-99828-2_2⟩
Conference papers
hal-02023732v1
|
||
|
A Logic of Privacy24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.17-32, ⟨10.1007/978-3-642-13739-6_2⟩
Conference papers
hal-01056671v1
|
||
|
FSquaDRA: Fast Detection of Repackaged Applications28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.130-145, ⟨10.1007/978-3-662-43936-4_9⟩
Conference papers
hal-01285035v1
|
||
|
Strategic Noninterference30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.67-81, ⟨10.1007/978-3-319-18467-8_5⟩
Conference papers
hal-01345096v1
|
||
|
Mining NetFlow Records for Critical Network Activities4th International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2010, Zurich, Switzerland. pp.135-146, ⟨10.1007/978-3-642-13986-4_20⟩
Conference papers
hal-01056635v1
|
||
|
Security and Performance Implications of BGP Rerouting-Resistant Guard Selection Algorithms for Tor35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.219-233, ⟨10.1007/978-3-030-58201-2_15⟩
Conference papers
hal-03440868v1
|
||
|
Detection of Fluid Level in Bores for Batch Size One Assembly Automation Using Convolutional Neural NetworkIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.86-93, ⟨10.1007/978-3-030-85906-0_10⟩
Conference papers
hal-04022155v1
|
||
|
Mind the Gap Gender and Computer Science Conferences13th IFIP International Conference on Human Choice and Computers (HCC13), Sep 2018, Poznan, Poland. pp.232-249, ⟨10.1007/978-3-319-99605-9_17⟩
Conference papers
hal-02001958v1
|
||
|
Trust Management XSpringer, AICT-473, 2016, Trust Management X, 978-3-319-41353-2. ⟨10.1007/978-3-319-41354-9⟩
Books
hal-01438367v1
|
||
|
An Offline Dictionary Attack Against zkPAKE Protocol34th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2019, Lisbon, Portugal. pp.81-90, ⟨10.1007/978-3-030-22312-0_6⟩
Conference papers
hal-03744290v1
|
||
|
Towards Extending the Validation Possibilities of ADOxx with Alloy13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.138-152, ⟨10.1007/978-3-030-63479-7_10⟩
Conference papers
hal-03434656v1
|
||
|
Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study9th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2016, Skövde, Sweden. pp.326-334, ⟨10.1007/978-3-319-48393-1_24⟩
Conference papers
hal-01653513v1
|
||
|
50 Ways to Break RFID Privacy6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. pp.192-205, ⟨10.1007/978-3-642-20769-3_16⟩
Conference papers
hal-01559457v1
|
||
|
On Beta Models with Trust Chains7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.49-65, ⟨10.1007/978-3-642-38323-6_4⟩
Conference papers
hal-01468207v1
|
||
|
Building Lifecycle Management System for Enhanced Closed Loop Collaboration13th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2016, Columbia, SC, United States. pp.423-432, ⟨10.1007/978-3-319-54660-5_38⟩
Conference papers
hal-01699680v1
|
||
|
The Impact of IPv6 on Video-to-Video and Mobile Video Communications8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.322-331, ⟨10.1007/978-3-642-33412-2_33⟩
Conference papers
hal-01523038v1
|
- 1
- 2