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

Filter your results

443 results
Deposit type : Fulltext
Page :
sorted by
Image document

Forensic Analysis of Android Steganography Apps

 Wenhao Chen , Yangxiao Wang , Yong Guan , Jennifer Newman , Li Lin , et al.
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.293-312, ⟨10.1007/978-3-319-99277-8_16⟩
Conference papers hal-01988836v1
Image document

Challenges, Opportunities and a Framework for Web Environment Forensics

 Mike Mabey , Adam Doupé , Ziming Zhao , Gail-Joon Ahn
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.11-33, ⟨10.1007/978-3-319-99277-8_2⟩
Conference papers hal-01988837v1
Image document

Traffic Classification and Application Identification in Network Forensics

 Jan Pluskal , Ondrej Lichtner , Ondrej Rysavy
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.161-181, ⟨10.1007/978-3-319-99277-8_10⟩
Conference papers hal-01988838v1
Image document

Recovery of Forensic Artifacts from Deleted Jump Lists

 Bhupendra Singh , Upasna Singh , Pankaj Sharma , Rajender Nath
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.51-65, ⟨10.1007/978-3-319-99277-8_4⟩
Conference papers hal-01988839v1
Image document

Hashing Incomplete and Unordered Network Streams

 Chao Zheng , Xiang Li , Qingyun Liu , Yong Sun , Binxing Fang
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.199-224, ⟨10.1007/978-3-319-99277-8_12⟩
Conference papers hal-01988840v1
Image document

A Layered Graphical Model for Cloud Forensic Mission Attack Impact Analysis

 Changwei Liu , Anoop Singhal , Duminda Wijesekera
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.263-289, ⟨10.1007/978-3-319-99277-8_15⟩
Conference papers hal-01988841v1
Image document

Obtaining Precision-Recall Trade-Offs in Fuzzy Searches of Large Email Corpora

 Kyle Porter , Slobodan Petrovic
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.67-85, ⟨10.1007/978-3-319-99277-8_5⟩
Conference papers hal-01988842v1
Image document

A Network Forensic Scheme Using Correntropy-Variation for Attack Detection

 Nour Moustafa , Jill Slay
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.225-239, ⟨10.1007/978-3-319-99277-8_13⟩
Conference papers hal-01988843v1
Image document

Anti-Forensic Capacity and Detection Rating of Hidden Data in the Ext4 Filesystem

 Thomas Göbel , Harald Baier
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.87-110, ⟨10.1007/978-3-319-99277-8_6⟩
Conference papers hal-01988844v1
Image document

Automated Vulnerability Detection in Embedded Devices

 Danjun Liu , Yong Tang , Baosheng Wang , Wei Xie , Bo Yu
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.313-329, ⟨10.1007/978-3-319-99277-8_17⟩
Conference papers hal-01988845v1
Image document

Enabling Non-Expert Analysis OF Large Volumes OF Intercepted Network Traffic

 Erwin van De Wiel , Mark Scanlon , Nhien-An Le-Khac
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.183-197, ⟨10.1007/978-3-319-99277-8_11⟩
Conference papers hal-01988846v1
Image document

Internet of Things Forensics – Challenges and a Case Study

 Saad Alabdulsalam , Kevin Schaefer , Tahar Kechadi , Nhien-An Le-Khac
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.35-48, ⟨10.1007/978-3-319-99277-8_3⟩
Conference papers hal-01988847v1
Image document

Measuring Evidential Weight in Digital Forensic Investigations

 Richard Overill , Kam-Pui Chow
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.3-10, ⟨10.1007/978-3-319-99277-8_1⟩
Conference papers hal-01988848v1
Image document

Detecting Data Leakage from Hard Copy Documents

 Jijnasa Nayak , Shweta Singh , Saheb Chhabra , Gaurav Gupta , Monika Gupta , et al.
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.111-124, ⟨10.1007/978-3-319-99277-8_7⟩
Conference papers hal-01988849v1
Image document

A Forensic Logging System for Siemens Programmable Logic Controllers

 Ken Yau , Kam-Pui Chow , Siu-Ming Yiu
14th 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
Image document

Relating Structure and Power: Comonadic Semantics for Computational Resources

 Samson Abramsky , Nihil Shah
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.1-5, ⟨10.1007/978-3-030-00389-0_1⟩
Conference papers hal-02044639v1
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

 Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

 Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1
Image document

Coalgebraic Logics & Duality

 Clemens Kupke
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.6-12, ⟨10.1007/978-3-030-00389-0_2⟩
Conference papers hal-02044643v1
Image document

Steps and Traces

 Bart Jacobs , Paul Levy , Jurriaan Rot
14th 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
Image document

Undecidability of Equality for Codata Types

 Ulrich Berger , Anton Setzer
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.34-55, ⟨10.1007/978-3-030-00389-0_4⟩
Conference papers hal-02044645v1
Image document

Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)

 Dusko Pavlovic , Muzamil Yahia
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.167-189, ⟨10.1007/978-3-030-00389-0_10⟩
Conference papers hal-02044646v1
Image document

On Algebras with Effectful Iteration

 Stefan Milius , Jiří Adámek , Henning Urbat
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩
Conference papers hal-02044647v1
Image document

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

 Natsuki Urabe , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers hal-02044648v1
Image document

Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

 Stefano Berardi , Makoto Tatsuta
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩
Conference papers hal-02044649v1
Image document

Long-Term Values in Markov Decision Processes, (Co)Algebraically

 Frank Feys , Helle Hvid Hansen , Lawrence S. Moss
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.78-99, ⟨10.1007/978-3-030-00389-0_6⟩
Conference papers hal-02044650v1
Image document

Fibrational Bisimulations and Quantitative Reasoning

 David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1
Image document

Recognition of Handwritten Characters Using Google Fonts and Freeman Chain Codes

 Alexiei Dingli , Mark Bugeja , Dylan Seychell , Simon Mercieca
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.65-78, ⟨10.1007/978-3-319-99740-7_5⟩
Conference papers hal-02060035v1
Image document

Building a Knowledge Based Summarization System for Text Data Mining

 Andrey Timofeyev , Ben Choi
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.118-133, ⟨10.1007/978-3-319-99740-7_8⟩
Conference papers hal-02060037v1
Image document

A Modified Particle Swarm Optimization Algorithm for Community Detection in Complex Networks

 Alireza Abdollahpouri , Shadi Rahimi , Shahnaz Mohammadi Majd , Chiman Salavati
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.11-27, ⟨10.1007/978-3-319-99740-7_2⟩
Conference papers hal-02060038v1
Page :