I was trying to solve a large-scale SOCP problem with first-order method. I was wondering in the current version of TFOCS, can we solve an SOCP problem? And can we use all 3 norms like the following example?

variables x(n, 1), t1, t2, t3

minimize(t1 + t2 + t3)

subject to

norm(A*x - b, 2) <= t1

norm(C*x - d, inf) <= t2

norm(E*x - f, 1) <= t3

Thank you!