Skip to content

Author

Nicholas Daniel Maino

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#edge computing Open access Oct 2026

pq-verify: Independent verification for ML-KEM / ML-DSA implementations

Fixed A response answering one question twice could verify. A second answer to the same tcId replaced the first, so a response carrying a wrong answer followed by the right one reported VERIFIED. Any question answered more than once is now a finding, whatever the answers say. A truncated .json.gz response crashed the C...

Nicholas Daniel Maino · 0 citations
#software testing Open access Sep 2026

pq-verify: Independent verification for ML-KEM / ML-DSA implementations

Fixed --vector-dir was ignored for every bundled file. The loader consulted the pinned bundle first by file name, so a caller-supplied vector directory was never read for any file pq-verify also ships, while the report named that directory as the source. A directory with a corrupted expected answer reported 240/240; it...

Nicholas Daniel Maino · 0 citations
#edge computing Open access Sep 2026

pq-verify: Independent verification for ML-KEM / ML-DSA implementations

Fixed --vector-dir was ignored for every bundled file. The loader consulted the pinned bundle first by file name, so a caller-supplied vector directory was never read for any file pq-verify also ships, while the report named that directory as the source. A directory with a corrupted expected answer reported 240/240; it...

Nicholas Daniel Maino · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.