"Formal semantics for multi-language programs" by Amal Ahmed
Security researchers examine technical aspects of "Formal semantics for multi-language programs" by Amal Ahmed.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·52 min
Presenters detail vulnerability discovery and exploitation in "All the Languages Together" by Amal Ahmed.
languagetogetheramal+2
PROIDEA Events·50 min
Presenters detail vulnerability discovery and exploitation in 4Developers 2019: Move Semantics for Trvial Classes [ENG], Nico Josuttis.
4developermovesemantic+2
Strange Loop Conference·30 min
Analysts investigate attack surfaces and defenses concerning "Formal Specification and Taming Other People's Tech" by Marianne Bellotti.
formalspecificationtaming+1