Filter your results
- 443
- 18
- 429
- 18
- 14
- 461
- 59
- 1
- 1
- 55
- 406
- 461
- 8
- 5
- 4
- 4
- 3
- 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
- 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
- 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
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
A Modest Security Analysis of Cyber-Physical Systems: A Case Study38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers
hal-01824813v1
|
||
|
How Can Technology Support Education in War – WarAware Education Platform for Syria17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.436-448, ⟨10.1007/978-3-030-02131-3_39⟩
Conference papers
hal-02274168v1
|
||
|
WebBFT: Byzantine Fault Tolerance for Resilient Interactive Web Applications18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.1-17, ⟨10.1007/978-3-319-93767-0_1⟩
Conference papers
hal-01824640v1
|
||
|
3D Folded Loop UAV Antenna DesignInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.269-281, ⟨10.1007/978-3-030-02931-9_22⟩
Conference papers
hal-02269725v1
|
||
|
Bridging the Knowledge Divide in GCC Countries: The Role of Digital Technologies17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.164-180, ⟨10.1007/978-3-030-02131-3_16⟩
Conference papers
hal-02274197v1
|
||
|
Counter Machines and Distributed Automata24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Conference papers
hal-01824873v1
|
||
|
Mimir+: An Optimized Framework of MapReduce on Heterogeneous High-Performance Computing System15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.164-168, ⟨10.1007/978-3-030-05677-3_18⟩
Conference papers
hal-02279555v1
|
||
|
Engagement in Interactive Digital Storytelling: Sampling Without Spoiling17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.248-253, ⟨10.1007/978-3-319-99426-0_25⟩
Conference papers
hal-02128597v1
|
||
|
Smart City and Green Development17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.191-204, ⟨10.1007/978-3-030-02131-3_18⟩
Conference papers
hal-02274170v1
|
||
|
Implementing a System Architecture for Data and Multimedia Transmission in a Multi-UAV System16th International Conference on Wired/Wireless Internet Communications (IFIP WWIC 2018), Jun 2018, Boston, MA, United States. pp.246-257, ⟨10.1007/978-3-030-02931-9_20⟩
Conference papers
hal-02269736v1
|
||
|
Explainable AI: the new 42?2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers
hal-01934928v1
|
||
|
Applied Choreographies38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers
hal-01824812v1
|
||
|
Steps and Traces14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers
hal-02044644v1
|
||
|
Digital Therapies17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.266-273, ⟨10.1007/978-3-319-99426-0_28⟩
Conference papers
hal-02128624v1
|
||
|
Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.330-348, ⟨10.1007/978-3-319-95729-6_21⟩
Conference papers
hal-01954421v1
|
||
|
FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.219-231, ⟨10.1007/978-3-319-95729-6_14⟩
Conference papers
hal-01954401v1
|
||
|
Helping Teams to Help Themselves: An Industrial Case Study on Interdependencies During Sprints7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.31-50, ⟨10.1007/978-3-030-05909-5_3⟩
Conference papers
hal-02270699v1
|
||
|
RTT-Based Congestion Control for the Internet of ThingsInternational Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.3-15, ⟨10.1007/978-3-030-02931-9_1⟩
Conference papers
hal-02269740v1
|
||
|
Image Pixelization with Differential Privacy32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.148-162, ⟨10.1007/978-3-319-95729-6_10⟩
Conference papers
hal-01954420v1
|
||
|
Elite Capture and Co-optation in Participatory Budgeting in Mexico City10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.89-99, ⟨10.1007/978-3-319-98578-7_8⟩
Conference papers
hal-01985598v1
|
||
|
A Family of Lightweight Twisted Edwards Curves for the Internet of Things12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.193-206, ⟨10.1007/978-3-030-20074-9_14⟩
Conference papers
hal-02294608v1
|
||
|
Physiological Affect and Performance in a Collaborative Serious Game Between Humans and an Autonomous Robot17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.127-138, ⟨10.1007/978-3-319-99426-0_11⟩
Conference papers
hal-02128637v1
|
||
|
Enhancing the Security and Forensic Capabilities of Programmable Logic Controllers14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.351-367, ⟨10.1007/978-3-319-99277-8_19⟩
Conference papers
hal-01988832v1
|
||
|
A Forensic Logging System for Siemens Programmable Logic Controllers14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.331-349, ⟨10.1007/978-3-319-99277-8_18⟩
Conference papers
hal-01988850v1
|
||
|
Advances in Digital Forensics XIVSpringer International Publishing, AICT-532, 2018, IFIP Advances in Information and Communication Technology, 978-3-319-99276-1. ⟨10.1007/978-3-319-99277-8⟩
Books
hal-01988831v1
|
||
|
Live Enrolment for Identity Documents in Europe17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.29-39, ⟨10.1007/978-3-319-98690-6_3⟩
Conference papers
hal-01961517v1
|
||
|
Relating Process Languages for Security and Communication Correctness (Extended Abstract)38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers
hal-01824820v1
|
||
|
The Use of Internet and Mobile Banking in the Czech Republic17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.376-386, ⟨10.1007/978-3-030-02131-3_34⟩
Conference papers
hal-02274158v1
|
||
|
Live Probabilistic Editing for Virtual Cinematography17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.40-51, ⟨10.1007/978-3-319-99426-0_4⟩
Conference papers
hal-02128590v1
|
||
|
A Generic Lightweight and Scalable Access Control Framework for IoT Gateways12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.207-222, ⟨10.1007/978-3-030-20074-9_15⟩
Conference papers
hal-02294606v1
|