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.
Dowling B
(2018)
A Cryptographic Analysis of the WireGuard Protocol
in Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings
Albrecht M
(2018)
Estimate All the {LWE, NTRU} Schemes!
in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
Albrecht M
(2018)
Estimate All the {LWE, NTRU} Schemes!
in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
Conserva Filho M
(2018)
Analysing RoboChart with Probabilities
in Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Albrecht M
(2018)
Estimate All the {LWE, NTRU} Schemes!
in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
Keller M
(2018)
Reducing Communication Channels in MPC
in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
Jiang Y
(2018)
Machine Learning for Inductive Theorem Proving
in Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
Bellomarini L
(2018)
Vadalog: A Language and System for Knowledge Graphs
in Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
Dragan C
(2018)
Hierarchical Attribute-Based Signatures
in Cryptology and Network Security - 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings
Dragan C
(2018)
Hierarchical Attribute-Based Signatures
in Cryptology and Network Security - 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings
Jiang Y
(2018)
Machine Learning for Inductive Theorem Proving
in Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings