Search for persons
X
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
1
Careful with MAc-then-SIGn: A Computational Analysis of the..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
2
Verifiable Verification in Cryptographic Protocols:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
3
The Security of ChaCha20-Poly1305 in the Multi-User Setting:
, In:
?
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security ,
4
Session details: Session 10B: Protocols:
, In:
?
2017 IEEE European Symposium on Security and Privacy (EuroS&P) ,
5
Replay Attacks on Zero Round-Trip Time: The Case of the TLS..:
, In:
?
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering ,
6
CogniCrypt: supporting developers in using cryptography:
, In:
?
Advances in Discrete Differential Geometry ,
7
Discrete Complex Analysis on Planar Quad-Graphs:
, In:
?
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security ,
8
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol ..:
, In:
?
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security ,
9
Multi-Stage Key Exchange and the Case of Google's QUIC Prot..:
, In:
?
Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security ,
10
Pseudorandom signatures:
, In:
?
Proceedings of the Companion Conference on Genetic and Evolutionary Computation ,
11
Hybrid Multi-Objective Genetic Programming for Parameterize..:
, In:
?
Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems ,
12
ActuBoard: An Open Rapid Prototyping Platform to integrate ..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
13
Revisiting Hybrid Private Information Retrieval:
, In:
?
2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) ,
14