Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Subject : logic and verification

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Authors : Kuepper, J.; Erbsen, A.; Gross, J.

Subjects: Software and its engineering; Source code generation; Security and privacy

Source: http://dx.doi.org/10.1145/3591272.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي