K_ENC_seqnum = TLSTREE(sender_write_key, seqnum);

K_MAC_seqnum = TLSTREE(sender_write_MAC_key, seqnum); and

IV_seqnum = STR_{n/2}((INT(sender_write_IV) + seqnum)
                             mod 2^({(n/2)*8}).