If you have a separated, finite type morphism of schemes which are finite type over a field (some more general bases are also valid), then you can get this reduction from Chow's lemma: every finite type, separated scheme over a field is the target of a projective, birational morphism whose domain is quasi-projective.

First of all, properness is local on the target. Thus, you may replace your original target with a covering by open affines. So assume that the domain and target are both separated.

Next apply Chow's lemma to the domain. This gives a new morphism with the same target as the original morphism, but the domain of the new morphism is quasi-projective. It is easy to see that the new morphism is proper if and only if the original morphism is proper. Thus you are reduced to the case when the domain is quasi-projective.

Since the domain is quasi-projective it admits a (dense) open immersion into a projective scheme. So consider the "diagonal" map from the quasi-projective domain into the product of the target and this projective scheme. The diagonal map is certainly a locally closed immersion. In fact the original morphism is proper if and only if this diagonal map is a closed immersion. In other words, the original map is proper if and only if the image of the diagonal map equals its closure, i.e., if and only if the boundary is empty.

But this can easily be checked with valuations / curves of the type you are discussing. If you prefer valuations, choose any irreducible component of the image of the diagonal map whose closure intersects the boundary. Next normalize the closure of that component, and form the inverse image of the boundary in that normalization. Next blow up this inverse image to produce an exceptional Cartier divisor. Finally, take the stalk of the blowing up at any generic point of the exceptional divisor to get a DVR of the type you want.

If you prefer curves, do the same normalization and blowing up. You can arrange that everything is still quasi-projective. Now intersect with generic hyperplanes to produce an integral curve which intersects both the boundary and the strict transform of whatever dense open set you originally specified.

1more comment