Publications
Filters: Author is Eugen Zalinescu [Clear All Filters]
, “Verified Cryptographic Implementations for TLS”, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012.
paper-183.pdf (981.84 KB)
paper-183.pdf (981.84 KB) paper-183.pdf (981.84 KB)