30 citations · 109 across the 25 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…