Publications

Zero-knowledge in Easycrypt

Journal / Periodical: 2023 IEEE 36th Computer Security Foundations Symposium (CSF)
Authors: Firsov, Denis; Unruh, Dominique
Year: 2023
Read article

Preliminary results in using attention for increasing attack identification efficiency

Journal / Periodical: IEEE 16th International Conferenceon Software Testing, Verification andValidation Workshops
Authors: Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri
Year: 2023
Read article

Application of the LSTM models for Baltic Sea wave spectra estimation

Journal / Periodical: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Authors: Simon, Martin; Rikka, Sander; Nõmm, Sven; Alari, Victor
Year: 2023
Read article

Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson’s disease

Journal / Periodical: Biomedical Signal Processing and Control
Authors: Wang, Xuechao; Huang, Junqing; Chatzakou, Marianna; Nõmm, Sven; Valla, Elli; Medijainen, Kadri; Taba, Pille; Toomela, Aaro; Ruzhansky, Michael
Year: 2023
Read article

SSProve: a foundational framework for modular cryptographic proofs in Coq

Journal / Periodical: ACM Transactions on Programming Languages and Systems
Authors: Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Year: 2023
Read article
Filtered (5)
Filters
Research Groups
Show (5)
Cancel