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...
Egile nagusia: | Garratt, L |
---|---|
Beste egile batzuk: | Cremers, C |
Formatua: | Thesis |
Hizkuntza: | English |
Argitaratua: |
2018
|
Antzeko izenburuak
-
Efficient and provably secure key agreement for modern smart metering communications
nork: Braeken, A, et al.
Argitaratua: (2018) -
Provably secure randomized AAβ cryptosystem
nork: Asbullah, Muhammad Asyraf, et al.
Argitaratua: (2015) -
Provably secure Rabin-p cryptosystem in hybrid setting
nork: Asbullah, Muhammad Asyraf, et al.
Argitaratua: (2016) -
Review: Logics of provability
nork: Williamson, T
Argitaratua: (1996) -
Provably Correct Systems
nork: He, J, et al.
Argitaratua: (1994)