[langsec-discuss] the underhanded C contest viewed through the lens of noninterference

Andrew munin at mimisbrunnr.net
Tue Mar 17 14:00:31 UTC 2015

I think that this is good reading:

I'm pretty sure that if you added a test condition into the underhanded
C contest to test for noninterference as part of judging, no one would win.

I'm also pretty sure that a system producing programs satisfying both
full abstraction and noninterference would produce programs that, by and
large, we would agree to be "secure". as long as those pesky labels get
applied correctly! ;)

More information about the langsec-discuss mailing list