1 – 1 of 1
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Formal Analysis of Julia Key Agreement Protocol
Sivaraman, Navya ; Nadjm-Tehrani, Simin and Johansson, Thomas LU
(2025)
26th International Conference on Information and Communications Security, ICICS 2024
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
15057 LNCS.
p.171-190
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding