Paper: undermine memory isolation in Fiasco OC covert channels

teclis High Elf <[email protected]> Wed, 10 Dec 2014 09:23:13 -0500

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAN4o2gORV8rbtuhaJFFU4VUUVX0PXFP_0TiT_YQ7eSkmz07RSQ@mail.gmail.com>

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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers