Исходное сообщение
"Атака Marvin для расшифровки RSA на основе измерения времени..." Отправлено seL4, 01-Окт-23 06:03
https://www.perplexity.ai/search/c073d891-fec6-4514-9e49-7af... According to the search results, the cost of producing formally verified, high-assurance systems using seL4 is on the order of $200-400/LoC (Lines of Code) for critical code1 . However, the total cost for development of seL4 and its functional correctness proof is $362/LOC, which is low cost compared to the industry rule-of-thumb cost5 . Additionally, the cost of the proof for seL4 is higher, in total about 20 person years, which includes significant research and about 9 person years invested in formal language frameworks, proof tools4 . It is important to note that building a system on seL4 requires more work compared to building on other operating systems like Linux2 .

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: