Size: a a a

2021 September 19

M

MrSmith in // CIPHERNET
Смотри вначале тебе нужен приватный ключ
источник

M

MrSmith in // CIPHERNET
Ну потому что иначе как
источник

M

MrSmith in // CIPHERNET
Потом генеришь по нему паблик кей
источник

M

MrSmith in // CIPHERNET
Да
источник

M

MrSmith in // CIPHERNET
openssl genrsa -aes128 -out alice_private.pem 1024
источник

M

MrSmith in // CIPHERNET
openssl rsautl -encrypt -inkey bob_public.pem -pubin -in top_secret.txt -out top_secret.enc
источник

M

MrSmith in // CIPHERNET
источник

M

MrSmith in // CIPHERNET
libressl и wolfssl и тд
источник

M

MrSmith in // CIPHERNET
Созданы в основном или для лицензии или встраиваемых систем для которых openssl слишком большая
источник

M

MrSmith in // CIPHERNET
@ned_ogl название группы не совсем отражает смысл
источник

NO

Ned Ogl in // CIPHERNET
А описание?
источник

M

MrSmith in // CIPHERNET
Это просто шутка и все, флудильня скорей
источник

M

MrSmith in // CIPHERNET
Да тоже
источник

M

MrSmith in // CIPHERNET
Тут просто за всякие штуки затирают типа ллвм и прочего
источник

M

MrSmith in // CIPHERNET
Если тебе в приложении надо использовать посмотри доку опенссл
источник

M

MrSmith in // CIPHERNET
Она кривая конечно но понять можно
источник

M

MrSmith in // CIPHERNET
Будь тока осторожен с памятью и названиями функций
источник

M

MrSmith in // CIPHERNET
Ещё с форматом фалов
источник

M

MrSmith in // CIPHERNET
Пемов этих 2 или 3 формата и оно не ругается когда шифрует но расшифровать не сможешь  так что тест накатай на это обязательно
источник

DI

Dmitry Ilyin in // CIPHERNET
Технологии умного и быстрого брутфорса

https://www.youtube.com/watch?v=4FiazaVfC-g
YouTube
Денис Юричев. SAT и SMT решатели, по своей книге "SAT/SMT by example", часть 1/3
Part 1
В рамках пре-школы "Лялмбда - 2021" - Материал из уст автора Дениса Юричева, известного своими работами https://beginners.re/ и https://sat-smt.codes

PDF-ка тут: https://sat-smt.codes/

0:00 Начало. Извините! Я нажал в Zoom не на ту кнопку и никого не слышал.
0:45 Краткая история SAT
4:15 Дональд Кнут - TAOCP 7.2.2.2
7:32 SAT/SMT by Example
7:53 Model checking: как важен своевременный лок ресурсов в Макдональдсе
10:15 Model checking: FTP-сервера
12:38 Связь между SAT и SMT
13:49 Теории в SMT
15:29 Почему SMT называется 'satisfiability modulo theories'
17:03 CNF
18:00 Двухбитный сумматор
22:41 CryptoMiniSat
23:35 MaxSAT
24:51 Тетрис и Пажитнов
26:42 SMT-солвер как калькулятор
27:26 Integer Linear Programming (ILP), исследование операций (OR)
29:30 Центральное планирование, Ашманов, А.Вассерман
31:55 Брайан Керниган, AMPL
33:06 SMT-LIB 2.x
34:31 Леонид Канторович, распиливание листа
38:01 Юзаем KLEE для решения оч.простой системы уравнений
39:36 Поиск мин в Сапёре при помощи Z3
44:45 Поиск мин в Сапёре…
источник