کتاب صوتی طراحی و پیاده‌سازی پردازنده‌های ایمن با معماری Cryptol

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره طراحی و پیاده‌سازی پردازنده‌های ایمن با معماری Cryptol

موضوع کلی: مهندسی کامپیوتر و معماری سامانه‌های امن

موضوع میانی: طراحی سخت‌افزارهای محاسباتی با قابلیت اطمینان بالا

📋 سرفصل‌های دوره

• 1. طراحی و پیاده‌سازی پردازنده‌های ایمن با معماری Cryptol
• 2. مفاهیم پایه محاسبات با اطمینان بالا
• 3. معرفی زبان توصیف سخت‌افزار Cryptol
• 4. ساختار بلوکی و ماژول‌های Cryptol
• 5. انواع داده و سیستم نوع در Cryptol
• 6. توابع و ترکیب‌کننده‌ها در Cryptol
• 7. مشخص‌سازی توابع رمزنگاری با Cryptol
• 8. معرفی الگوریتم‌های متقارن در Cryptol
• 9. پیاده‌سازی AES در Cryptol
• 10. تأیید صحت پیاده‌سازی AES
• 11. الگوریتم‌های هش در Cryptol
• 12. پیاده‌سازی SHA-256 با Cryptol
• 13. تأیید رسمی توابع هش
• 14. رمزنگاری نامتقارن و RSA در Cryptol
• 15. مشخص‌سازی توابع جبری در Cryptol
• 16. معماری پردازنده‌های امن
• 17. چرخه حیات طراحی سخت‌افزار امن
• 18. از مشخصات تا پیاده‌سازی با Cryptol
• 19. تولید خودکار کد سخت‌افزار از Cryptol
• 20. مقایسه خروجی VHDL و Verilog
• 21. دستورات شبیه‌سازی و آزمون در Cryptol
• 22. معرفی امواج و تحلیل زمانی
• 23. تأیید صحت در برابر مشخصات
• 24. معرفی قضایا و اثبات در Cryptol
• 25. اثبات خودکار ویژگی‌های امنیتی
• 26. مدل‌سازی حملات کانال جانبی
• 27. طراحی مقاوم در برابر حملات جانبی
• 28. پیاده‌سازی شمارنده‌های امن
• 29. مدیریت حافظه امن در سخت‌افزار
• 30. معماری خط لوله و امنیت آن
• 31. واحدهای محاسباتی مقاوم به خطا
• 32. پیاده‌سازی جمع‌کننده‌های امن
• 33. ضرب‌کننده‌های با قابلیت اطمینان بالا
• 34. طراحی واحدهای منطقی با آزمون خودکار
• 35. معرفی زنجیره ابزار Cryptol
• 36. اشکال‌زدایی و بهینه‌سازی کد Cryptol
• 37. یکپارچه‌سازی با ابزارهای سنتز
• 38. تأیید مدل‌های محاسباتی پیچیده
• 39. مدل‌سازی ماشین‌های حالت در Cryptol
• 40. طراحی کنترل‌کننده‌های امن
• 41. معماری حافظه نهان امن
• 42. مدیریت وقفه‌ها در سامانه‌های امن
• 43. رمزنگاری جریانی در سخت‌افزار
• 44. تولید اعداد تصادفی امن در سخت‌افزار
• 45. مقاوم‌سازی در برابر خطاهای نرم
• 46. معرفی استانداردهای امنیت سخت‌افزار
• 47. مطالعه موردی: پردازنده رمزنگاری
• 48. مطالعه موردی: واحد تأیید هویت
• 49. مطالعه موردی: سامانه نهان‌نگاری
• 50. بهینه‌سازی توان مصرفی در طراحی امن
• 51. معرفی روش‌های هم‌راستایی زمانی
• 52. تحلیل پیچیدگی محاسباتی در Cryptol
• 53. مدل‌سازی پروتکل‌های امن در سخت‌افزار
• 54. تأیید رسمی پروتکل‌های رمزنگاری
• 55. یکپارچه‌سازی با سیستم‌های نهفته
• 56. آزمون نفوذ سخت‌افزاری
• 57. معرفی ابزارهای تحلیل امنیتی
• 58. مدل‌سازی تهدیدات در معماری پردازنده
• 59. طراحی با رویکرد دفاع در عمق
• 60. مطالعه موردی: پردازنده ایمن برای IoT
• 61. مطالعه موردی: شتاب‌دهنده رمزنگاری