18. 11. 2019920 zhlédnutíFormal verification made easy (and fast)!Speaker Daniel Bristot de Oliveira (Red Hat, Inc.)DescriptionLinux is complex, and formal verification has been gain...
18. 11. 20191 773 zhlédnutíIn this talk Dmitry will highlight some of the areas for improvement related to release quality, security, and developer experience and productivity. Then tr...
4. 12. 2018458 zhlédnutíUrl: https://linuxplumbersconf.org/event/2/contributions/109/speaker: Nikita V. Shirokov (Facebook)Today every packet which is reaching Facebook’s network ...
13. 2. 20207 270 zhlédnutíIn this SySS (https://www.syss.de/) proof-of-concept video, a sniffing attack against the Low Pin Count (LPC) bus communication of a trusted platform module ...
4. 12. 2018577 zhlédnutíUrl: https://linuxplumbersconf.org/event/2/contributions/60/speaker: Catalin MarinasFormal methods have a reputation of being difficult, accessible mostly...