16 citations · 53 across the 8 of their papers we have counts for
1 paper · 2 filters
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…