Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

PROSECCO: Formally-proven secure compiled code

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems; [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Rennes; France

  • Source: Automation in Cybersecurity 2021 - Proceedings of the 28th Computer & Electronics Security Application Rendezvous (C&ESAR 2021) ; C&ESAR 2021 : 28th Computer Electronics Security Application

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

×
  • 1-10 ل  12 نتائج ل ""auxiliaire""