Realistic, strong and provable key exchange security

Realistic, strong and provable key exchange security

<p>Authenticated key exchange protocols are ubiquitous in modern-day life. They are used to secure numerous types of data exchange, ranging from online banking to instant messaging conversations. In this thesis, we extend the state of the art for authenticated key exchange security, following...

Полное описание

Библиографические подробности
Главный автор:	Garratt, L
Другие авторы:	Cremers, C
Формат:	Диссертация
Язык:	English
Опубликовано:	2018

Схожие документы

Efficient and provably secure key agreement for modern smart metering communications
по: Braeken, A, и др.
Опубликовано: (2018)

Provably secure randomized AAβ cryptosystem
по: Asbullah, Muhammad Asyraf, и др.
Опубликовано: (2015)

Provably secure Rabin-p cryptosystem in hybrid setting
по: Asbullah, Muhammad Asyraf, и др.
Опубликовано: (2016)

Review: Logics of provability
по: Williamson, T
Опубликовано: (1996)

Provably Correct Systems
по: He, J, и др.
Опубликовано: (1994)

Provably secure group signature schemes from code-based assumptions
по: Ezerman, Martianus Frederic, и др.
Опубликовано: (2020)

Implementing a secure key exchange protocol for openSSL
по: Alawatugoda, Janaka, и др.
Опубликовано: (2018)

ASICS: authenticated key exchange security incorporating certification systems
по: Boyd, C, и др.
Опубликовано: (2016)

ASICS: authenticated key exchange security incorporating certification systems
по: Boyd, C, и др.
Опубликовано: (2013)

Strengthening the security of authenticated key exchange against bad randomness
по: Feltz, M, и др.
Опубликовано: (2017)

Provable algorithms for inference in topic models
по: Arora, Sanjeev, и др.
Опубликовано: (2018)

Truth, conservativeness, and provability: Reply to Cieśliński
по: Ketland, J
Опубликовано: (2010)

Provably efficient learning with typed parametric models
по: Brunskill, Emma, и др.
Опубликовано: (2010)

Provably safe robot navigation with obstacle uncertainty
по: Axelrod, Brian, и др.
Опубликовано: (2021)

Provably Safe Robot Navigation with Obstacle Uncertainty
по: Axelrod, Brian, и др.
Опубликовано: (2021)

Provably Efficient Adaptive Scheduling for Parallel Jobs
по: He, Yuxiong, и др.
Опубликовано: (2007)

Provably superior accuracy in quantum stochastic modeling
по: Yang, Chengran, и др.
Опубликовано: (2023)

Provable preimage under-approximation for neural networks
по: Zhang, X, и др.
Опубликовано: (2024)

Provably good race detection that runs in parallel
по: Fineman, Jeremy T
Опубликовано: (2006)

Private and Provably Efficient Federated Decision-Making
по: Dubey, Abhimanyu
Опубликовано: (2022)

Provably efficient scheduling for relaxed multithreaded computations
по: Gordienko, Maksim.
Опубликовано: (2008)

Human interactive secure key and ID exchange protocols in body sensor networks
по: Yan, A
Опубликовано: (2013)

Human interactive secure key and identity exchange protocols in body sensor networks
по: Huang, X, и др.
Опубликовано: (2013)

Reachability analysis of deep neural networks with provable guarantees
по: Ruan, W, и др.
Опубликовано: (2018)

Provable variational inference for constrained log-submodular models
по: Djolonga, Josip, и др.
Опубликовано: (2022)

Practical data-dependent metric compression with provable guarantees
по: Indyk, Piotr, и др.
Опубликовано: (2019)

Provably efficient adaptive scheduling of parallel jobs on multiprocessors
по: He, Yuxiong
Опубликовано: (2014)

Provably Efficient Algorithms for Multi-Objective Competitive RL
по: Yu, Tiancheng, и др.
Опубликовано: (2022)

Provable guarantees on the robustness of decision rules to causal interventions
по: Wang, B, и др.
Опубликовано: (2021)

Provably-efficient adaptive scheduling of multiprocessors for performance and energy
по: Sun, Hongyang
Опубликовано: (2011)

Provable variational inference for constrained log-submodular models
по: Djolonga, J, и др.
Опубликовано: (2021)

Robustness evaluation of deep neural networks with provable guarantees
по: Wu, M
Опубликовано: (2020)

Learning provably robust policies in uncertain parametric environments
по: Schnitzer, Y, и др.
Опубликовано: (2025)

Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic
по: Lombardi, Alex
Опубликовано: (2023)

Safety verification for deep neural networks with provable guarantees
по: Kwiatkowska, M
Опубликовано: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
по: Kwiatkowska, M
Опубликовано: (2019)

Provable and practical location privacy for vehicular and mobile systems
по: Popa, Raluca Ada
Опубликовано: (2011)

Exploring key issues in education /
по: Kassem, Derek, и др.
Опубликовано: (2009)

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
по: Liebenwein, Lucas, и др.
Опубликовано: (2018)

Combining realist reviews with realist evaluations
по: Wong, G, и др.
Опубликовано: (2024)