OperationCheckpoint: SDN Application Control. - Sandra Scott-Hayward; Christopher Kane; Sakir Sezer (ICNP, 2014)

High-level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Yanhong A. Liu (CoRR, 2018)

High-Level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Scott D. Stoller; Yanhong A. Liu (PLAS@CCS, 2019)