716 followers
RT @sharcs_project: Oliver Woizekowski On Reductions from Multi-Domain Noninterference to the Two-level Case https://t.co/X7PlfFmrrl #esori…
RT @sharcs_project: Oliver Woizekowski On Reductions from Multi-Domain Noninterference to the Two-level Case https://t.co/X7PlfFmrrl #esori…
Oliver Woizekowski On Reductions from Multi-Domain Noninterference to the Two-level Case https://t.co/X7PlfFmrrl… https://t.co/jUOrpHxXGB