Advertisement ยท 728 ร— 90
#
Hashtag
#LangSec
Advertisement ยท 728 ร— 90

...and now commences IEEE #langsec workshop 2025 (zoom session so people don't have to cross US borders)

3 0 0 0
Post image

๐Ÿ† #epf (presented by Di Jin at USENIX #ATC2023) was the runner-up for the "Bug of the Year" award at IEEE S&P #LangSec (Language-Theoretic Security) workshop 2024!
โŒจ๏ธhttps://langsec.org/spw24/bugs-of-the-year-awards.html | ๐Ÿ“„https://cs.brown.edu/~vpk/papers/epf.atc23.pdf | ๐Ÿ’พ gitlab.com/brown-ssl/epf

0 0 1 0

@googledevs Even though I don't have great expectations over the security of HTML5+CSS (and other Turing-complete languages)... #langsec

0 0 1 0