S4 - Strongly Secure Connection Establishment

S4 – Strongly Secure Connection Establishment

Download

The project considers the question how to build and use quantum-resistant key exchange protocols, both based on quantum-resistant primitives but also involving quantum technology. Known functional features will be transferred from classical scenarios such as low-latency connections to this quantum-resistant setting. Concerning connections in general, the project will also devise secure bilateral channel protocols based on streaming architectures.

Researchers

Jacqueline Brendel
Cryptoplexity

Felix Rohrbach
Cryptoplexity

Publications

Degabriele, Jean Paul ; Fischlin, Marc :
Simulatable Channels: Extended Security that is Universally Composable and Easier to Prove.
[Online-Edition: https://asiacrypt.iacr.org/2018/index.html]
In: Asiacrypt 2018 - the 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, December 02-06, 2018, Brisbane, Australia. In: LNCS . Springer
[ Konferenzveröffentlichung] , (2018) (Im Druck)

Fischlin, Marc ; Mazaheri, Sogol :
Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks.
In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 9.-12.7. 2018, Oxford, UK. 2018 IEEE 31st Computer Security Foundations Symposium (CSF) IEEE
[ Konferenzveröffentlichung] , (2018)

Hald, Martin :
Cryptographic Analysis of the Bitmessage Protocol.
TU Darmstadt
[Masterarbeit] , (2018)

Geihs, Matthias ; Nikiforov, Oleg ; Demirel, Denise ; Sauer, Alexander ; Butin, Denis ; Günther, Felix ; Alber, Gernot ; Walther, Thomas ; Buchmann, Johannes :
The Status of Quantum-Based Long-Term Secure Communication over the Internet.

[Report] , (2017)

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Ali, Karim ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram :
CogniCrypt: Supporting Developers in using Cryptography.
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681]
Automated Software Engineering (ASE'17) ACM , Piscataway, NJ, USA
[ Konferenzveröffentlichung] , (2017)

Sitnikov, Konstantin :
A Survey on Post-Quantum Key Exchange.
TU Darmstadt
[Masterarbeit] , (2017)

Brendel, Jacqueline ; Fischlin, Marc :
Zero Round-Trip Time for the Extended Access Control Protocol.
ESORICS 2017 - 22nd European Symposium on Research in Computer Security
[ Konferenzveröffentlichung] , (2017)

Brendel, Jacqueline ; Fischlin, Marc ; Günther, Felix ; Janson, Christian :
PRF-ODH: Relations, Instantiations, and Impossibility Results.
CRYPTO 2017 - 37th International Cryptology Conference Springer
[ Konferenzveröffentlichung] , (2017)

Günther, Felix ; Mazaheri, Sogol :
A Formal Treatment of Multi-key Channels.
CRYPTO 2017 - 37th International Cryptology Conference Springer
[ Konferenzveröffentlichung] , (2017)

Gagliardoni, Tommaso ; Karvelas, Nikolaos ; Katzenbeisser, S. :
ORAMs in a Quantum World.
PQCrypto 2017 - 8th International Workshop Post-Quantum Cryptography Springer
[ Konferenzveröffentlichung] , (2017)

Fischlin, Marc ; Günther, Felix :
Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates.
2nd IEEE European Symposium on Security and Privacy (EuroS&P 2017) IEEE
[ Konferenzveröffentlichung] , (2017)

Günther, Felix ; Hale, Britta ; Jager, Tibor ; Lauer, Sebastian :
0-RTT Key Exchange with Full Forward Secrecy.
Eurocrypt 2017 - 36th International Conference on the Theory and Applications of Cryptographic Techniques Springer
[ Konferenzveröffentlichung] , (2017)

Dowling, Benjamin ; Günther, Felix ; Herath, Udyani ; Stebila, Douglas :
Secure Logging Schemes and Certificate Transparency.
21st European Symposium on Research in Computer Security (ESORICS 2016) Springer
[ Konferenzveröffentlichung] , (2016)

Gagliardoni, Tommaso ; Hülsing, Andreas ; Schaffner, Christian :
Semantic Security and Indistinguishability in the Quantum World.
In: LNCS (9816). Springer
[ Konferenzveröffentlichung] , (2016)

Fischlin, Marc ; Günther, Felix ; Schmidt, Benedikt ; Warinschi, Bogdan :
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
37th IEEE Symposium on Security and Privacy (S&P 2016) IEEE
[ Konferenzveröffentlichung] , (2016)

Günther, Felix ; Poettering, Bertram :
Linkable Message Tagging: Solving the Key Distribution Problem of Signature Schemes.
In: International Journal of Information Security (IJIS)
[Article] , (2016)

Degabriele, Jean Paul ; Fehr, Victoria ; Fischlin, Marc ; Gagliardoni, Tommaso ; Günther, Felix ; Marson, Giorgia Azzurra ; Mittelbach, Arno ; Paterson, Kenneth G. :
Unpicking PLAID: a cryptographic analysis of an ISO-standards-track authentication protocol.
In: International Journal of Information Security (IJIS)
[Article] , (2016)

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas :
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol.

[Anderes] , (2016)

Alagic, Gorjan ; Broadbent, Anne ; Fefferman, Bill ; Gagliardoni, Tommaso ; Schaffner, Christian ; Jules, Michael St. :
Computational Security of Quantum Encryption.
In: Lecture Notes in Computer Science - ICITS . Springer
[Anderes] , (2016)

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas :
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.
22nd ACM Conference on Computer and Communications Security (CCS 2015) ACM
[ Konferenzveröffentlichung] , (2015)

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)

Günther, Felix ; Poettering, Bertram :
Linkable Message Tagging: Solving the Key Distribution Problem of Signature Schemes.
20th Australasian Conference on Information Security and Privacy (ACISP 2015) Springer
[ Konferenzveröffentlichung] , (2015)

Fischlin, Marc ; Günther, Felix :
Multi-Stage Key Exchange and the Case of Google's QUIC Protocol.
CCS '14 Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security ACM
[ Konferenzveröffentlichung] , (2014)

Günther, Felix ; Manulis, Mark ; Peter, Andreas
Gritzalis, Dimitris ; Kiayias, Aggelos ; Askoxylakis, Ioannis (eds.) :

Privacy-Enhanced Participatory Sensing with Collusion Resistance and Data Aggregation.
In: LNCS (8813). Springer
[ Konferenzveröffentlichung] , (2014)

Degabriele, Jean Paul ; Fehr, Victoria ; Fischlin, Marc ; Gagliardoni, Tommaso ; Günther, Felix ; Marson, Giorgia Azzurra ; Mittelbach, Arno ; Paterson, Kenneth G.
Chen, Liqun ; Mitchell, Chris (eds.) :

Unpicking PLAID: A Cryptographic Analysis of an ISO-standards-track Authentication Protocol.
In: LNCS (8893). Springer
[ Konferenzveröffentlichung] , (2014)

go to TU-biblio search on ULB website