4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Alexander Senier, Martin Beck, Thorsten Strufe
One single error can result in a total compromise of all security in today's large, monolithic software. Partitioning of software can help simplify code-review and verification, wh…