Titel

Merkliste
1 Ergebnisse

Clone Detection in Secure Messaging: Improving Post-Comprom..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,

Cremers, Cas ; Fairoze, Jaiden ; Kiesl, Benjamin. - p. 1481-1495 , 2020

Link: https://dl.acm.org/doi/10.1145/3372297.3423354

RT 
T1 <cTitle>Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security</cTitle>: T1 <Title>Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3423354&Exemplar=1&LAN=DE
				
A1 Cremers, Cas
A1 Fairoze, Jaiden
A1 Kiesl, Benjamin
A1 Naska, Aurora
PB ACM
YR 2020
K1 clone detection
K1 double ratchet
K1 formal verification
K1 forward secrecy
K1 post-compromise security
K1 secure messaging
K1 security protocols
K1 tamarin prover
K1 Security and privacy
K1 Formal methods and theory of security
K1 Security requirements
K1 Network security
K1 Security protocols
K1 Networks
K1 Network protocols
K1 Theory of computation
K1 Computational complexity and cryptography
K1 Cryptographic protocols
K1 Protocol correctness
K1 Formal specifications
K1 Cryptographic primitives
K1 Software and application security
K1 Formal security models
SP 1481
OP 1495
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3372297.3423354
DO https://dl.acm.org/doi/10.1145/3372297.3423354
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)