S4 - Strongly Secure Connection Establishment

S4 – Strongly Secure Connection Establishment

Download

Establishing a secure connection between communication partners is usually performed by having the two parties run a key agreement protocol over a public channel, and then using the derived key to establish a secure channel that protects the communication. This project advances the field of secure connections by investigating the security of channel protocols, the joint security of the composition of the key agreement and channel protocol, and by looking at new means to build long-term secure solutions via hardware tokens and based on quantum technology.

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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (2017)

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

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

Gagliardoni, Tommaso ; Karvelas, Nikolaos ; Katzenbeisser, S. :
ORAMs in a Quantum World.
PQCrypto 2017 - 8th International Workshop Post-Quantum Cryptography Springer
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (2016)

Gagliardoni, Tommaso ; Hülsing, Andreas ; Schaffner, Christian :
Semantic Security and Indistinguishability in the Quantum World.
In: LNCS (9816). Springer
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (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
[Conference or workshop item] , (2014)

go to TU-biblio search on ULB website