Volume: Vol-3792 ITAT 2024 | Year: 2024

Paper: « paper24 | paper25 | paper26 »

Enforcing Fresh Nonces with Affine Type System

• Richard Ostertág dblp

203-208 PDF