Exercise Neptune : maritime cybersecurity training using the navigational simulatorsLovell, Kieren NicolasProceedings of the 5th Interdisciplinary Cyber Research Conference 2019 : 29th of June 2019, Tallinn University of Technology2019 / p. 34-37 https://www.ester.ee/record=b5238490*est

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Hacking on the high seas: How automated reverse-engineering can assist vulnerability discovery of a proprietary communication protocolVisky, Gabor; Rohl, Alexander; Vaarandi, Risto; Katsikas, Sokratis; Maennel, Olaf Manuel2024 IEEE 49th Conference on Local Computer Networks (LCN)2024 / 7 p https://doi.org/10.1109/LCN60385.2024.10639746