SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell. In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP). .Tom RidgeDavid SheetsThomas TuerkAndrea GiuglianoAnil MadhavapeddyPeter Sewell
Anthropic's Mythos makes autonomous vulnerability chaining across devices a sudden reality, so I've been thinking about how digital 'antibotty' inoculation networks may be needed far sooner than I expected.
