Safe Development Section at PHDays VII: PDUG Community Meeting Results

On May 24, the next event of the Positive Development User Group community was held at the site of the PHDays VII forum . While behind the wall hackers enthusiastically (and very successfully) attacked the infrastructure of a fictional city, we talked about how developers can make their applications immune to hacking.
What came of this, look under the cut - there are collected presentations and video reports.
The eight-hour track program included a workshop on Application Security and six lectures on various areas of safe development.

Master class “Application Security Slums”
Vladimir Kochetkov, Head of Application Security Analysis Research, Positive Technologies, and Denis Kolegov, Head of Security Technologies Research Group, Positive Technologies.
First part:
Second part:
The third part:
Automate rule building for Approof
Denis Efremov, Institute for System Programming of the Russian Academy of Sciences.
Attack Prevention Mechanisms in ASP.NET Core
Mikhail Shcherbakov, independent developer and consultant.
Formal C code verification
Denis Efremov, Institute for System Programming of the Russian Academy of Sciences.
Vulnerable Android app: N proven ways to step on a rake
Nikolay Anisenya and Sergey Toshin, specialists in the Mobile Application Security Research Department, Positive Technologies.
Security requirements in software architecture
Kirill Ivanov, architect, Positive Technologies.
From experimental to industrial programming: a 10-year journey
Katerina Troshina, Leading Information Security Expert, Solar Security.
Thanks to everyone who came to our track! During the year, we plan to hold several more thematic meetings and are already actively looking for new speakers and colleagues who are ready to support the popularization of safe development. If you have any questions to the organizers or speakers, send them to [email protected] or [email protected] .