{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:IUN7PJWQTH6ONZJMVZESCX7LUG","short_pith_number":"pith:IUN7PJWQ","schema_version":"1.0","canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","source":{"kind":"arxiv","id":"1610.05932","version":1},"attestation_state":"computed","paper":{"title":"An algorithmic approach using multivariate polynomials for the nonlinearity of Boolean functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC","math.IT"],"primary_cat":"cs.IT","authors_text":"Emanuele Bellini, Massimiliano Sala, Teo Mora","submitted_at":"2016-10-19T09:36:01Z","abstract_excerpt":"The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinearity computation is an important problem for applications. Traditional methods to compute the nonlinearity are based on transforms, such as the Fast Walsh Transform. In 2007 Simonetti proposed a method to solve the above problem seen as a decision problem on the existence of solutions for some multivariate polynomial systems. Although novel as approach, her algorithm suffered from a direct application of Groebner bas"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1610.05932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2016-10-19T09:36:01Z","cross_cats_sorted":["math.AC","math.IT"],"title_canon_sha256":"7c3bf53ee6ccf39e3baa5f8ac390277b0bab866380e324403f23d2a558b18587","abstract_canon_sha256":"34d5d2e8b31f701ca3c9e1334901f5bc3b3fe7d197ca4e7180c0d1c6801cd920"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:50.654064Z","signature_b64":"muXJxiNP7WF/VBsrFzPZwi9eB+ol6z03WB3OAJh9ayRCpUJlb9BbxRmM7BDFTxHGA494ZIPs68DxZ3TKtLFpCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"451bf7a6d099fce6e52cae49215feba1828a393f98188f622ec5b5772a251b6d","last_reissued_at":"2026-05-18T01:01:50.653388Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:50.653388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An algorithmic approach using multivariate polynomials for the nonlinearity of Boolean functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC","math.IT"],"primary_cat":"cs.IT","authors_text":"Emanuele Bellini, Massimiliano Sala, Teo Mora","submitted_at":"2016-10-19T09:36:01Z","abstract_excerpt":"The nonlinearity of a Boolean function is a key property in deciding its suitability for cryptographic purposes, e.g. as a combining function in stream ciphers, and so the nonlinearity computation is an important problem for applications. Traditional methods to compute the nonlinearity are based on transforms, such as the Fast Walsh Transform. In 2007 Simonetti proposed a method to solve the above problem seen as a decision problem on the existence of solutions for some multivariate polynomial systems. Although novel as approach, her algorithm suffered from a direct application of Groebner bas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05932","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1610.05932","created_at":"2026-05-18T01:01:50.653481+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.05932v1","created_at":"2026-05-18T01:01:50.653481+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05932","created_at":"2026-05-18T01:01:50.653481+00:00"},{"alias_kind":"pith_short_12","alias_value":"IUN7PJWQTH6O","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_16","alias_value":"IUN7PJWQTH6ONZJM","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_8","alias_value":"IUN7PJWQ","created_at":"2026-05-18T12:30:22.444734+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG","json":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG.json","graph_json":"https://pith.science/api/pith-number/IUN7PJWQTH6ONZJMVZESCX7LUG/graph.json","events_json":"https://pith.science/api/pith-number/IUN7PJWQTH6ONZJMVZESCX7LUG/events.json","paper":"https://pith.science/paper/IUN7PJWQ"},"agent_actions":{"view_html":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG","download_json":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG.json","view_paper":"https://pith.science/paper/IUN7PJWQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.05932&json=true","fetch_graph":"https://pith.science/api/pith-number/IUN7PJWQTH6ONZJMVZESCX7LUG/graph.json","fetch_events":"https://pith.science/api/pith-number/IUN7PJWQTH6ONZJMVZESCX7LUG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/action/storage_attestation","attest_author":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/action/author_attestation","sign_citation":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/action/citation_signature","submit_replication":"https://pith.science/pith/IUN7PJWQTH6ONZJMVZESCX7LUG/action/replication_record"}},"created_at":"2026-05-18T01:01:50.653481+00:00","updated_at":"2026-05-18T01:01:50.653481+00:00"}