The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Атака Marvin для расшифровки RSA на основе измерения времени операций, opennews (??), 30-Сен-23, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


58. "Атака Marvin для расшифровки RSA на основе измерения времени..."  +1 +/
Сообщение от Аноним (54), 30-Сен-23, 23:50 
> Kry10 is a company that provides a modern platform, tools, and management
> services to help businesses realize the full potential of IoT and
> high-value connected devices1

О да, о да, как говорится:
- Доктор, Мойша говорит что ему 90 и он - может!
- Не вижу что и вам мешает говорить это же самое.

Тупая реклама короче.

Ответить | Правка | Наверх | Cообщить модератору

70. "Атака Marvin для расшифровки RSA на основе измерения времени..."  –1 +/
Сообщение от 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
.

Ответить | Правка | Наверх | Cообщить модератору

89. "Атака Marvin для расшифровки RSA на основе измерения времени..."  +/
Сообщение от Аноним (89), 01-Окт-23, 18:24 
Ну доказали соответствие кода спецификации,молодцы. Но вот только где гарантия того, что в самой спецификации нет дыр и прочих проблем? Тоже самое с протоколами. Я не говорю, что это бесполезно, нет. Но это не панацея.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру