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)