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)

Truth, conservativeness, and provability: Reply to Cieśliński
著者:: Ketland, J
出版事項: (2010)

Provable algorithms for inference in topic models
著者:: Arora, Sanjeev, 等
出版事項: (2018)

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)

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)

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)

Reachability analysis of deep neural networks with provable guarantees
著者:: Ruan, W, 等
出版事項: (2018)

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)

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
著者:: Liebenwein, Lucas, 等
出版事項: (2018)

Exploring key issues in education /
著者:: Kassem, Derek, 等
出版事項: (2009)

Combining realist reviews with realist evaluations
著者:: Wong, G, 等
出版事項: (2024)