šŸ“£ Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

|< 5 6 7 8 9 >|
CSV
publication icon
Indrzejczak A (2021) Tableaux for Free Logics with Descriptions in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Xu Z (2023) Reveal theĀ Invisible Secret: Chosen-Ciphertext Side-Channel Attacks onĀ NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
publication icon
Rawson M (2021) lazyCoP: Lazy Paramodulation Meets Neurally Guided Search in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Indrzejczak A (2021) Tableaux for Free Logics with Descriptions in Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
publication icon
Xu Z (2023) Reveal theĀ Invisible Secret: Chosen-Ciphertext Side-Channel Attacks onĀ NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
publication icon
Xu Z (2023) Reveal theĀ Invisible Secret: Chosen-Ciphertext Side-Channel Attacks onĀ NTRU in Smart Card Research and Advanced Applications - 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers