Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
29
29
h-index
3
3
i10-index
1
1
0
16
8
2021
2022
2023
2024
5
7
16
1
Veřejný přístup
Zobrazit všechny
Zobrazit všechny
2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Cas Cremers
CISPA Helmholtz Center for Information Security
E-mailová adresa ověřena na: cispa.de
Benjamin Kiesl-Reiter
Amazon Web Services
E-mailová adresa ověřena na: amazon.de
Jaiden Fairoze
UC Berkeley
E-mailová adresa ověřena na: berkeley.edu
Charlie Jacomme
Université de Lorraine, LORIA, Inria Nancy Grand-Est
E-mailová adresa ověřena na: inria.fr
Alexander Dax
PhD Student, Saarland University, CISPA Helmholtz Center for Information Security
E-mailová adresa ověřena na: stud.uni-saarland.de
Sledovat
Aurora Naska
CISPA Helmholtz Center for Information Security
E-mailová adresa ověřena na: cispa.de
Formal Methods
Security Protocols
Secure Messaging
Cryptography
Články
Citace
Veřejný přístup
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
Clone detection in secure messaging: improving post-compromise security in practice
C Cremers, J Fairoze, B Kiesl, A Naska
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …
, 2020
23
2020
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
C Cremers, C Jacomme, A Naska
Usenix Security
, 2023
3
2023
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2
C Cremers, A Dax, A Naska
Cryptology ePrint Archive
, 2022
3
2022
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě