Strong Non-Interference and Type-Directed Higher-Order Masking.

Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub, Rbecca Zucchini

Browse the full CCS paper archive.