Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

53 results
Page :
sorted by
Image document

Evaluation of network traffic analysis using approximate matching algorithms

 Thomas Göbel , Frieder Uhlig , Harald Baier
17th IFIP International Conference on Digital Forensics (DigitalForensics), Feb 2021, Virtual, China. pp.89-108, ⟨10.1007/978-3-030-88381-2_5⟩
Conference papers hal-03764372v1
Image document

Comparison of cyber attacks on services in the clearnet and darknet

 York Yannikos , Quang Anh Dang , Martin Steinebach
17th IFIP International Conference on Digital Forensics (DigitalForensics), Feb 2021, Virtual, China. pp.39-61, ⟨10.1007/978-3-030-88381-2_3⟩
Conference papers hal-03764381v1

Formal Techniques for Distributed Objects, Components, and Systems

 Kirstin Peters , Tim A.C. Willemse
Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩
Books hal-03740268v1
Image document

Testing Conformance in Multi-component Enterprise Application Management

 Jacopo Soldani , Lars Luthmann , Malte Lochau , Antonio Brogi
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.3-18, ⟨10.1007/978-3-030-44769-4_1⟩
Conference papers hal-03203225v1
Image document

A Novel Approach for Generating Synthetic Datasets for Digital Forensics

 Thomas Göbel , Thomas Schäfer , Julien Hachenberger , Jan Türr , Harald Baier
16th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2020, New Delhi, India. pp.73-93, ⟨10.1007/978-3-030-56223-6_5⟩
Conference papers hal-03657236v1
Image document

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

 Jens Kosiol , Lars Fritsche , Nebras Nassar , Andy Schürr , Gabriele Taentzer
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers hal-02364576v1
Image document

Effects of End-to-end Latency on User Experience and Performance in Immersive Virtual Reality Applications

 Polona Caserman , Michelle Martinussen , Stefan Göbel
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.57-69, ⟨10.1007/978-3-030-34644-7_5⟩
Conference papers hal-03652010v1
Image document

Incentivise Me: Smartphone-Based Mobility Detection for Pervasive Games

 Thomas Tregel , Felix Leber , Stefan Göbel
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.470-476, ⟨10.1007/978-3-030-34644-7_48⟩
Conference papers hal-03652020v1
Image document

Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations

 Oksana Kulyk , Jan Henzel , Karen Renaud , Melanie Volkamer
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.519-538, ⟨10.1007/978-3-030-29381-9_32⟩
Conference papers hal-02544556v1
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

PDPuzzleTable: A Leap Motion Exergame for Dual-Tasking Rehabilitation in Parkinson’s Disease. Design and Study Protocol

 Augusto Garcia-Agundez , Mareike Goosses , Robert Konrad , Manuel Stork , Hagen Becker , et al.
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.402-406, ⟨10.1007/978-3-030-34644-7_35⟩
Conference papers hal-03652033v1

Entertainment Computing and Serious Games

 Erik Spek , Stefan Göbel , Ellen Yi-Luen Do , Esteban Clua , Jannicke Baalsrud Hauge
Springer International Publishing, LNCS-11863, 2019, Lecture Notes in Computer Science, 978-3-030-34643-0. ⟨10.1007/978-3-030-34644-7⟩
Books hal-03652053v1
Image document

Modeling Non-deterministic C Code with Active Objects

 Nathan Wasser , Asmae Heydari Tabar , Reiner Hahnle
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩
Conference papers hal-03769132v1
Image document

A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts

 Bruno Rodrigues , Thomas Bocek , Andri Lareida , David Hausheer , Sina Rafati , et al.
11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.16-29, ⟨10.1007/978-3-319-60774-0_2⟩
Conference papers hal-01806063v1
Image document

HardIDX: Practical and Secure Index with SGX

 Ferdinand Brasser , Florian Hahn , Florian Kerschbaum , Ahmad-Reza Sadeghi , Benny Fuhry , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.386-408, ⟨10.1007/978-3-319-61176-1_22⟩
Conference papers hal-01684366v1
Image document

