Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 1 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
[
Author
]
Title
Type
Year
Filters:
Author
is
Manuel Barbosa
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
B
M. Barbosa
,
Barthe, G.
,
Fan, X.
,
Grégoire, B.
,
Hung, S. - H.
,
Katz, J.
,
Strub, P. - Y.
,
Wu, X.
, and
Zhou, L.
,
“
EasyPQC: Verifying Post-Quantum Cryptography
”
,
ACM CCS 2021
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS