Secure information flow and program logics Lennart Beringer, Martin Hofmann Institut f¨ur Informatik, Universit¨at M¨unchen Oettingenstrasse 67, 80538 M¨unchen, Germany {beringer|mhofmann - F-Secure - Document - PDFSEARCH.IO

First Page	Meta Content
	Secure information flow and program logics Lennart Beringer, Martin Hofmann Institut f¨ur Informatik, Universit¨at M¨unchen Oettingenstrasse 67, 80538 M¨unchen, Germany {beringer\|mhofmann}@tcs.ifi.lmu.de Add to Reading List Document Date: 2015-04-30 04:11:43 Open Document File Size: 301,49 KB Share Result on Facebook

Secure information flow and program logics Lennart Beringer, Martin Hofmann Institut f¨ur Informatik, Universit¨at M¨unchen Oettingenstrasse 67, 80538 M¨unchen, Germany {beringer|mhofmann}@tcs.ifi.lmu.deAdd to Reading List