A Framework for Publish/Subscribe Protocol Transitions in Mobile Crowds

 Björn Richerzhagen , Alexander Wagener , Nils Richerzhagen , Rhaban Hark , Ralf Steinmetz
10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.16-29, ⟨10.1007/978-3-319-39814-3_2⟩
Conference papers hal-01632731v1
Image document

Securing Transactions with the eIDAS Protocols

 Frank Morgner , Paul Bastian , Marc Fischlin
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.3-18, ⟨10.1007/978-3-319-45931-8_1⟩
Conference papers hal-01639614v1
Image document

Evaluation of Dispatcher Requirements on Automated Customer Feedback in Public Transport

 Cindy Mayas , Stephan Hörold , Anselmo Stelzer , Frank Englert , Heidi Krömker
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.537-541, ⟨10.1007/978-3-319-22723-8_56⟩
Conference papers hal-01610819v1
Image document

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

 Luca Padovani , Tzu-Chun Chen , Andrea Tosatto
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.83-98, ⟨10.1007/978-3-319-19282-6_6⟩
Conference papers hal-01774941v1
Image document

How Current Android Malware Seeks to Evade Automated Code Analysis

 Siegfried Rasthofer , Irfan Asrar , Stephan Huber , Eric Bodden
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Crete, Greece. pp.187-202, ⟨10.1007/978-3-319-24018-3_12⟩
Conference papers hal-01442542v1
Image document

In-Situ Occlusion Resolution for Hybrid Tabletop Environments

 Jan Riemann , Mohammadreza Khalilbeigi , Max Mühlhäuser
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.278-295, ⟨10.1007/978-3-319-22698-9_18⟩
Conference papers hal-01609416v1
Image document

Weaving Aspects and Business Processes through Model Transformation

 Heiko Witteborg , Anis Charfi , Daniel Colomer Collell , Mira Mezini
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.47-61, ⟨10.1007/978-3-662-44879-3_4⟩
Conference papers hal-01318272v1
Image document

Towards Decentralized, Energy- and Privacy-Aware Device-to-Device Content Delivery

 Leonhard Nobach , David Hausheer
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.128-132, ⟨10.1007/978-3-662-43862-6_16⟩
Conference papers hal-01401299v1
Image document

Using Approximate Matching to Reduce the Volume of Digital Data

 Frank Breitinger , Christian Winter , York Yannikos , Tobias Fink , Michael Seefried
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.149-163, ⟨10.1007/978-3-662-44952-3_11⟩
Conference papers hal-01393769v1
Image document

Adaptive User-Centered Security

 Sven Wohlgemuth
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.94-109, ⟨10.1007/978-3-319-10975-6_7⟩
Conference papers hal-01403988v1
Image document

Similarity Hashing Based on Levenshtein Distances

 Frank Breitinger , Georg Ziroff , Steffen Lange , Harald Baier
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.133-147, ⟨10.1007/978-3-662-44952-3_10⟩
Conference papers hal-01393767v1
Image document

Usable Privacy for Mobile Sensing Applications

 Delphine Christin , Franziska Engelmann , Matthias Hollick
8th IFIP International Workshop on Information Security Theory and Practice (WISTP), Jun 2014, Heraklion, Crete, Greece. pp.92-107, ⟨10.1007/978-3-662-43826-8_7⟩
Conference papers hal-01400922v1
Image document

Towards Analysis of Sophisticated Attacks, with Conditional Probability, Genetic Algorithm and a Crime Function

 Wolfgang Boehmer
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.250-256, ⟨10.1007/978-3-319-10975-6_19⟩
Conference papers hal-01404000v1
Image document

Code-Based Identification and Signature Schemes in Software

 Sidi Mohamed El Yousfi Alaoui , Pierre-Louis Cayrel , Rachid El Bansarkhani , Gerhard Hoffmann
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.122-136
Conference papers hal-00864936v1
Image document

Modeling the German Legal Latitude Principles

 Stephan Neumann , Anna Kahlert , Maria Henning , Philipp Richter , Hugo Jonker , et al.
5th 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
Page :