This is BibTeX, Version 0.99d (TeX Live 2025/nixos.org)
Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
The top-level auxiliary file: main.aux
The style file: plain.bst
Database file #1: refs.bib
Warning--entry type for "Jefferys2020SessionProtocol" isn't style-file defined
--line 140 of file refs.bib
Warning--I'm ignoring mcmillion2025keytransparencyarchitecture's extra "month" field
--line 235 of file refs.bib
Warning--I'm ignoring mcmillion2025keytransparencyarchitecture's extra "year" field
--line 236 of file refs.bib
Warning--empty journal in Albrecht_Dowling_Jones
Warning--empty year in Albrecht_Dowling_Jones
Warning--empty journal in Albrecht_2025
Warning--empty year in Albrecht_2025
Warning--can't use both author and editor fields in alwen_doubleratchet
Warning--can't use both author and editor fields in Alwen_Coretti_Jost_Mularczyk_2020
Warning--can't use both author and editor fields in Balbas_SK
Warning--empty journal in bhargavan_dy
Warning--empty year in bhargavan_dy
Warning--empty journal in DY
Warning--empty year in DY
Warning--empty journal in Bhargavan_PQXDH
Warning--empty year in Bhargavan_PQXDH
Warning--can't use both author and editor fields in Blanchet_2012
Warning--empty journal in Blanchet_Jacomme
Warning--empty year in Blanchet_Jacomme
Warning--empty journal in ProverifManual
Warning--empty year in ProverifManual
Warning--can't use both author and editor fields in Celi_Hoyland_Stebila_Wiggers_2022
Warning--empty journal in cremers_signal
Warning--empty year in cremers_signal
Warning--empty journal in Dingledine_Mathewson_Syverson_2004
Warning--there's a number but no volume in Dolev_1983
Warning--can't use both author and editor fields in Itkis_Reyzin_2001
Warning--empty journal in Kret_Schmidt_PQXDH
Warning--empty journal in Lafourcade_Mahmoud_Ruhault_Taleb
Warning--empty year in Lafourcade_Mahmoud_Ruhault_Taleb
Warning--empty journal in Moxie_Sesame
Warning--empty journal in Marlinspike_Perrin_X3DH
Warning--empty journal in Moxie_DoubleRatchet
Warning--can't use both author and editor fields in VatandasDeny
Warning--empty journal in Wallez_TreeKEM
Warning--empty year in Wallez_TreeKEM
Warning--empty journal in Wallez_TreeSync
Warning--empty year in Wallez_TreeSync
You've used 51 entries,
            2118 wiz_defined-function locations,
            800 strings with 13462 characters,
and the built_in function-call counts, 17428 in all, are:
= -- 1690
> -- 864
< -- 23
+ -- 351
- -- 290
* -- 1102
:= -- 2757
add.period$ -- 156
call.type$ -- 51
change.case$ -- 290
chr.to.int$ -- 0
cite$ -- 86
duplicate$ -- 787
empty$ -- 1239
format.name$ -- 290
if$ -- 3753
int.to.chr$ -- 0
int.to.str$ -- 51
missing$ -- 44
newline$ -- 255
num.names$ -- 102
pop$ -- 416
preamble$ -- 1
purify$ -- 247
quote$ -- 0
skip$ -- 670
stack$ -- 0
substring$ -- 645
swap$ -- 307
text.length$ -- 23
text.prefix$ -- 0
top$ -- 0
type$ -- 190
warning$ -- 35
while$ -- 121
width$ -- 53
write$ -- 539
(There were 38 warnings)