Offered Theses

• Diese Seite als PDF öffnen.

A Jupyter Notebook for Line Coding in Access Networks (LB)

Beschreibung

For the access network case, the spectrum of the transmit signal has to be adapted to the channel properties. This can either be achieved by choosing suitable transmit pulse shapes or by encoding the (redundancy free) source symbols [1].

The students task is to implement a demonstration of two line coding schemes in Python [2] (Jupyter Notebook) and visualize the results. Additionally, the student also has to arrange code and surrounding text, such that the content becomes self-explanatory.

[1] Skript "Physical Layer Methods“

[2] "Python in 30 minutes" (https://www.programiz.com/python-programming/tutorial)

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

A Jupyter Notebook for Equalization Methods (LB)

Beschreibung

Depending on the channel properties, the receive signal in a communication system can be severely distorted, causing inter-symbol interference. To mitigate these interferences, several approaches for equalization can be taken [1].

The students task is to implement a demonstration of several equalization schemes in Python [2] (Jupyter Notebook) and visualize the results. Additionally, the student also has to arrange code and surrounding text, such that the content becomes self-explanatory.

[1] Skript "Physical Layer Methods“

[2] "Python in 30 minutes" (https://www.programiz.com/python-programming/tutorial)

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Error Correction for DNA-Based Data Storage

Beschreibung

DNA-based data storage is a novel approach for long term digital data archiving.

Due to the unique nature of writing and reading DNA, the channel associated with these processes is still realtively poor understood and varies over different  synthesis (writing) and sequencing (reading) technologies. The task of the student is to analyze different sequencing methods and the associated errors and formulate associated channel models. Based on these models, error-correcting schemes shall be evaluated.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Automotive ECU - Crypto u. Security

Stichworte:
externe Masterarbeit, automotive, crypto and security

Beschreibung

Liebe Studierende!

Es besteht die Möglichkeit Ihre Masterarbeit im Ingenieursbüro Filgis zu absolvieren. Ich würde diese Arbeit von Universitätsseite her betreuen. Falls Sie sich für das Thema interessieren, melden Sie sich bitte bei mir und/oder Herrn Filgis per Mail.

Die Themenbeschreibung finden Sie in der zum Download bereitgestellten pdf-Datei. Alternativ finden Sie den Text auch unterhalb nochmal.

Mit freundlichen Grüßen

Georg Maringer

Gegründet im April 2021 ist das Ingenieurbüro Filgis ein junges Unternehmen. Der Fokus liegt auf embedded Entwicklung aller Art. Sei es Hardware, sei es Software, sei es FPGA. Der Anspruch ist
Kunden optimal zu beraten und mit außergewöhnlicher Geschwindigkeit und Qualität zum Erfolg
zu verhelfen.

Sie sind Student und haben einiges an Erfahrung im embedded Bereich vorzuweisen? Sie haben Lust an einer Herausforderung im Automotive Crypto / Security Bereich zu arbeiten? Ihr Auftreten
ist professionell und sie arbeiten auch unter Druck selbstständig und effizient?

Sie wissen eine überdurchschnittliche Vergütung zu schätzen?
Es geht um einen embedded Rechner innerhalb der Produktionslinie für automotive Steuergeräte. Die Steuergeräte kommunizieren zu diesem Zeitpunkt nur noch verschlüsselt über CAN, LIN (u. eventuell Ethernet). Die nötigen Schlüssel kommen direkt vom OEM. Denkbar ist ein Master-Schlüssel der bei aktiver Verbindung zum OEM Gültigkeit hat, oder auch z.B. 1000 Einmal-Schlüssel die per USB-Stick übertragen werden. Ziele dieser Arbeit sollen sein:

? Herausarbeiten der Anforderungen bzgl. Crypto / Security exemplarisch für eine
Produktionslinie durch
? Internetrecherche zum Stand der Industrie (Vector, AutoSAR…)
? Gespräche mit allen Stakeholdern dieser Linie
? Umsetzen einer technischen Lösung
? Planung der Architektur für embedded (C, POSIX)
? Implementierung und Test
? Performance Review

Ich freue mich auf Ihre überzeugende Bewerbung!
Simon Filgis

simon@ingenieurbuero-filgis.de

+49 160 751 403 1

Kontakt

Betreuer:

• Diese Seite als PDF öffnen.

Quasi-Linear Multiplexing in NFDM Systems with Purely Discrete Nonlinear Spectrum

Beschreibung

As the achievable rates of modern transmission systems seem to saturate, while the bandwidth demand is steadily growing, it is necessary to consider alternative approaches for fiber optic data transmission. In recent years, many publications have explored possibilities to overcome the phenomenon, commonly known as 'capacity crunch', by using the nonlinear Fourier transform (NFT).

In a special case of nonlinear frequency division multiplexing (NFDM) only discrete eigenvalues of the Zakharov-Shabat-system are used for multiplexing data streams in the nonlinear Fourier domain. While, at first, this seems appealing, because the resulting signal pulses are N-soliton breathers and thus are not affected by chromatic dispersion in the same way as e.g. wave division multiplexing (WDM) signals, the time-bandwidth product of such pulses is rather high when compared to pulses used in WDM systems. This results in a low modulation efficiency for such discrete nonlinear spectrum NFDM systems.

One possible option to increase the spectral efficiency of the previously mentioned NFDM systems is to extend the modulated linear frequency range by linearly multiplexing such NFDM signals in a WDM fashion. Since the transformations used in NFDM systems are quite involved, it is not clear what the analog of this in nonlinear domain would be.

The task of the student would be to first get familiar with the necessary preliminaries regarding NFDM systems. Subsequently, the simulation of the system described above has to be implemented (certain parts of the system will be made available to the student by the supervisor) and evaluated in terms of some performance metrics.

While specific literature will be recommended to the student over the course of the thesis, some basic literature discussing the 'capacity peak' of WDM modulated optical fiber systems [1] and the basics of the nonlinear Fourier transform (NFT) [2-4], which is a central concept in NFDM systems, are given below. Note that, since NFDM is a very broad topic it is not necessary to fully understand every notion in [1-4]. Nonetheless, these publications give the reader a solid foundation for the further study of this topic.

[1] Essiambre, René-Jean, et al. "Capacity limits of optical fiber networks."

[2] Yousefi, Mansoor I., and Frank R. Kschischang. "Information transmission using the nonlinear Fourier transform, Part I: Mathematical tools."

[3] Yousefi, Mansoor I., and Frank R. Kschischang. "Information transmission using the nonlinear Fourier transform, Part II: Numerical methods."

[4] Yousefi, Mansoor I., and Frank R. Kschischang. "Information transmission using the nonlinear Fourier transform, Part III: Spectrum modulation."

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with algebraic-geometry (Goppa) codes

Stichworte:
goppa algebraic geometry codes identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing identification with Goppa codes, aiming at the fastest implementation, and testing their performance in comparison to other current implementations. The reference articles for this implementation are:

• https://ieeexplore.ieee.org/document/1056879
• https://ieeexplore.ieee.org/document/1057344

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with universal hash functions

Stichworte:
universal hash identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing the identification codes described in

• https://ieeexplore.ieee.org/abstract/document/782144

aiming at the fastest implementation, and testing their performance in comparison to other current implementations.

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with Polar codes

Stichworte:
polar codes identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing identification with polar codes, aiming at the fastest implementation, and testing their performance in comperison to other current implementations.

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Applications of Identification Codes in V2X Communications

Beschreibung

As part of the NewCom Project, new communication paradigms are investigated from an experimental perspective in order to construct proof-of-concept implementations that demonstrate the theoretical results obtained for Post-Shannon Communication schemes. In particular, this MSc thesis focuses on Identification Codes and their integration into a simulation environment where vehicular networks are modelled.

For this, the master student will first conduct a review of the state-of-the-art use cases for identification in the scientific literature and in form of patents, with an emphasis on V2X communications. By using an open-source V2X implementation based on LDR’s Simulation of Urban Mobility (SUMO) framework integrated with ns-3’s implementation of the ITS-G5 and LTE standards and conducting simulation in specific scenarios, the student will gain a first impression of the performance of the system using traditional transmission schemes. The integration of existing implementation of identification codes culminates this thesis, where KPIs will be defined in order to compare the advantages of using identification instead of transmission in the context of V2X communications.

Voraussetzungen

Kontakt

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Simulation and performance improvement of identification codes

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be speeding up the current implementations based on Reed-Solomon and Reed-Muller codes:

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
This work can accomodate multiple students.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[security] Practical implementation of physical-layer semantic security

Stichworte:
semantic, security, secrecy, programming, implementation

Beschreibung

The goal of this project is to implement in Python/Sagemath the security functions (at least one of four) described in https://arxiv.org/abs/2102.00983
Sagemath contains libraries for mosaics, BIBDs, etc, that can be used for the project.

Motivation:
There are various types of security definitions.
The mutual information based types, in increasing order of security requirement are

1. Weak secresy asks that the average mutual information of the eavesdropper I(M:E)/n goes to 0 for a uniform message M (average here means averaged over the blocklength n, an additional average over M is implicit in the mutual information)
2. Strong secrecy asks that the total mutual information I(M:E) goes to 0,
3. Semantic security asks that the total mutual informaiton I(M:E) goes to 0 for any distribution of the message M (and thus in particular for all distributions that pick any of two chosen messages with 1/2 probabilty)

Then there are the almost-equivalent respective indistiguishablity types  of security requirements (below |P-Q|_1 is the statistical distance and Exp_M is expectation value over M)

1. average indistinguishability 1/n Exp_M | P_{E|M} - P_E |_1 for a uniform message M goes to 0 (again average refers over the blocklegth n, clearly there is also the average over M)
2. total indistiguishability Exp_M | P_{E|M} - P_E |_1 for a uniform message M goes to 0
3. indistinguishability |P_{E|m} - P_{E|m'}|_1 for any two messages m and m' goes to 0.

Each of the indistiguishabilities can also be written using KL digvergence instead of statistical distance, in which case the conditions are exactly equivalent to their mutual information versions.

Strong secrecy is the standard security requirement considered in information-theoretic security, while semantic security is the minimum requirement considered in computational security.
Information-theoretic (physical-layer) security differs from computational security in that the secrecy is guaranteed irrespective of the power of the adversary, while in computational security E is computationally bounded. Computational security also assumes that the message is at least of a certain length for the schemes to work, and thus if the message to be secured is too small it needs to be padded to a larger message.

In practice, information theoretic security is expensive, because the messages that can be secured can be only as long as the keys that can be generated. However, in identification only a very small part of the message needs to be secured, which in computational security triggers padding and thus waste, but on the other side makes information-theoretic security accessible and not so expensive.

At the same time, the security of identification implicitly requires semantic security. It has been known for a while that hash functions provide information-theoretic strong secrecy. However, because the standard for information-theoretic security has been strong secrecy, before https://arxiv.org/abs/2102.00983 no efficient functions where known to provide information-theoretic semantic security.
We need an implementation of these type of functions so that we can integrate information-theoretic security into our identification project.

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Realignment criterion and upper bounds in device-independent QKD

Beschreibung

This paper uses the partial transpose as a tool to derive upper bounds on device-independent QKD
https://arxiv.org/abs/2005.13511
In this project the goal is to try to generalize the above to the other tools like the reallignment criterion:
https://arxiv.org/abs/quant-ph/0205017
https://arxiv.org/abs/0802.2019

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Semantic security of infinite-dimensional classical-quantum channels

Beschreibung

Generalize semantic security of classical-quantum channels to infinite dimensional channel (not necessarily gaussian)

• [1] finite dimensional classical-quantum case
  https://arxiv.org/abs/2001.05719
• finite and infinite dimensional classical case
  https://arxiv.org/abs/1811.07798
• [this subpoint can be a project by itself] the finite dimesional case needs to be recast into smooth-max information (instead than Lemma 5.7 of [1]) as the classical case does, this paper proves properties of the smooth-max-inf in finite dimension that we would need for that
  https://arxiv.org/abs/2001.05719
• papers regarding the capacity for infinite dimensional channels
  http://arxiv.org/abs/quant-ph/9912067v1
  http://arxiv.org/abs/quant-ph/0408009v3
  http://arxiv.org/abs/quant-ph/0408176v1

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Asymptotic continuity of restricted quantum relative entropies under general channels

Stichworte:
quantum, relative entropy, Pinsker, reverse, inequality, information thoery, asymptotic, continuity

Beschreibung

Asypmtotic continuity is a property in the form of inequalities (classically known also as inequalities of the reverse-Pinker type) that is necessary to prove upper bounds on operational capacities.

The (quantum) relative entropy (also known as quantum divergence and classically also known as Kullbackt-Leibler divergence), can be used to define various entanglment measures many of which have a proven asymptotic continuity.

Of particular interest are the restricted quantum relative entropies defined by Marco Piani (https://arxiv.org/abs/0904.2705), many of which satisfy asymptotic continuity (A.S.)

• https://arxiv.org/abs/quant-ph/9910002
• https://arxiv.org/abs/quant-ph/0203107
• https://arxiv.org/abs/quant-ph/0507126
• https://arxiv.org/abs/1210.3181
• https://arxiv.org/abs/1507.07775
• https://arxiv.org/abs/1512.09047

In the above there are maybe 2-3 different proof styles.
We can group the results in the above as follows:

• A.S. for entropy, conditional entropies, mutual information, conditional mutual information
• A.S. for relative entropies with infimum over states on the second argument
• A.S. relative entropies with infimum over state *and maximization over measurement channels*

The goal of the project is to generalize the last case to asymptotic continuity for relative entropies with infimum over state and maximization over *general* channels.

• Partial results toward this goal can be found in the appendix of my PhD thesis: http://web.math.ku.dk/noter/filer/phd18rf.pdf
• Such a result would have immediate applications to this paper: https://arxiv.org/abs/1801.02861

Possible new proof directions are

• using Renyi α-realtive entropies with the limit α->1
• using Kim's operator inequality from
  https://arxiv.org/abs/1210.5190
  to get an operator inequality looking like a reverse strong subadditivity (see https://www.youtube.com/watch?v=P3-xI1u1Y2s for a good overview and in particular at minute 31:20 for the reverse SSA)

Voraussetzungen

Kontakt

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Practical protocols for quantum synchronization in classical network

Stichworte:
quantum, network, synchronization

Beschreibung

relevant papers
https://arxiv.org/abs/1310.6043
https://arxiv.org/abs/1304.5944
https://arxiv.org/abs/1310.6045
https://arxiv.org/abs/1703.05876
https://arxiv.org/abs/1303.6357
background papers
https://ieeexplore.ieee.org/document/7509657

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Entanglement-measures upper bounds on device-independent distillable key

Stichworte:
quantum, qkd, entanglement

Beschreibung

The goal of this work is to try to upper bound the device-independent distillable key in terms of locally restricted relative entropy of entanglement (an entanglement measure).

The following are relevant works/articles

• works toward even *a definition* of device independent distillable key
  https://arxiv.org/abs/2005.13511
  https://arxiv.org/abs/2005.12325
  https://arxiv.org/abs/1810.05627
• works relating distillable entanglement and distillable key to locally restricted relative entropy measures
  https://arxiv.org/abs/1609.04696
  https://arxiv.org/abs/1402.5927
• the first definition of restricted relative entropies
  https://arxiv.org/abs/0904.2705
• important properties of restricted relative entropies, and some overview of entanglement measures
  https://arxiv.org/abs/1210.3181
• my PhD thesis
  http://web.math.ku.dk/noter/filer/phd18rf.pdf

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Error Correction for DNA-Based Data Storage

Beschreibung

DNA-based data storage is a novel approach for long term digital data archiving.

Due to the unique nature of writing and reading DNA, the channel associated with these processes is still realtively poor understood and varies over different  synthesis (writing) and sequencing (reading) technologies. The task of the student is to analyze different sequencing methods and the associated errors and formulate associated channel models. Based on these models, error-correcting schemes shall be evaluated.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Implementation of Gröbner Basis and Buchberger's Algorithm

Beschreibung

Post-Quantum Cryptosystems (PQC) should be resistant against attacks from quantum computers. One familiy of PQC are code-based cryptosystems which are based on error-correcting codes. There exist some attacks to recover the secret key and/or the secret message. Gröbner Basis and Buchberger's Algorithm is one of the mathematical methods that are needed to solve system of equations and can attack PQC.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Investigation of Improved Decoding for Honda-Yamamoto Codes

Stichworte:
channel coding, probabilistic shaping, polar coding

Beschreibung

Probabilistic shaping combines forward error correction and distribution matching. It allows to send encoded information with non-uniform symbol distributions. These non-uniform symbol distributions are required to achieve optimal transmission rates. One way to implement probabilistic shaping is polar coding [1], in particular Honda-Yamamoto coding [2].

The goal is to compare the performances of different encoding and decoding schemes for Honda-Yamamoto codes.

In this Forschungspraxis, the task is to investigate decoder performances for Honda-Yamamoto codes with different, structurally similar, decoders. The student will understand and implement successive-cancellation decoding [1] and successive-cancellation list decoding [3] for polar codes. Using these two decoders, one can directly construct encoders and decoders for Honda-Yamamoto codes for which we compare error correction capability and en-/decoding complexity under probabilistic shaping scenarios.

  [1] https://doi.org/10.1109/TIT.2009.2021379 or https://arxiv.org/abs/0807.3917

  [2] https://doi.org/10.1109/TIT.2013.2282305

  [3] https://arxiv.org/abs/1206.0050

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with algebraic-geometry (Goppa) codes

Stichworte:
goppa algebraic geometry codes identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing identification with Goppa codes, aiming at the fastest implementation, and testing their performance in comparison to other current implementations. The reference articles for this implementation are:

• https://ieeexplore.ieee.org/document/1056879
• https://ieeexplore.ieee.org/document/1057344

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with universal hash functions

Stichworte:
universal hash identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing the identification codes described in

• https://ieeexplore.ieee.org/abstract/document/782144

aiming at the fastest implementation, and testing their performance in comparison to other current implementations.

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Implementation of identification with Polar codes

Stichworte:
polar codes identification

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be implementing identification with polar codes, aiming at the fastest implementation, and testing their performance in comperison to other current implementations.

For reference, our previous work on identification based on Reed-Solomon and Reed-Muller code can be found at

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Betreuer:

• Diese Seite als PDF öffnen.

[identification] Simulation and performance improvement of identification codes

Beschreibung

Identification is a communication scheme that allows rate doubly exponential in the blocklemght, with the tradeoff that identities cannot be decoded (as messages do) but can only be verified.

• https://ieeexplore.ieee.org/document/42172
• https://ieeexplore.ieee.org/document/42173

The double exponential growth presents various challenges in the finite regime: there are heavy computational costs introduced at the encoder and decoder and heavy trade-offs between the error and the codes sizes.

The ultimate goal is to find a fast, reliable implementation while still achieving large code sizes.

Identification codes can be achieved by first removing the errors from the channel with regular transmission channel coding, and then sending a challenge though the corrected channel. For every identity i, The channenge is generated by picking a random input m and computing the corresponding output T_i(m) using a function T_i that depends on the identity. The challenge is then the pair m,T_i(m) and the receiver wanting to verify an identity j will verify whether j=i by testing the challenge. This is done by recomputing the output with T_j and verifying whether T_j(m)= T_i(m). The errors are reduced by ensuring that the various functions collide on a small fraction of the possible inputs.

It turns out that choosing good sets of funtions {T_i} is the same as choosing error-correction codes {c_i} with large distance, where now each codeword c_i defines a function by mapping positions m (sometimes called code locators) to symbols c_im of the codeword.
We can thus construct identification codes by choosing error-correction codes where we are only interested in the performance of the error correction encoders (we are not interested in the error-correction decoder or error-correction codes).

Your task will be speeding up the current implementations based on Reed-Solomon and Reed-Muller codes:

• https://arxiv.org/abs/2107.07649
• https://arxiv.org/abs/2107.06801
• https://arxiv.org/abs/2007.06372

The coding will be in Python/Sagemath.
This work can accomodate multiple students.
The working language will be in English.

Environment: we collaborate with LTI. At LNT and LTI there is currently a lot of funding for research in identification. Therefore you will find a large group of people that might be available for discussion and collaboration.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

[quantum] Realignment criterion and upper bounds in device-independent QKD

Beschreibung

This paper uses the partial transpose as a tool to derive upper bounds on device-independent QKD
https://arxiv.org/abs/2005.13511
In this project the goal is to try to generalize the above to the other tools like the reallignment criterion:
https://arxiv.org/abs/quant-ph/0205017
https://arxiv.org/abs/0802.2019

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

On the Equivalence of Identification and Authentication

Stichworte:
Identification via channel, identification codes, authentication, authentication codes

Kurzbeschreibung:
A Certain equivalence of identification and authentication would be shown.

Beschreibung

It would be shown that under suitable formulations (preserving all salient features) the two problem of Identification (Ahlswede and Dueck, 1989) and Authentication (Simmons, G. J. 1984) are in essence very close to each other. This equivalency was conjectured first by M. S. Pinsker. In this research internship the student is expected to address this conjecture. Both problems must be studied separately and then the similar essence of them should be drawn out. In particular the identification codes and authentication codes along with theire relation will be investigated.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

Error Correction for DNA-Based Data Storage

Beschreibung

DNA-based data storage is a novel approach for long term digital data archiving.

Due to the unique nature of writing and reading DNA, the channel associated with these processes is still realtively poor understood and varies over different  synthesis (writing) and sequencing (reading) technologies. The task of the student is to analyze different sequencing methods and the associated errors and formulate associated channel models. Based on these models, error-correcting schemes shall be evaluated.

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

A Jupyter Notebook for Line Coding in Access Networks (LB)

Beschreibung

For the access network case, the spectrum of the transmit signal has to be adapted to the channel properties. This can either be achieved by choosing suitable transmit pulse shapes or by encoding the (redundancy free) source symbols [1].

The students task is to implement a demonstration of two line coding schemes in Python [2] (Jupyter Notebook) and visualize the results. Additionally, the student also has to arrange code and surrounding text, such that the content becomes self-explanatory.

[1] Skript "Physical Layer Methods“

[2] "Python in 30 minutes" (https://www.programiz.com/python-programming/tutorial)

Voraussetzungen

Betreuer:

• Diese Seite als PDF öffnen.

A Jupyter Notebook for Equalization Methods (LB)

Beschreibung

Depending on the channel properties, the receive signal in a communication system can be severely distorted, causing inter-symbol interference. To mitigate these interferences, several approaches for equalization can be taken [1].

The students task is to implement a demonstration of several equalization schemes in Python [2] (Jupyter Notebook) and visualize the results. Additionally, the student also has to arrange code and surrounding text, such that the content becomes self-explanatory.

[1] Skript "Physical Layer Methods“

[2] "Python in 30 minutes" (https://www.programiz.com/python-programming/tutorial)

Voraussetzungen

Betreuer: