Let me answer your second question first.
The weak$^{\ast}$-topology is Hausdorff (let me treat the real case, the complex case is similar): If $\phi \neq \psi$ are two linear functionals then there is $x \in X$ such that $\phi(x) \lt r \lt \psi(x)$. The sets $U = \{f \in X^{\ast} \,:\,f(x) \lt r\}$ and $V = \{f \in X^{\ast}\,:\,f(x) \gt r\}$ are weak$^{\ast}$-open (since evaluation at $x$ is weak$^{\ast}$-continuous) and disjoint neighborhoods of $\phi$ and $\psi$, respectively.
That the weak topology is Hausdorff is shown similarly, using Hahn-Banach.
Next, if $X$ is separable, then the unit ball in the dual space is metrizable with respect to the weak$^{\ast}$-topology: pick a countable dense set $\{x_{n}\}_{n \in \mathbb{N}}$ of the unit ball of $X$ and verify that
\[
d(\phi,\psi) = \sum_{n=1}^{\infty} 2^{-n} \frac{|\phi(x_n) - \psi(x_n)|}{1+|\phi(x_n) - \psi(x_n)|}
\]
defines a metric compatible with the weak$^{\ast}$-topology. Hence the unit ball is sequentially compact in the weak$^{\ast}$-topology (this can be shown directly using Arzelà-Ascoli, by the way).
Using a standard Baire category argument, one can show that weak$^{\ast}$-compact sets are norm-bounded: Indeed, if $K$ is weak$^{\ast}$-compact, it is a Baire space. Write $B^{\ast}$ for the closed unit ball in $X^{\ast}$. Clearly $K = \bigcup_{n = 1}^{\infty} (K \cap n \cdot B^{\ast})$, so at least one of the closed subsets $K \cap n \cdot B^{\ast}$ of $K$ must have non-empty interior. By compactness finitely many translates of $n\cdot B^{\ast}$ must cover $K$, thus $K$ is bounded in norm and hence $K$ is a closed subset of a large enough ball.
Conclusion: If $X$ is separable then every weak$^{\ast}$-compact subset of $X^{\ast}$ is sequentially compact.
I don't know if the converse is true.
If $X$ is not separable, then weak$^{\ast}$-compactness does not imply weak$^{\ast}$-sequential compactness, the standard example is mentioned in Florian's post.
Since you might be interested in the weak topology as well, there's a rather difficult result due to Eberlein:
Recall that a space is countably compact if every countable open cover has a finite subcover. A sequentially compact space is countably compact.
Theorem (Eberlein) If a subset of a Banach space is weakly countably compact then it is weakly compact and weakly sequentially compact.
and finally:
Theorem (Eberlein-Šmulian) A bounded subset of a Banach space is weakly sequentially compact if and only if it is weakly compact. In particular, if the unit ball is weakly sequentially compact then $X$ is reflexive.
You can extend your statement as follows: Let $X$ be a seperable normed space, then every (norm-)bounded subset of $X^*$ is metrizable in the relative weak*-topology.
Now apply this to $X=l^1$. Then $B_{c_0}$ as a bounded subset of $l^\infty$ is metrizable in the relative weak*-topology $\sigma(l^\infty, l^1)$ which is equal to $\sigma(c_0,l^1)$.
Best Answer
Daniel Fischer said it all. I would like to make a precision which would have been a comment if I had enough reputation.
The key point is that the closed unit ball of $X^*$ is compact for the weak*-topology. That's called Banach-Alaoglu theorem.
Now to get your equivalence, you also need the following easier facts:
the weak*-topology is Hausdorff.
a compact in a Hausdorff space is closed (and Hausdorff is needed).
a closed subset of a compact space is always compact.
a norm bounded set in a normed vector space is contained in a positive-scalar-multiple of the closed unit ball.
to show that weak*-compact implies norm bounded, you need the Uniform Boundedness Principle and the fact that the image of a compact space by a continuous complex-valued map (point evaluations in this case, which are continuous by definition of the weak*-topology) is compact in $\mathbb{C}$, whence bounded.