C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alexander Glaser
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 4
Top Topics
Comparative Evaluation
Model Checking
Long Term
Cryptographic Protocols
Top Venues
CoRR
ICETE (Selected Papers)
ASHES@CCS
DCNET
</>
Publications
</>
Sébastien Philippe
,
Alexander Glaser
,
Edward W. Felten
A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification.
CoRR
(2018)
Alexander Glaser
Hardware Security at the Limit: Nuclear Verification and Arms Control.
ASHES@CCS
(2018)
Manuel Koschuch
,
Taro Fruhwirth
,
Alexander Glaser
,
Silvie Schmidt
,
Matthias Hudler
Speaking in Tongues - Practical Evaluation of TLS Cipher Suites Compatibility.
DCNET
(2015)
Stefan Prinz
,
Silvie Schmidt
,
Manuel Koschuch
,
Alexander Glaser
,
Taro Fruhwirth
,
Matthias Hudler
What a Difference a Year Makes: Long Term Evaluation of TLS Cipher Suite Compatibility.
ICETE (Selected Papers)
(2015)