Data, harness and scripts for 'The Hint Weight of ML-DSA Signatures Is Key-Dependent'
About Formal Proof & post-quantum sealing. Founder, Ironproof — Montreal.
Stack 2 tools Founder @ IronProof | Authorization Layer for Critical Actions | Provable AI Security & Governance | Formal Verification | Symbolic AI
Jan 2026 – PresentCurrent
Imported from LinkedIn.
3,502 contributions in the last year Oct Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct No contributions on Oct 26 No contributions on Oct 27 No contributions on Oct 28 No contributions on Oct 29 No contributions on Oct 30 No contributions on Oct 31 No contributions on Nov 1 No contributions on Nov 2 No contributions on Nov 3 No contributions on Nov 4 No contributions on Nov 5 No contributions on Nov 6 No contributions on Nov 7 No contributions on Nov 8 No contributions on Nov 9 No contributions on Nov 10 No contributions on Nov 11 No contributions on Nov 12 No contributions on Nov 13 No contributions on Nov 14 No contributions on Nov 15 No contributions on Nov 16 No contributions on Nov 17 No contributions on Nov 18 No contributions on Nov 19 No contributions on Nov 20 No contributions on Nov 21 No contributions on Nov 22 No contributions on Nov 23 No contributions on Nov 24 No contributions on Nov 25 No contributions on Nov 26 No contributions on Nov 27 No contributions on Nov 28 No contributions on Nov 29 No contributions on Nov 30 No contributions on Dec 1 No contributions on Dec 2 No contributions on Dec 3 No contributions on Dec 4 No contributions on Dec 5 No contributions on Dec 6 No contributions on Dec 7 No contributions on Dec 8 No contributions on Dec 9 No contributions on Dec 10 No contributions on Dec 11 No contributions on Dec 12 No contributions on Dec 13 No contributions on Dec 14 No contributions on Dec 15 No contributions on Dec 16 No contributions on Dec 17 No contributions on Dec 18 No contributions on Dec 19 No contributions on Dec 20 No contributions on Dec 21 No contributions on Dec 22 No contributions on Dec 23 No contributions on Dec 24 No contributions on Dec 25 No contributions on Dec 26 No contributions on Dec 27 No contributions on Dec 28 No contributions on Dec 29 No contributions on Dec 30 No contributions on Dec 31 No contributions on Jan 1 No contributions on Jan 2 No contributions on Jan 3 No contributions on Jan 4 No contributions on Jan 5 No contributions on Jan 6 No contributions on Jan 7 No contributions on Jan 8 No contributions on Jan 9 No contributions on Jan 10 No contributions on Jan 11 No contributions on Jan 12 No contributions on Jan 13 No contributions on Jan 14 No contributions on Jan 15 No contributions on Jan 16 No contributions on Jan 17 No contributions on Jan 18 No contributions on Jan 19 No contributions on Jan 20 No contributions on Jan 21 No contributions on Jan 22 No contributions on Jan 23 No contributions on Jan 24 No contributions on Jan 25 No contributions on Jan 26 No contributions on Jan 27 No contributions on Jan 28 No contributions on Jan 29 No contributions on Jan 30 No contributions on Jan 31 No contributions on Feb 1 No contributions on Feb 2 No contributions on Feb 3 No contributions on Feb 4 No contributions on Feb 5 4 contributions on Feb 6 No contributions on Feb 7 No contributions on Feb 8 No contributions on Feb 9 No contributions on Feb 10 No contributions on Feb 11 No contributions on Feb 12 No contributions on Feb 13 No contributions on Feb 14 1 contribution on Feb 15 No contributions on Feb 16 No contributions on Feb 17 No contributions on Feb 18 No contributions on Feb 19 No contributions on Feb 20 No contributions on Feb 21 No contributions on Feb 22 No contributions on Feb 23 No contributions on Feb 24 No contributions on Feb 25 No contributions on Feb 26 No contributions on Feb 27 No contributions on Feb 28 No contributions on Mar 1 2 contributions on Mar 2 No contributions on Mar 3 No contributions on Mar 4 8 contributions on Mar 5 No contributions on Mar 6 No contributions on Mar 7 No contributions on Mar 8 No contributions on Mar 9 No contributions on Mar 10 No contributions on Mar 11 61 contributions on Mar 12 91 contributions on Mar 13 21 contributions on Mar 14 No contributions on Mar 15 35 contributions on Mar 16 63 contributions on Mar 17 13 contributions on Mar 18 68 contributions on Mar 19 33 contributions on Mar 20 74 contributions on Mar 21 No contributions on Mar 22 60 contributions on Mar 23 56 contributions on Mar 24 34 contributions on Mar 25 No contributions on Mar 26 10 contributions on Mar 27 15 contributions on Mar 28 15 contributions on Mar 29 10 contributions on Mar 30 41 contributions on Mar 31 61 contributions on Apr 1 28 contributions on Apr 2 49 contributions on Apr 3 5 contributions on Apr 4 6 contributions on Apr 5 1 contribution on Apr 6 4 contributions on Apr 7 37 contributions on Apr 8 7 contributions on Apr 9 No contributions on Apr 10 No contributions on Apr 11 17 contributions on Apr 12 33 contributions on Apr 13 6 contributions on Apr 14 No contributions on Apr 15 No contributions on Apr 16 21 contributions on Apr 17 41 contributions on Apr 18 17 contributions on Apr 19 24 contributions on Apr 20 25 contributions on Apr 21 66 contributions on Apr 22 4 contributions on Apr 23 29 contributions on Apr 24 No contributions on Apr 25 No contributions on Apr 26 No contributions on Apr 27 111 contributions on Apr 28 27 contributions on Apr 29 70 contributions on Apr 30 60 contributions on May 1 28 contributions on May 2 9 contributions on May 3 21 contributions on May 4 30 contributions on May 5 38 contributions on May 6 14 contributions on May 7 23 contributions on May 8 5 contributions on May 9 6 contributions on May 10 3 contributions on May 11 6 contributions on May 12 24 contributions on May 13 10 contributions on May 14 12 contributions on May 15 8 contributions on May 16 17 contributions on May 17 25 contributions on May 18 3 contributions on May 19 11 contributions on May 20 47 contributions on May 21 36 contributions on May 22 31 contributions on May 23 15 contributions on May 24 138 contributions on May 25 52 contributions on May 26 76 contributions on May 27 58 contributions on May 28 1 contribution on May 29 No contributions on May 30 99 contributions on May 31 26 contributions on Jun 1 1 contribution on Jun 2 No contributions on Jun 3 2 contributions on Jun 4 26 contributions on Jun 5 1 contribution on Jun 6 2 contributions on Jun 7 17 contributions on Jun 8 27 contributions on Jun 9 No contributions on Jun 10 3 contributions on Jun 11 1 contribution on Jun 12 7 contributions on Jun 13 6 contributions on Jun 14 No contributions on Jun 15 1 contribution on Jun 16 46 contributions on Jun 17 1 contribution on Jun 18 No contributions on Jun 19 17 contributions on Jun 20 69 contributions on Jun 21 25 contributions on Jun 22 34 contributions on Jun 23 26 contributions on Jun 24 63 contributions on Jun 25 34 contributions on Jun 26 33 contributions on Jun 27 No contributions on Jun 28 10 contributions on Jun 29 28 contributions on Jun 30 3 contributions on Jul 1 1 contribution on Jul 2 3 contributions on Jul 3 2 contributions on Jul 4 No contributions on Jul 5 No contributions on Jul 6 No contributions on Jul 7 No contributions on Jul 8 No contributions on Jul 9 No contributions on Jul 10 No contributions on Jul 11 No contributions on Jul 12 No contributions on Jul 13 No contributions on Jul 14 No contributions on Jul 15 1 contribution on Jul 16 No contributions on Jul 17 No contributions on Jul 18 No contributions on Jul 19 No contributions on Jul 20 2 contributions on Jul 21 2 contributions on Jul 22 No contributions on Jul 23 No contributions on Jul 24 No contributions on Jul 25 No contributions on Jul 26 No contributions on Jul 27 1 contribution on Jul 28 No contributions on Jul 29 25 contributions on Jul 30 No contributions on Jul 31 2 contributions on Aug 1 No contributions on Aug 2 1 contribution on Aug 3 No contributions on Aug 4 1 contribution on Aug 5 1 contribution on Aug 6 No contributions on Aug 7 No contributions on Aug 8 No contributions on Aug 9 No contributions on Aug 10 No contributions on Aug 11 No contributions on Aug 12 3 contributions on Aug 13 No contributions on Aug 14 5 contributions on Aug 15 34 contributions on Aug 16 4 contributions on Aug 17 6 contributions on Aug 18 6 contributions on Aug 19 No contributions on Aug 20 15 contributions on Aug 21 1 contribution on Aug 22 No contributions on Aug 23 No contributions on Aug 24 No contributions on Aug 25 7 contributions on Aug 26 4 contributions on Aug 27 No contributions on Aug 28 No contributions on Aug 29 No contributions on Aug 30 9 contributions on Aug 31 9 contributions on Sep 1 No contributions on Sep 2 4 contributions on Sep 3 No contributions on Sep 4 No contributions on Sep 5 No contributions on Sep 6 No contributions on Sep 7 No contributions on Sep 8 13 contributions on Sep 9 25 contributions on Sep 10 8 contributions on Sep 11 No contributions on Sep 12 No contributions on Sep 13 No contributions on Sep 14 6 contributions on Sep 15 1 contribution on Sep 16 No contributions on Sep 17 No contributions on Sep 18 No contributions on Sep 19 9 contributions on Sep 20 No contributions on Sep 21 No contributions on Sep 22 6 contributions on Sep 23 No contributions on Sep 24 2 contributions on Sep 25 25 contributions on Sep 26 17 contributions on Sep 27 9 contributions on Sep 28 2 contributions on Sep 29 20 contributions on Sep 30 2 contributions on Oct 1 No contributions on Oct 2 No contributions on Oct 3 No contributions on Oct 4 No contributions on Oct 5 No contributions on Oct 6 7 contributions on Oct 7 3 contributions on Oct 8 No contributions on Oct 9 No contributions on Oct 10 No contributions on Oct 11 13 contributions on Oct 12 13 contributions on Oct 13 3 contributions on Oct 14 60 contributions on Oct 15 97 contributions on Oct 16 66 contributions on Oct 17 34 contributions on Oct 18 87 contributions on Oct 19 6 contributions on Oct 20 No contributions on Oct 21 No contributions on Oct 22 No contributions on Oct 23 No contributions on Oct 24 No contributions on Oct 25 No contributions on Oct 26 No contributions on Oct 27 No contributions on Oct 28 
