Skip to main content
SpringerLink
Log in
Book cover

Secure IT Systems

25th Nordic Conference, NordSec 2020, Virtual Event, November 23–24, 2020, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Mikael Asplund

    1. Linköping University, Linköping, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Simin Nadjm-Tehrani

    1. Linköping University, Linköping, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12556)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: NordSec 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Malware and Attacks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Persistence in Linux-Based IoT Malware

      • Calvin Brierley, Jamie Pont, Budi Arief, David J. Barnes, Julio Hernandez-Castro
      Pages 3-19

    3. Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation

      • Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio Hernandez-Castro
      Pages 20-36Open Access

    4. Using Features of Encrypted Network Traffic to Detect Malware

      • Zeeshan Afzal, Anna Brunstrom, Stefan Lindskog
      Pages 37-53

  3. Formal Analysis

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Machine-Checking the Universal Verifiability of ElectionGuard

      • Thomas Haines, Rajeev Goré, Jack Stodart
      Pages 57-73

    3. Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

      • Farzane Karami, Olaf Owe, Gerardo Schneider
      Pages 74-91

    4. Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme

      • Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
      Pages 92-107

  4. Applied Cryptography

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. (F)unctional Sifting: A Privacy-Preserving Reputation System Through Multi-Input Functional Encryption

      • Alexandros Bakas, Antonis Michalas, Amjad Ullah
      Pages 111-126

    3. TLV-to-MUC Express: Post-quantum MACsec in VXLAN

      • Joo Yeon Cho, Andrew Sergeev
      Pages 127-141

    4. On the Certificate Revocation Problem in the Maritime Sector

      • Guillaume Bour, Karin Bernsmed, Ravishankar Borgaonkar, Per Håkon Meland
      Pages 142-157Open Access

  5. Security Mechanisms and Training

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. HoneyHash: Honeyword Generation Based on Transformed Hashes

      • Canyang Shi, Huiping Sun
      Pages 161-173

    3. Agent-Based File Extraction Using Virtual Machine Introspection

      • Thomas Dangl, Benjamin Taubmann, Hans P. Reiser
      Pages 174-191

    4. Cyber Range Automation Overview with a Case Study of CRATE

      • Tommy Gustafsson, Jonas Almroth
      Pages 192-209Open Access

  6. Applications and Privacy

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Privacy Analysis of COVID-19 Contact Tracing Apps in the EU

      • Samuel Wairimu, Nurul Momen
      Pages 213-228

    3. OnLITE: On-line Label for IoT Transparency Enhancement

      • Alexandr Railean, Delphine Reinhardt
      Pages 229-245
Back to top

Other volumes

  1. Secure IT Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 25th Nordic Conference on Secure IT Systems, NordSec 2020, which was organized by Linköping University, Sweden, and held online during November 23-24, 2020.

The 15 papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: malware and attacks; formal analysis; applied cryptography; security mechanisms and training; and applications and privacy.

Editors and Affiliations

  • Linköping University, Linköping, Sweden

    Mikael Asplund, Simin Nadjm-Tehrani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation