Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. | 0 | 0.34 | 2022 |
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. | 0 | 0.34 | 2022 |
Alpha at SemEval-2021 Task 6 - Transformer Based Propaganda Classification. | 0 | 0.34 | 2021 |
OleNet at SemEval-2019 Task 9: BERT based Multi-Perspective Models for Suggestion Mining. | 0 | 0.34 | 2019 |