Paper: undermine memory isolation in Fiasco OC covert channels

[teclis High Elf]

Hi,

These researchers from TU Berlin claim to be able to undermine memory
isolation in Fiasco OC through the use of covert channels. I'd be very
interested to hear the opinion of the Fiasco experts. (Could a system built
on Fiasco be hardened against such an attack be adding access control for
UDP ports)??

http://eprint.iacr.org/2014/984.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20141210/30467a46/attachment.html>