ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
Latest Publications
TOTAL DOCUMENTS
37
(FIVE YEARS 37)
H-INDEX
2
(FIVE YEARS 2)
Published By IEEE
9781728165721
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Clockwork: Tracking Remote Timing Attacks
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00032
◽
2020
◽
Cited By ~ 1
Author(s):
Iulia Bastys
◽
Musard Balliu
◽
Tamara Rezk
◽
Andrei Sabelfeld
Keyword(s):
Timing Attacks
Download Full-text
A Composable Security Treatment of the Lightning Network
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00031
◽
2020
◽
Cited By ~ 1
Author(s):
Aggelos Kiayias
◽
Orfeas Stefanos Thyfronitis Litos
Download Full-text
CSF 2020 Index
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00037
◽
2020
◽
Download Full-text
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00013
◽
2020
◽
Author(s):
Maximilian Algehed
◽
Cormac Flanagan
Download Full-text
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00010
◽
2020
◽
Cited By ~ 1
Author(s):
Veronique Cortier
◽
Joseph Lallemand
◽
Bogdan Warinschi
Download Full-text
Limiting the impact of unreliable randomness in deployed security protocols
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00027
◽
2020
◽
Author(s):
Liliya Akhmetzyanova
◽
Cas Cremers
◽
Luke Garratt
◽
Stanislav Smyshlyaev
◽
Nick Sullivan
Keyword(s):
Security Protocols
◽
The Impact
Download Full-text
CSF 2020 List Reviewer Page
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00008
◽
2020
◽
Download Full-text
Types and Abstract Interpretation for Authorization Hook Advice
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00018
◽
2020
◽
Author(s):
Christian Skalka
◽
David Darais
◽
Trent Jaeger
◽
Frank Capobianco
Keyword(s):
Abstract Interpretation
Download Full-text
CSF 2020 TOC
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00004
◽
2020
◽
Download Full-text
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms
2020 IEEE 33rd Computer Security Foundations Symposium (CSF)
◽
10.1109/csf49147.2020.00034
◽
2020
◽
Author(s):
Nicholas Coughlin
◽
Graeme Smith
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close