Information for "Publication:6535686"

Basic information

Display title	Automated verification of correctness for masked arithmetic programs
Default sort key	6535686
Page length (in bytes)	15
Namespace ID	4206
Namespace	Publication
Page ID	14291043
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
MaRDI portal item ID	Q6535686
Central description	scientific article; zbMATH DE number 7798102

Edit	Allow only users with "overwriteprofilepages" permission (infinite)
Move	Allow only users with "overwriteprofilepages" permission (infinite)

Page creator	Import250213030230 (talk \| contribs)
Date of page creation	16:12, 13 February 2025
Latest editor	Import250213030230 (talk \| contribs)
Date of latest edit	16:12, 13 February 2025
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded templates (15)	Pages included on this page: Template:Badge (view source) Template:DeepChat (view source) Template:Publication (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:PublicationAuthorList (view source) Module:PublicationCitesWork (view source) Module:PublicationContainsTheoremList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Automated verification of correctness for masked arithmetic programs Title Miscellaneous (e.g. entity existence) Label: en Some statements Sitelink