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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Garratt, L
Awduron Eraill:	Cremers, C
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2018

Eitemau Tebyg

Efficient and provably secure key agreement for modern smart metering communications
gan: Braeken, A, et al.
Cyhoeddwyd: (2018)

Provably secure randomized AAβ cryptosystem
gan: Asbullah, Muhammad Asyraf, et al.
Cyhoeddwyd: (2015)

Provably secure Rabin-p cryptosystem in hybrid setting
gan: Asbullah, Muhammad Asyraf, et al.
Cyhoeddwyd: (2016)

Review: Logics of provability
gan: Williamson, T
Cyhoeddwyd: (1996)

Provably Correct Systems
gan: He, J, et al.
Cyhoeddwyd: (1994)

Provably secure group signature schemes from code-based assumptions
gan: Ezerman, Martianus Frederic, et al.
Cyhoeddwyd: (2020)

Implementing a secure key exchange protocol for openSSL
gan: Alawatugoda, Janaka, et al.
Cyhoeddwyd: (2018)

ASICS: authenticated key exchange security incorporating certification systems
gan: Boyd, C, et al.
Cyhoeddwyd: (2016)

ASICS: authenticated key exchange security incorporating certification systems
gan: Boyd, C, et al.
Cyhoeddwyd: (2013)

Strengthening the security of authenticated key exchange against bad randomness
gan: Feltz, M, et al.
Cyhoeddwyd: (2017)

Provable algorithms for inference in topic models
gan: Arora, Sanjeev, et al.
Cyhoeddwyd: (2018)

Truth, conservativeness, and provability: Reply to Cieśliński
gan: Ketland, J
Cyhoeddwyd: (2010)

Provably efficient learning with typed parametric models
gan: Brunskill, Emma, et al.
Cyhoeddwyd: (2010)

Provably safe robot navigation with obstacle uncertainty
gan: Axelrod, Brian, et al.
Cyhoeddwyd: (2021)

Provably Safe Robot Navigation with Obstacle Uncertainty
gan: Axelrod, Brian, et al.
Cyhoeddwyd: (2021)

Provably Efficient Adaptive Scheduling for Parallel Jobs
gan: He, Yuxiong, et al.
Cyhoeddwyd: (2007)

Provably superior accuracy in quantum stochastic modeling
gan: Yang, Chengran, et al.
Cyhoeddwyd: (2023)

Provable preimage under-approximation for neural networks
gan: Zhang, X, et al.
Cyhoeddwyd: (2024)

Provably good race detection that runs in parallel
gan: Fineman, Jeremy T
Cyhoeddwyd: (2006)

Private and Provably Efficient Federated Decision-Making
gan: Dubey, Abhimanyu
Cyhoeddwyd: (2022)

Provably efficient scheduling for relaxed multithreaded computations
gan: Gordienko, Maksim.
Cyhoeddwyd: (2008)

Human interactive secure key and ID exchange protocols in body sensor networks
gan: Yan, A
Cyhoeddwyd: (2013)

Human interactive secure key and identity exchange protocols in body sensor networks
gan: Huang, X, et al.
Cyhoeddwyd: (2013)

Reachability analysis of deep neural networks with provable guarantees
gan: Ruan, W, et al.
Cyhoeddwyd: (2018)

Provable variational inference for constrained log-submodular models
gan: Djolonga, Josip, et al.
Cyhoeddwyd: (2022)

Practical data-dependent metric compression with provable guarantees
gan: Indyk, Piotr, et al.
Cyhoeddwyd: (2019)

Provably efficient adaptive scheduling of parallel jobs on multiprocessors
gan: He, Yuxiong
Cyhoeddwyd: (2014)

Provably Efficient Algorithms for Multi-Objective Competitive RL
gan: Yu, Tiancheng, et al.
Cyhoeddwyd: (2022)

Provable guarantees on the robustness of decision rules to causal interventions
gan: Wang, B, et al.
Cyhoeddwyd: (2021)

Provably-efficient adaptive scheduling of multiprocessors for performance and energy
gan: Sun, Hongyang
Cyhoeddwyd: (2011)

Provable variational inference for constrained log-submodular models
gan: Djolonga, J, et al.
Cyhoeddwyd: (2021)

Robustness evaluation of deep neural networks with provable guarantees
gan: Wu, M
Cyhoeddwyd: (2020)

Learning provably robust policies in uncertain parametric environments
gan: Schnitzer, Y, et al.
Cyhoeddwyd: (2025)

Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic
gan: Lombardi, Alex
Cyhoeddwyd: (2023)

Safety verification for deep neural networks with provable guarantees
gan: Kwiatkowska, M
Cyhoeddwyd: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
gan: Kwiatkowska, M
Cyhoeddwyd: (2019)

Provable and practical location privacy for vehicular and mobile systems
gan: Popa, Raluca Ada
Cyhoeddwyd: (2011)

Exploring key issues in education /
gan: Kassem, Derek, et al.
Cyhoeddwyd: (2009)

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
gan: Liebenwein, Lucas, et al.
Cyhoeddwyd: (2018)

Combining realist reviews with realist evaluations
gan: Wong, G, et al.
Cyhoeddwyd: (2024)