Paragon — язык программирования для обеспечения безопасности

Был разработан новый язык программирования с целью устранения утечек информации в программном обеспечении.

Как показывают многие громкие истории о хакерах, получающих информацию из-за утечек данных, нелегко убедиться, что ваше приложение хранит свои данные в безопасности. Исследователи из Гетеборгского университета разработали язык, который предназначен для выполнения проверок за вас, пока вы пишете свое приложение

.