diff --git a/cmd/ateapi/internal/k8sjwt/k8sjwt.go b/cmd/ateapi/internal/k8sjwt/k8sjwt.go
index 89973ee5e..f121e93fd 100644
--- a/cmd/ateapi/internal/k8sjwt/k8sjwt.go
+++ b/cmd/ateapi/internal/k8sjwt/k8sjwt.go
@@ -306,7 +306,7 @@ func verifySignature(algorithm string, selectedKey crypto.PublicKey, toBeSignedB
 	case "ES384":
 		ecdsaKey, ok := selectedKey.(*ecdsa.PublicKey)
 		if !ok || ecdsaKey.Curve != elliptic.P384() {
-			return fmt.Errorf("requested key ID is not an ECDSA P256 key")
+			return fmt.Errorf("requested key ID is not an ECDSA P384 key")
 		}
 		toBeSignedDigest := hashBytes(crypto.SHA384.New(), toBeSignedBytes)
 		if len(signatureBytes) != 2*48 {
@@ -320,7 +320,7 @@ func verifySignature(algorithm string, selectedKey crypto.PublicKey, toBeSignedB
 	case "ES512":
 		ecdsaKey, ok := selectedKey.(*ecdsa.PublicKey)
 		if !ok || ecdsaKey.Curve != elliptic.P521() {
-			return fmt.Errorf("requested key ID is not an ECDSA P256 key")
+			return fmt.Errorf("requested key ID is not an ECDSA P521 key")
 		}
 		toBeSignedDigest := hashBytes(crypto.SHA512.New(), toBeSignedBytes)
 		if len(signatureBytes) != 2*66 {
@@ -344,6 +344,21 @@ func hashBytes(hasher hash.Hash, bytes []byte) []byte {
 	return hash[:]
 }
 
+// ellipticCurveForJWK maps a JWK "crv" value to its elliptic.Curve. Only the NIST
+// curves that verifySignature supports (ES256/ES384/ES512) are accepted.
+func ellipticCurveForJWK(crv string) (elliptic.Curve, error) {
+	switch crv {
+	case "P-256":
+		return elliptic.P256(), nil
+	case "P-384":
+		return elliptic.P384(), nil
+	case "P-521":
+		return elliptic.P521(), nil
+	default:
+		return nil, fmt.Errorf("unhandled elliptic curve %q", crv)
+	}
+}
+
 type oidcConfigT struct {
 	JWKSURI string `json:"jwks_uri"`
 }
@@ -394,10 +409,34 @@ func discoverKeysForIssuer(ctx context.Context, httpClient *http.Client, issuer
 
 		switch jwk.KeyType {
 		case "EC":
-			switch jwk.EllipticCurve {
-			default:
-				return nil, fmt.Errorf("unhandled elliptic curve %q", jwk.EllipticCurve)
+			curve, err := ellipticCurveForJWK(jwk.EllipticCurve)
+			if err != nil {
+				return nil, err
+			}
+			if jwk.EllipticX == "" || jwk.EllipticY == "" {
+				return nil, fmt.Errorf("EC JWK is missing the x or y coordinate")
 			}
+			xBytes, err := base64.RawURLEncoding.DecodeString(jwk.EllipticX)
+			if err != nil {
+				return nil, fmt.Errorf("while base64-decoding EC x coordinate: %w", err)
+			}
+			yBytes, err := base64.RawURLEncoding.DecodeString(jwk.EllipticY)
+			if err != nil {
+				return nil, fmt.Errorf("while base64-decoding EC y coordinate: %w", err)
+			}
+			x := new(big.Int).SetBytes(xBytes)
+			y := new(big.Int).SetBytes(yBytes)
+			// Reject coordinates outside the field. This is a cheap sanity check; the
+			// authoritative on-curve validation happens in ecdsa.Verify, which returns
+			// false for a public key whose point is not on the curve.
+			p := curve.Params().P
+			if x.Cmp(p) >= 0 || y.Cmp(p) >= 0 {
+				return nil, fmt.Errorf("EC JWK coordinate is out of range for curve %q", jwk.EllipticCurve)
+			}
+			ret = append(ret, &KeyAndID{
+				KeyID:     jwk.KeyID,
+				PublicKey: &ecdsa.PublicKey{Curve: curve, X: x, Y: y},
+			})
 
 		case "RSA":
 			nBytes, err := base64.RawURLEncoding.DecodeString(jwk.RSAN)
diff --git a/cmd/ateapi/internal/k8sjwt/k8sjwt_test.go b/cmd/ateapi/internal/k8sjwt/k8sjwt_test.go
new file mode 100644
index 000000000..233da9ab3
--- /dev/null
+++ b/cmd/ateapi/internal/k8sjwt/k8sjwt_test.go
@@ -0,0 +1,288 @@
+// Copyright 2026 Google LLC
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+package k8sjwt
+
+import (
+	"context"
+	"crypto"
+	"crypto/ecdsa"
+	"crypto/elliptic"
+	"crypto/rand"
+	"crypto/rsa"
+	"crypto/sha256"
+	"crypto/sha512"
+	"encoding/base64"
+	"encoding/json"
+	"math/big"
+	"net/http"
+	"net/http/httptest"
+	"sync"
+	"testing"
+	"time"
+)
+
+const testAudience = "ate-api"
+
+func b64url(b []byte) string { return base64.RawURLEncoding.EncodeToString(b) }
+
+// testIssuer serves the OIDC discovery document and a JWKS built from the keys
+// registered on it, standing in for a Kubernetes API server's OIDC endpoints.
+type testIssuer struct {
+	server *httptest.Server
+	jwks   jwkSetT
+}
+
+func newTestIssuer(t *testing.T) *testIssuer {
+	t.Helper()
+	ti := &testIssuer{}
+	mux := http.NewServeMux()
+	mux.HandleFunc("/.well-known/openid-configuration", func(w http.ResponseWriter, _ *http.Request) {
+		writeJSON(t, w, oidcConfigT{JWKSURI: ti.server.URL + "/jwks"})
+	})
+	mux.HandleFunc("/jwks", func(w http.ResponseWriter, _ *http.Request) {
+		writeJSON(t, w, ti.jwks)
+	})
+	ti.server = httptest.NewServer(mux)
+	t.Cleanup(ti.server.Close)
+	return ti
+}
+
+func (ti *testIssuer) issuer() string { return ti.server.URL }
+
+func (ti *testIssuer) addRSA(kid string, pub *rsa.PublicKey) {
+	ti.jwks.Keys = append(ti.jwks.Keys, jwkT{
+		KeyType: "RSA",
+		KeyID:   kid,
+		RSAN:    b64url(pub.N.Bytes()),
+		RSAE:    b64url(big.NewInt(int64(pub.E)).Bytes()),
+	})
+}
+
+func (ti *testIssuer) addEC(t *testing.T, kid, crv string, pub *ecdsa.PublicKey) {
+	t.Helper()
+	// Use the ecdh bridge to read the point rather than the deprecated
+	// ecdsa.PublicKey.X/Y fields. Bytes() returns the uncompressed SEC1 encoding
+	// (0x04 || X || Y), each coordinate padded to the field size.
+	ecdhPub, err := pub.ECDH()
+	if err != nil {
+		t.Fatalf("converting EC key to ECDH: %v", err)
+	}
+	raw := ecdhPub.Bytes()
+	size := (pub.Curve.Params().BitSize + 7) / 8
+	ti.jwks.Keys = append(ti.jwks.Keys, jwkT{
+		KeyType:       "EC",
+		KeyID:         kid,
+		EllipticCurve: crv,
+		EllipticX:     b64url(raw[1 : 1+size]),
+		EllipticY:     b64url(raw[1+size:]),
+	})
+}
+
+func writeJSON(t *testing.T, w http.ResponseWriter, v any) {
+	t.Helper()
+	if err := json.NewEncoder(w).Encode(v); err != nil {
+		t.Errorf("encoding test response: %v", err)
+	}
+}
+
+// validClaims returns a set of claims that Verify should accept for issuer.
+func validClaims(issuer string) map[string]any {
+	now := time.Now()
+	return map[string]any{
+		"iss": issuer,
+		"sub": "system:serviceaccount:ate-system:atelet",
+		"aud": []string{testAudience},
+		"exp": now.Add(time.Hour).Unix(),
+		"nbf": now.Add(-time.Minute).Unix(),
+		"iat": now.Add(-time.Minute).Unix(),
+		"jti": "test-jti",
+	}
+}
+
+// mintJWT signs a compact JWT the way a Kubernetes issuer would: RS* via
+// PKCS1v15, ES* via a fixed-width r||s signature (not ASN.1), matching what
+// verifySignature expects. A "" kid omits the header field.
+func mintJWT(t *testing.T, alg, kid string, priv any, claims map[string]any) string {
+	t.Helper()
+	header := map[string]string{"alg": alg, "typ": "JWT"}
+	if kid != "" {
+		header["kid"] = kid
+	}
+	hb, err := json.Marshal(header)
+	if err != nil {
+		t.Fatalf("marshaling header: %v", err)
+	}
+	cb, err := json.Marshal(claims)
+	if err != nil {
+		t.Fatalf("marshaling claims: %v", err)
+	}
+	signingInput := b64url(hb) + "." + b64url(cb)
+
+	var sig []byte
+	switch k := priv.(type) {
+	case *rsa.PrivateKey:
+		digest, hashID := rsaDigest(t, alg, signingInput)
+		sig, err = rsa.SignPKCS1v15(rand.Reader, k, hashID, digest)
+		if err != nil {
+			t.Fatalf("signing RSA: %v", err)
+		}
+	case *ecdsa.PrivateKey:
+		digest := ecdsaDigest(t, alg, signingInput)
+		r, s, err := ecdsa.Sign(rand.Reader, k, digest)
+		if err != nil {
+			t.Fatalf("signing ECDSA: %v", err)
+		}
+		size := (k.Curve.Params().BitSize + 7) / 8
+		sig = make([]byte, 2*size)
+		r.FillBytes(sig[:size])
+		s.FillBytes(sig[size:])
+	default:
+		t.Fatalf("unsupported key type %T", priv)
+	}
+	return signingInput + "." + b64url(sig)
+}
+
+func rsaDigest(t *testing.T, alg, input string) ([]byte, crypto.Hash) {
+	t.Helper()
+	switch alg {
+	case "RS256":
+		d := sha256.Sum256([]byte(input))
+		return d[:], crypto.SHA256
+	case "RS384":
+		d := sha512.Sum384([]byte(input))
+		return d[:], crypto.SHA384
+	case "RS512":
+		d := sha512.Sum512([]byte(input))
+		return d[:], crypto.SHA512
+	default:
+		t.Fatalf("unsupported RSA alg %q", alg)
+		return nil, 0
+	}
+}
+
+func ecdsaDigest(t *testing.T, alg, input string) []byte {
+	t.Helper()
+	switch alg {
+	case "ES256":
+		d := sha256.Sum256([]byte(input))
+		return d[:]
+	case "ES384":
+		d := sha512.Sum384([]byte(input))
+		return d[:]
+	case "ES512":
+		d := sha512.Sum512([]byte(input))
+		return d[:]
+	default:
+		t.Fatalf("unsupported ECDSA alg %q", alg)
+		return nil
+	}
+}
+
+var (
+	rsaKeyOnce sync.Once
+	rsaKeyVal  *rsa.PrivateKey
+)
+
+// testRSAKey returns a process-wide 2048-bit RSA key, generated once, to keep the
+// suite fast (RSA keygen dominates otherwise).
+func testRSAKey(t *testing.T) *rsa.PrivateKey {
+	t.Helper()
+	rsaKeyOnce.Do(func() {
+		k, err := rsa.GenerateKey(rand.Reader, 2048)
+		if err != nil {
+			panic(err)
+		}
+		rsaKeyVal = k
+	})
+	return rsaKeyVal
+}
+
+// TestVerifyECDSA is the regression test for the bug where EC keys could never be
+// parsed from a JWKS (discoverKeysForIssuer's EC case had only a default error),
+// even though verifySignature implements ES256/ES384/ES512.
+func TestVerifyECDSA(t *testing.T) {
+	cases := []struct {
+		alg   string
+		crv   string
+		curve elliptic.Curve
+	}{
+		{"ES256", "P-256", elliptic.P256()},
+		{"ES384", "P-384", elliptic.P384()},
+		{"ES512", "P-521", elliptic.P521()},
+	}
+	for _, tc := range cases {
+		t.Run(tc.alg, func(t *testing.T) {
+			ti := newTestIssuer(t)
+			key, err := ecdsa.GenerateKey(tc.curve, rand.Reader)
+			if err != nil {
+				t.Fatalf("GenerateKey: %v", err)
+			}
+			ti.addEC(t, "ec-1", tc.crv, &key.PublicKey)
+			tok := mintJWT(t, tc.alg, "ec-1", key, validClaims(ti.issuer()))
+
+			if _, err := Verify(context.Background(), ti.server.Client(), tok, ti.issuer(), testAudience, time.Now()); err != nil {
+				t.Fatalf("Verify(%s) = %v, want nil", tc.alg, err)
+			}
+		})
+	}
+}
+
+// TestVerifyRejectsECKeyForRSAlg covers a path newly reachable now that EC keys
+// load: an RS256 token whose kid names an EC key is rejected on the key-type
+// mismatch, not verified.
+func TestVerifyRejectsECKeyForRSAlg(t *testing.T) {
+	ti := newTestIssuer(t)
+	ecKey, err := ecdsa.GenerateKey(elliptic.P256(), rand.Reader)
+	if err != nil {
+		t.Fatalf("GenerateKey: %v", err)
+	}
+	ti.addEC(t, "ec-1", "P-256", &ecKey.PublicKey)
+	// RS256 header pointing at the EC key; the RSA signing key is irrelevant because
+	// the key-type check fails before signature verification.
+	tok := mintJWT(t, "RS256", "ec-1", testRSAKey(t), validClaims(ti.issuer()))
+	if _, err := Verify(context.Background(), ti.server.Client(), tok, ti.issuer(), testAudience, time.Now()); err == nil {
+		t.Fatal("Verify accepted an RS256 token whose kid names an EC key")
+	}
+}
+
+// TestVerifyMixedJWKS covers the more severe symptom of the same bug: before the
+// fix, a single EC key anywhere in the JWKS made key discovery fail for the whole
+// issuer, so even RS256 tokens from that issuer stopped verifying.
+func TestVerifyMixedJWKS(t *testing.T) {
+	ti := newTestIssuer(t)
+	rsaKey := testRSAKey(t)
+	ti.addRSA("rsa-1", &rsaKey.PublicKey)
+	ecKey, err := ecdsa.GenerateKey(elliptic.P256(), rand.Reader)
+	if err != nil {
+		t.Fatalf("GenerateKey: %v", err)
+	}
+	ti.addEC(t, "ec-1", "P-256", &ecKey.PublicKey)
+
+	tok := mintJWT(t, "RS256", "rsa-1", rsaKey, validClaims(ti.issuer()))
+	if _, err := Verify(context.Background(), ti.server.Client(), tok, ti.issuer(), testAudience, time.Now()); err != nil {
+		t.Fatalf("Verify with a mixed RSA+EC JWKS = %v, want nil", err)
+	}
+}
+
+func TestEllipticCurveForJWK(t *testing.T) {
+	for _, crv := range []string{"P-256", "P-384", "P-521"} {
+		if _, err := ellipticCurveForJWK(crv); err != nil {
+			t.Errorf("ellipticCurveForJWK(%q) = %v, want nil", crv, err)
+		}
+	}
+	if _, err := ellipticCurveForJWK("P-192"); err == nil {
+		t.Error("ellipticCurveForJWK(P-192) = nil, want error")
+	}
+}