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

Filter your results

443 results
Deposit type : Fulltext
Page :
sorted by
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

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

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

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

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

(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

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

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

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

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

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

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

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

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

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

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

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 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

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

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

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

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

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

Information-Entropy-Based DNS Tunnel Prediction

 Irvin Homem , Panagiotis Papapetrou , Spyridon Dosis
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.127-140, ⟨10.1007/978-3-319-99277-8_8⟩
Conference papers hal-01988835v1
Image document

Collecting Network Evidence Using Constrained Approximate Search Algorithms

 Ambika Shrestha Chitrakar , Slobodan Petrovic
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.141-160, ⟨10.1007/978-3-319-99277-8_9⟩
Conference papers hal-01988834v1
Image document

A Taxonomy of Cloud Endpoint Forensic Tools

 Anand Kumar Mishra , Emmanuel Pilli , Mahesh Govil
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.243-261, ⟨10.1007/978-3-319-99277-8_14⟩
Conference papers hal-01988833v1
Image document

Enhancing the Security and Forensic Capabilities of Programmable Logic Controllers

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

MPs and Audiences on Social Media During Emergencies: Automatic and Manual Content Analyses of Facebook Posts

 Nili Steinfeld , Azi Lev-On
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.39-50, ⟨10.1007/978-3-319-98578-7_4⟩
Conference papers hal-01985610v1
Image document

Policy Informatics in the Social Media Era: Analyzing Opinions for Policy Making

 Aggeliki Androutsopoulou , Yannis Charalabidis , Euripidis Loukis
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.129-142, ⟨10.1007/978-3-319-98578-7_11⟩
Conference papers hal-01985609v1
Image document

Evaluation of Government Information Systems Effectiveness: The Case of e-Participation Portals in Russia

 Dmitrii Trutnev , Lyudmila Vidiasova
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.26-38, ⟨10.1007/978-3-319-98578-7_3⟩
Conference papers hal-01985608v1
Page :