Publikatsioonid

Zero-knowledge in Easycrypt

Väljaanne: 2023 IEEE 36th Computer Security Foundations Symposium (CSF)
Autorid: Firsov, Denis; Unruh, Dominique
Aasta: 2023
Loe artiklit

SSProve: a foundational framework for modular cryptographic proofs in Coq

Väljaanne: ACM Transactions on Programming Languages and Systems
Autorid: Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Aasta: 2023
Loe artiklit

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

Väljaanne: Biomedical Signal Processing and Control
Autorid: Wang, Xuechao; Huang, Junqing; Chatzakou, Marianna; Nõmm, Sven; Valla, Elli; Medijainen, Kadri; Taba, Pille; Toomela, Aaro; Ruzhansky, Michael
Aasta: 2023
Loe artiklit

Application of the LSTM models for Baltic Sea wave spectra estimation

Väljaanne: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Autorid: Simon, Martin; Rikka, Sander; Nõmm, Sven; Alari, Victor
Aasta: 2023
Loe artiklit

Preliminary results in using attention for increasing attack identification efficiency

Väljaanne: IEEE 16th International Conferenceon Software Testing, Verification andValidation Workshops
Autorid: Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri
Aasta: 2023
Loe artiklit
Filtered (5)
Filters
Uurimisühmad
Show (5)
Cancel