Publications

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
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
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
Year: 2023
Read article

SSProve: a foundational framework for modular cryptographic proofs in Coq

Journal / Periodical: ACM Transactions on Programming Languages and Systems
Year: 2023
Read article

Zero-knowledge in Easycrypt

Journal / Periodical: 2023 IEEE 36th Computer Security Foundations Symposium (CSF): Dubrovnik, Croatia, July 9-13, 2023. IEEE, 1?16. DOI: 10.1109/CSF57540.2023.00015.? ?https://www.etis.ee/Portal/Publications/Display/89be8959-e64a-4dd0-a3e2-0c7dcc8f0465?? ???Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hri?cu, C?t?lin; Maillard, Kenji; Spitters, Bas (2023). SSProve: a foundational framework for modular cryptographic proofs in Coq. ACM Transactions on Programming Languages and Systems, 45 (3), art. no. 15 ?61 pp. DOI: 10.1145/3594735.? ?https://www.etis.ee/Portal/Publication
Year: 2023
Read article
Filtered (5)
Filters
Show (5)
Cancel