P2 – Sanitizable Cryptography
The project considers sanitization of authenticated encryptions. Such encryptions occur in secure channel protocols where the sender securely transmits data to a receiver via a service provider. The overall goal is to incorporate the possibility that a service provider can, if the sender or receiver supports this, modify the encrypted transmission in a controlled way, e.g., truncate the communication data at designated places if the receiver has a low bandwidth. The solutions will be smoothly integrable with the common channel protocols.
Researchers
Patrick Harasser
Cryptoplexity
Research Interests:
- Provable security
- Sanitizable signatures
- Sanitizable channels
- Sigma protocols
Sogol Mazaheri
Cryptoplexity
Research Interests:
- Provable security
- Privacy and security of cryptographic protocols.
- Cryptographic primitives and their relationships
- Hardware-assisted cryptography
Publications
Ece, Olcay
:
Security of E-Mail-Encryption.
TU Darmstadt
[Bachelorarbeit]
, (2018)
Fischlin, Marc ; Harasser, Patrick
:
Invisible Sanitizable Signatures and Public-Key Encryption are Equivalent.
[Online-Edition: https://www.springer.com/us/book/9783319933863]
In: 16th International Conference, ACNS 2018, 2.7.-4.7. 2018, Leuven, Belgium.
In: Springer International Publishing
, LNCS 10892
.
[
Konferenzveröffentlichung]
, (2018)
Kiel, Robert
:
Zero-Knowledge Contingent Payments.
TU Darmstadt
[Masterarbeit]
, (2018)
Günther, Felix ; Mazaheri, Sogol
:
A Formal Treatment of Multi-key Channels.
CRYPTO 2017 - 37th International Cryptology Conference
Springer
[
Konferenzveröffentlichung]
, (2017)
Erwig, Andreas ; Fischlin, Marc ; Hald, Martin ; Helm, Dominik ; Kiel, Robert ; Kübler, Florian ; Kümmerlin, Michael ; Laenge, Jakob ; Rohrbach, Felix
:
Redactable Graph Hashing, Revisited.
ACISP 2017
[
Konferenzveröffentlichung]
, (2017)
Marson, Giorgia Azzurra ; Poettering, Bertram
:
Security Notions for Bidirectional Channels.
In:
IACR Transactions on Symmetric Cryptology, 2017
(Volume 2017 Issue 1)
S. 405-426.
[Article]
, (2017)
Fischlin, Marc ; Herzberg, Amir ; Noon, Hon Bin ; Shulman, Haya
:
Obfuscation Combiners.
International Cryptology Conference (CRYPTO)
[
Konferenzveröffentlichung]
, (2016)
Akleylek, Sedat ; Bindel, Nina ; Buchmann, Johannes ; Krämer, Juliane ; Marson, Giorgia Azzurra
:
An Efficient Lattice-Based Signature Scheme with Provably Secure Instantiation.
International Conference on Cryptology AFRICACRYPT 2016
Springer
[
Konferenzveröffentlichung]
, (2016)
Bernhard, David ; Fischlin, Marc ; Warinschi, Bogdan
:
On the Hardness of Proving CCA-Security of Signed ElGamal.
In: LNCS
(9614).
Springer
[
Konferenzveröffentlichung]
, (2016)
Fischlin, Marc ; Günther, Felix ; Marson, Giorgia Azzurra ; Paterson, Kenneth G.
:
Data Is a Stream: Security of Stream-Based Channels.
Advances in Cryptology - CRYPTO 2015
Springer
[
Konferenzveröffentlichung]
, (2015)
Fehr, Victoria ; Fischlin, Marc
:
Sanitizable Signcryption: Sanitization over Encrypted Data (Full Version).
In:
IACR Cryptology ePrint Archive, 2015
S. 765.
[Article]
, (2015)