Lehrstuhl für Technische Informatik - Rechnernetze

Seminar Topics

List of Topics

• Topic 1: WebAssembly in HPC
• Topic 2: Conflict-free Replicated Data Types (CRDTs)
• Topic 3: Trace-baced Automated reasoning: Comparing ProVerif and Tamarin
• Topic 4: Digital Two-hand control: A survey of fool-proof security mechanisms
• Topic 5: Compilation of Quantum Programs
• Topic 6: Qubit Mapping and Routing
• Topic 7: Graphical languages for quantum computing
• Topic 8: Quantum error correction with topological codes
• Topic 9: Quantum Computer Simulations on GPUs
• Topic 10: Quantum advantage
• Topic 11: Ossification of Internet Protocols
• Topic 12: Fairness of Congestions Control between TCP and QUIC
• Topic 13: Trends in Personal and Body Area Networks
• Topic 14: An Overview of Pervasive Computing: Areas and Communication Protocols
• Topic 15: Measuring Mental Workload in Virtual Reality Training
• Topic 16: The Effectiveness of adaptive Virtual Reality Training
• Topic 17: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
• Topic 18: European Chips Act: RISC-V Vector Architectures
• Topic 19: Homomorphic Encryption on Quantum Computers
• Topic 20: Multivariate group signature schemes

Topic 1: WebAssembly in HPC

• Exploring the Use of WebAssembly in HPC
• Characterization and implication of edge WebAssembly runtimes

Topic 2: Conflict-free Replicated Data Types (CRDTs)

• Conflict-free Replicated Data Types: An Overview
• Conflict-free Replicated Data Types

Topic 3: Trace-baced Automated reasoning: Comparing ProVerif and Tamarin

• Introduction to ProVerif
• Introduction to Tamarin

Topic 4: Digital Two-hand control: A survey of fool-proof security mechanisms

• Emerging Trends in Usable Security and Privacy
• Inclusive Security by design
• Human-Centred Security: Unfug Informationssicherheits-Sensibilisierung

Topic 5: Compilation of Quantum Programs

• A software methodology for compiling quantum programs
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators

Topic 6: Qubit Mapping and Routing

• An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
• MQT QMAP: Efficient Quantum Circuit Mapping
• On the qubit routing problem

Topic 7: Graphical languages for quantum computing

• ZX-calculus
• ZW-calculus
• ZH-calculus

Topic 8: Quantum error correction with topological codes

• Quantum Error Correction: An Introductory Guide
• Quantum Error Correction for Quantum Memories

Topic 9: Quantum Software Engineering

• Challenges of Quantum Software Engineering
• The Munich Quantum Toolkit

Topic 10: Quantum advantage

• Google's quantum supremacy 2019
• Solving the sampling problem of the Sycamore quantum circuits
• IBM's Kicked Ising

Topic 11: Ossification of Internet Protocols

• A Bottom-Up Investigation of the Transport-Layer Ossification
• De-Ossifying the Internet Transport Layer: A Survey and Future Perspectives
• Using UDP for Internet Transport Evolution

Topic 12: Fairness of Congestions Control between TCP and QUIC

• Congestion control for real-time media over QUIC
• QUIC Loss Detection and Congestion Control
• When machine learning meets congestion control: A survey and comparison
• A survey on TCP-friendly congestion control

Topic 13: Trends in Personal and Body Area Networks

• Wireless Body Area Networks: Applications and Technologies
• Characterizing IOMT/Personal Area Networks Landscape
• A novel scheme to improve lifetime and real-time support for IEEE 802.15.4 based wireless personal area networks

Topic 14: An Overview of Pervasive Computing: Areas and Communication Protocols

• Ubiquitous Computing in Sports and Physical Activity—Recent Trends and Developments
• Cyber-physical systems architectures for industrial internet of things applications in Industry 4.0: A literature review
• Synchronous Transmissions in Low-Power Wireless: A Survey of Communication Protocols and Network Services
• Cyber-Physical Mobile Computing, Communications, and Sensing for Industrial Internet of Things and Industry 4.0 2021

Topic 15: Measuring Mental Workload in Virtual Reality Training

• Development and validation of a simulation workload measure: the simulation task load index (SIM-TLX)
• The stress and workload of virtual reality training: the effects of presence, immersion and flow
• Towards Real-Time Recognition of Users Mental Workload Using Integrated Physiological Sensors Into a VR HMD

Topic 16: The Effectiveness of adaptive Virtual Reality Training

• Measuring the effectiveness of virtual training: A systematic review
• Adaptive virtual reality-based training: a systematic literature review and framework

Topic 17: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU

Nvidia Hopper GPU and Grace CPU Highlights
• First Impressions of the NVIDIA Grace CPU Superchip and NVIDIA Grace Hopper Superchip for Scientific Workloads
• NVIDIA Grace Superchip Early Evaluation for HPC Applications
• NVIDIA Grace Hopper Superchip Architecture Whitepaper
• NVIDIA Hopper H200 GPU Datasheet
• NVIDIA Grace CPU Superchip Whitepaper
• NVIDIA Grace CPU Superchip Datasheet

Topic 18: European Chips Act: RISC-V Vector Architectures

• Vitruvius+
• Short reasons for long vectors in HPC CPUs: a study based on RISC-V
• Efficiently running SpMV on long vector architectures
• Software Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study

Topic 19: Homomorphic Encryption on Quantum Computers

• Exact Homomorphic Encryption
• Classical Homomorphic Encryption for Quantum Circuits
• Experimental quantum homomorphic encryption

Topic 20: Multivariate group signature schemes

• A secure and efficient group signature scheme based on multivariate public key cryptography
• A Multivariate Convertible Group Signature Scheme
• Multivariate Linkable Group Signature Scheme