The Kapustin-Witten equations have been proposed by Witten as a way to obtain knot invariants using gauge-theory. I will report on some initial steps, in collaboration with Witten, to develop the requisite analysis for this program. This involves showing that the natural boundary conditions for these equations (away from the knot) satisfy a nonstandard type of ellipticity, which leads to some uniqueness and regularity results.