4 papers:
ESEC-FSE-2015-ChenS #difference #implementation #testing #validation- Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
HPCA-2010-XekalakisC #branch #execution #multi- Handling branches in TLS systems with Multi-Path Execution (PX, MC), pp. 1–12.
PPoPP-2006-LiuTCASRT #compilation #named- POSH: a TLS compiler that exploits program structure (WL, JT, LC, WA, KS, JR, JT), pp. 158–167.
SAC-2004-DiazCRP #automation #protocol #verification- Automatic verification of the TLS handshake protocol (GD, FC, VVR, FLP), pp. 789–794.
