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.
Best Answer
No, it cannot be sequential unless $X$ is finite-dimensional. Otherwise, for each $k$ we may pick a subspace $X_k$ of $X$ with $\dim X_k = k$. Moreover, we choose a finite $\tfrac{1}{k}$-net $x_{k,j}$ of the sphere $\{x\in X_k\colon \|x\|=k\}$ in $X_k$ (possible by compactness). Let $S$ be the union of all the nets picked above. We claim that 0 is in the weak closure of $S$.
Indeed, let $U$ be a weakly open neighbourhood of 0. Let $f_1, \ldots, f_n\in X^*$ be norm-one functionals and let $\varepsilon > 0$ be such that $$\{x\in X\colon \max_i |\langle f_i, x\rangle| < \varepsilon \}\subseteq U.$$ Take $k$ with $1/k <\varepsilon$. When $n<k$, there must be $y_k\in X_k$ such that $\langle f_i, y_k\rangle = 0$ for all $i$. Without loss of generality $\|y_k\|=k$. Pick $j$ so that $\|x_{k,j} - y_k\|\leqslant\tfrac{1}{k}$. Consequently, $$|\langle f_i, x_{k,j}\rangle| = |\langle f_i, x_{k,j} - y_k\rangle| \leqslant \|x_{k,j} - y_k\|\leqslant\tfrac{1}{k}<\varepsilon, $$ that is $x_{k,j}\in U$.
This establishes the claim and thus $S$ is not weakly closed.
On the other hand, every weakly convergent sequence in $S$ is bounded, and thus lives only on finitely many points of $S$. Hence, the weak limit belongs to $S$. This yields that $S$ is weakly sequentially closed.
There is a strengthening of this result by Gabriyelyan, Kąkol and Plebanek (see Theorem 1.5 here):
Theorem. Let $E$ be a Banach space. Then the weak topology of $E$ has the Ascoli property if and only if $E$ is finite-dimensional.