Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.
Chen W
(2018)
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations
in ICT Systems Security and Privacy Protection - 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Adelsberger S
(2018)
Developing GUI Applications in a Verified Setting
in Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Spring J
(2018)
Towards Scientific Incident Response
in Decision and Game Theory for Security - 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, Proceedings