Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·1d
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org·1d
Loading...Loading more...